<定理−3>中心が O、半径が k の円を反転円とし、A が A'、B が B'に移るとき、次
の式が成立する。
1) AB×A'B'=p2・(AO×OB')、 |AB|/|AO|=|B'A'|/|B'O|=p
2) |AB|÷|A'B'|=|OA||OB|/k2=k2/|OA'||OB'|
<証明>△OAB と △OB'A' において、、
定理−1 より、|OA||OA'|=k2=|OB||OB'|
OA:OB=OB':OA'
∠O は両三角形に共通、
上の式から、 △OAB∽△OB'A'
1)を示す。
△OAB∽△OB'A' から、
∠OAB=∠OB'A'=α とすると、
AB/AO=p・Rot(α)
B'A'/B'O=p・Rot(−α)
上の式から、(AB/AO)×(B'A'/B'O)=p2・Rot(0)=p2・R
AB×B'A'=α2・(AO×B'O)
AB×A'B'=α2・(AO×OB')
2)を示す。
△OAB∽△OB'A' から、
|AB|÷|B'A'|=|OA|÷|OB'|
=|OA|÷k2/|OB|
=|OA||OB|/k2
=k2/|OA'|×k2/|OB'|÷k2
=k2/|OA'||OB'|
∴ |AB|÷|A'B'|=|OA||OB|/k2=k2/|OA'||OB'|
|