prove-geometric-theorem

幾何学的定理を系統的に証明する。合同・相似による証明、座標幾何学による証明、 ベクトルを用いた証明、変換（回転・平行移動・鏡映）による証明、および背理法を 含む。証明の構造化、補助線の追加戦略、証明の検証方法を扱う。