>>453
P2の座標は、P1のそれのt を -1/t としたもの。
P2(2t^2/(1+t^2) , -2t/(1+t^2))
OP2=t*OP1 , OP1=2/(1+t^2)
S=(1/2)OP1*OP2=2t/(1+t^2)=2/{(1/t)+t}≦2/2√{(1/t)*t}=1