Googleクラスルーム
GeoGebraGeoGebra Classroom

フェルマー点の証明

3つの正三角形の外接円は一点(フェルマー点)で交わる。AF,BD,CEは等角で一点で交わり、長さが等しい。さらに△GHIは正三角形。二円の交点が、円周角の定理の逆によって円Iの円周上にあることを示す。

3対角線の長さ=AJ+BJ+CJが簡単に証明できるところが素敵。