JH8CHUのホームページ>初等幾何>初等幾何 定理6

初等幾何 定理6


△ABCと△DEFにおいて AB=DE ならば、
直線DEに関してFと同じ側にある点C'を合同式
△DEC' ≡ △ABC

が成り立つように定めることができます。



【証明】
△ABCと三点D、E、Fに公理5を適用して
点B'と点C'を定めれば、B'は半直線DE上にあり、C'は直線DEに関してFと同じ側にあって、
△DB'C' ≡ △ABC

となります。したがって DB' = AB となりますが、仮定により AB = DE なので
DB' = DE となり、ゆえに、定理2により、B'とEは一致し、
従って
△DEC' ≡ △ABC

となります。(証明終: 2026/05/27)


JH8CHUのホームページ>初等幾何>初等幾何 定理6


Copyright (C)2026 Masahiro.Matsuda(JH8CHU), all rights reserved.