>>853 書いていただいた部分までは理解できたのですが、
その後、2変数関数でsが最小を導くことができませんでした。
条件∠PBA=∠PAB+60°より0°<∠PAB<30°と考えて(∵0<s<1)、
0<t(=tan∠PAB)<1/(√3)と考えて、その範囲でtに関する2次方程式
(√3)(1+s)t^2 -2st +(√3)(1-s)=0が解をもつようにと考え、
f(t)=(√3)(1+s)t^2 -2st +(√3)(1-s)と置きなおして考えていったのですができませんでした。
私の計算力の欠如が原因かもしれないのですが、どうか続きもお願いできれば助かります。