<定理−8>反転変換で角は保たれる。
<証明>中心が O の反転変換によって、点 M、A、B が M'、A'、B' に移るとする。
定理−3 から、MA×M'A'=p2・(MO×OA')
MA=p2・(MO×OA')/M'A'
MB=q2・(MO×OB')/M'B'
上の式から、
arg(MB/MA)=arg(MB)−arg(MA)
=arg{q2・(MO×OB')/M'B'}
−arg{p2・(MO×OA')/M'A'}
=arg{(MO×OB')/M'B'}
−arg{(MO×OA')/M'A'}
=arg(MO)+arg(OB')−arg(M'B')
−arg(MO)−arg(OA')+arg(M'A')
=arg(OB')−arg(M'B')−arg(OA')+arg(M'A')
=−arg(M'B')+arg(M'A') ∵ arg(OB')=arg(OA')
=arg(M'A'/M'B')
arg(MB/MA)=arg(M'A'/M'B')
∴ 反転変換で角は保たれる。
|