>>30
線分AA'の大きさについて
b - (a+b-c)r/(2r_I) + r tan(θ/2) = c - (a-b+c)r/(2r_I) + r/tan(θ/2)
ですた。

これより、1/r - 1/r_I = 2/(a sinθ) = 2/((b-c) tanθ）
となることから、cosθ=(b-c)/a が出る。
この時、r = 1/( (a+b+c)/(2v) + 2/√[a^2-(b-c)^2] )
= (v / a) ( 1 - √[(-a + b + c) / (a + b + c)] ) が成り立つ。

（三斜内隔斜等円術 (1-(2r/h))^n = 1-(2r_I/h) の結果
（深川 英俊・ダン ソコロフスキー,日本の数学―
何題解けますか?〈下〉,p58,問題9.4.13）と一致）

(ﾟДﾟ)ｺﾞﾙｧ!!