P から AT に引いた垂線の足を F とおき
α = ∠PAO, β = ∠PBO, γ = ∠PTF とおく。
c = TA, d = AO, e = BO とおくこのとき

@ d = 1/tan α, e = 1/ tan β
A c - d = TF = 1/ tan γ = tan(α + β)
= (tan α + tanβ)/(1 - tan α tanβ) = (d + e)/(de - 1)
B c = e(d2+1)/(de-1)
C t = c sin (2 α) = 2c tan α/(1 + (tan α)2)
 = 2cd/(d2 + 1) = 2de/(de - 1)
D det - t = 2de より
  de = t/(t-2)
A では γ = 90°- (α + β) に注目した。
C では
sin (2 α) = 2 sin α cos α
= 2 sin α cos α / ((cos α)2 + (sin α)2)
= 2 tan α/(1 + (tan α)2)
を使った

戻る