D は AC の中点
E は AB の中点とする
BD = CE <とするとき
AB = AC であることを示せ
BD と CE との交点を G とおくと
G は 僊BC の重心である。
∴ BG = (2/3)×BD, CG = (2/3)×CE

BD = CE なので BG = CG である。
∴∠GBC = ∠GCB
BD = CE で BC は共通なので
僖BC と 僞CB とは合同である。
∴ DC = EB

これより AC = AB を得る。

戻る