>>188 >>144
OP[1]=(a,1/a)
OP[2]=(b,1/b) (a≠0,b≠0)とおくと
OP[3]=OP[2]-OP[1]=(b-a,(a-b)/(ab))
P[3]がxy=1上にあるなら
(b-a)*(a-b)/(ab)=1
a^2-ab+b^2=0
(a-(b/2))^2+(3/4)b^2=0
∴a=b=0
しかし、aもbも0ではないので矛盾。