>>766
立式は結局
>>761
> x+√3y≦2t‥@、-√3x+y≦2t-10√3-10‥A
> 2t/(√3+1) = (-2t+10√3+10)/(√3-1)
で合っていると思うけど?
wolfram大先生も
t=5+10/√3≒10.774
と言ってくれている

> 立式もAの領域は対角のコーナーから飛び込んだ時に負けるみたい。
対角に着いてから飛び込むよりも、対角に着く前に飛び込んだ方が速いよ

> 2t/(√3+1)=10-(t-10)/√2
を解くと
t=10*(2+√2)(1+√3)/(4+√2+√6)≒11.862