いや、そのu,v,tが思いつかんかった。
これ
0<a≦b≦c<a+b
からうまくu.v.tを見つけてくるのがミソだと思うけどこれなんか一般論で見つけてくる方法があります？慣れの問題？