D は AC の中点
E は AB の中点とする
BD = CE <とするとき
AB = AC であることを示せ
D は AC の中点なので

AB2 + BC2 = 2(BD2 + AD2)

同様に

AC2 + BC2 = 2(CE2 + AE2)

BD = CE なので

AB2 - AC2 = 2(AD2 - AE2)

AB = 2AE, AC = 2AD なので、これより
AE = AD つまり AB = AC を得る。

戻る