例）
作図によって∠XOYの角の二等分線OCを引いている図がある。
線分OCが∠XOYの角の二等分線であることを証明せよ。
※作図の証明は、作図によってできた点を使って、合同な三角形を作り、合同を証明したうえで、対応する辺や角が等しいことを証明する！
※今回の場合、∠XOYの二等分線の作図の仕方によって、証明をします。
解）
証明の前段階の作業です。
まず、点Cへ向けて点A、Bそれぞれから線を引きます。
そうすると、線分OCを境に三角形が２つできます。
これを利用します。
では、証明に行きます。
（証明）
点Aと点C、点Bと点Cを結ぶ
そこで△OACと△OBCにおいて、
作図より
OA=OB…①
AC=BC…②
共通な辺なので、
OC=OC…③
①、②、③より、3組の辺がそれぞれ等しいので、
△AOC≡△BOC
対応する角は等しいので、
∠AOC=∠BOC
よってDCは∠XOYの二等分線である。
