JH8CHUのホームページ>初等幾何>初等幾何 定理4
初等幾何 定理4
線分ABと半直線OPが与えられたとき、半直線OP上の点B'を
OB' = AB
となるように定めることが出来ます。
【証明】
線分ABと半直線OPが与えられたとき、
線分AB外にある点Cと半直線OP外にある点Qを任意にとって、
△ABCと三点O、P、Qに公理5を適用すると
△OB'C' ≡ △ABC
となるようB'、C'を定めることが出来ます。よって、
OB' = AB
となるように点B'を定めることが出来ます。(証明終: 2026/05/25)
JH8CHUのホームページ>初等幾何>初等幾何 定理4
Copyright (C)2026 Masahiro.Matsuda(JH8CHU), all rights reserved.