- 504 名前：１３２人目の素数さん mailto:sage [2023/01/06(金) 11:22:17.78 ID:ZYZpVWaW.net]
- >>470
逆正弦を使っていいなら
a.=1/4
b.=1/3
c.=9/7
として
asin(r/(r+a.)) + asin(r/(r+b.)) + asin(r/(r+c.)) = π/2
となるrを求めれば簡単
> a.=1/4
> b.=1/3
> c.=9/7
> uniroot(\(r) asin(r/(r+a.)) + asin(r/(r+b.)) + asin(r/(r+c.)) - pi/2 ,c(0,1),tol=1e-16)$root
[1] 0.4490777
もとの問題なら
> a.=1/3
> b.=1/3
> c.=9/7
> uniroot(\(r) asin(r/(r+a.)) + asin(r/(r+b.)) + asin(r/(r+c.)) - pi/2 ,c(0,1),tol=1e-16)$root
[1] 0.5
