>>351
だろうな
|↑PQ|^2=s^2+t^2-st-s+1
    .. =(t-s/2)^2+{3(s-2/3)^2+8/3}/4
って変形できるのはわかる?この形から最小値が分かる