三角関数を用いないで解いてみました。OM=cos x=t とすればいいのです。
いろいろな条件は、前の解答と同じです。ここではOM=t とします。
PB=2t
三角形PAB=1/2*PA*PB=1/2*(2*sqr(1-t^2)*2t)=2*t*sqr(1-t^2)
三角形PAB=r/2*(PA+PB+AB)=r/2*(2*sqr(1-t^2)+2t+2)
=r*(sqr(1-t^2)+t+1)
したがって,2*t*sqr(1-t^2)=r*(sqr(1-t^2)+t+1)
t=1-2s からs=1/2*(1-t)
ここで,s=r として r=1/2*(1-t)から
2*t*sqr(1-t^2)=1/2*(1-t)*(sqr(1-t^2)+t+1)
両辺を2倍して
4*t*sqr(1-t^2)=(1-t)*(sqr(1-t^2)+t+1)
sqr(1-t^2)=d とおいて (実はd=sin x)
4td=(1-t)(1+t+d)
4td=(1-t)(1+t)+d(1-t)
4td=(1-t^2)+d(1-t)
4td=d^2+d(1-t)
dは0でないから、両辺をdでわって
4t=d+(1-t)
5t-1=d
両辺を2乗して
25t^2-10t+1=1-t^2
これより 26t^2+10t=0
tは0でないから
26t-10=0 よりt=5/13 これより r=4/13
いろいろな条件は、前の解答と同じです。ここではOM=t とします。
PB=2t
三角形PAB=1/2*PA*PB=1/2*(2*sqr(1-t^2)*2t)=2*t*sqr(1-t^2)
三角形PAB=r/2*(PA+PB+AB)=r/2*(2*sqr(1-t^2)+2t+2)
=r*(sqr(1-t^2)+t+1)
したがって,2*t*sqr(1-t^2)=r*(sqr(1-t^2)+t+1)
t=1-2s からs=1/2*(1-t)
ここで,s=r として r=1/2*(1-t)から
2*t*sqr(1-t^2)=1/2*(1-t)*(sqr(1-t^2)+t+1)
両辺を2倍して
4*t*sqr(1-t^2)=(1-t)*(sqr(1-t^2)+t+1)
sqr(1-t^2)=d とおいて (実はd=sin x)
4td=(1-t)(1+t+d)
4td=(1-t)(1+t)+d(1-t)
4td=(1-t^2)+d(1-t)
4td=d^2+d(1-t)
dは0でないから、両辺をdでわって
4t=d+(1-t)
5t-1=d
両辺を2乗して
25t^2-10t+1=1-t^2
これより 26t^2+10t=0
tは0でないから
26t-10=0 よりt=5/13 これより r=4/13