証明 BC の延長線上に G を CG = EF となりようにとる �僊CG と �僖FE において ∠ACG = 90°, ∠DFE = 90° CG = FE AC = DF なので �僊CG と �僖FE は合同である。 故に AG = DE である。 �僊BG において AB = DE = AG なので �僊BG は二等辺三角形である。 AC と BC は直交しているので BC = GC である。 �僊BC と �僖EF とにおいて ∠ACB = 90°= ∠DFE AC = DF BC = GC = EF なので �僊BC と �僖EF とは合同である。 　 戻る