>>891
P(1,p) , Q(1,q) (p>q) とおく。
OP↑･OQ↑=1+pq
一方、OP↑･OQ↑=OP*OQ*cos∠POQ=2△POQ=2*(1/2)*PQ*1=PQ=p-q
よって
1+pq=p-q ⇔　1+(1/4){(p+q)^2-(p-q)^2}=p-q　⇔　{(p-q)+2}^2=(p+q)^2+8
したがって　
p-q≧2(√2 -1)　等号は p+q=0 のとき