Z から AB に下ろした
垂線の足を X とし
W から ZX に下ろした
垂線の足を Y とする

W から AB に下ろした
垂線の足を R とする

  . WZ = UV = 3(2-sqrt(3))/4
VO = sqrt(2UV)
 =sqrt(3)(sqrt(3)-1)/2
よって
HZ = HV = HO+OV = 3/2
AX = HZ/2+AH
= 3/4+sqrt(3)/2
  . RX = WY = sqrt(3) WZ/2
= (6sqrt(3)-9)/8
よって
AR = (10sqrt(3) - 3)/8
WR = ZX - ZY
= sqrt(3)HZ/2 - WZ/2
= (9sqrt(3)-6)/8
  . AW2 = (147 - 42 sqrt(3))/16
WZ2 = (63 - 36 sqrt(3))/16
AO2×WZ/(AW2-WZ2)
 = 6(2-sqrt(3))/(14-sqrt(3))
なので円 WZ を
与えられた反転で
反転した円 MN の半径は
6(2-sqrt(3))/(14-sqrt(3))
  . EF = 21 - 12sqrt(3)
= 3(2-sqrt(3))2
なので
EF : MN =
(14-sqrt(3))(2-sqrt(2)):2
= 193 : 62+32sqrt(3)
一つ戻る   戻る