命題I-9
著者:Ευκλείδης(J.L.Heiberg, Ed.)
命題I-9 与えられた角を二等分すること。
作成:2006-07-15
更新:2011-03-10
更新:2011-03-10
BACを与えられた角とする。これを二等分することが求められている。
DをAB上にとり、AEをACからADと同じ分切り取ったものとする[命題I-3]。DEを結び、DEFをDEから作図した正三角形とする[命題I-1]。そして、AFを結ぶとBACが直線AFによって2等分されることを示す。
ADはAEと等しく、AFは共通であるから、二辺DA、AFとEA、AFはそれぞれ等しく、底辺DFとEFは等しいから角DAFと角EAFは等しい[命題I-8]。
ゆえに、与えられた角BACは直線AFによって二等分された。これが求められていたことであった。
Euclid(J.L.Heiberg), Euclidis Elementa, Leipzig. Teubner., 1883-1888