633さんではないのですが、分からないので質問させてください。

>634の
3行目のAQ+AR=√(α^2+β^2)*(t1+t2)
と
4行目の
AQ*AR=(α^2+β^2)*t1*t2
は直線の長さを求める公式か何かなのでしょうか？