>>29-31

〔補題’〕a,b,c≧0 のとき　|⊿| ≦ 2{s-√(3t)}t,
　等号成立は m=0 かつ x/y = 1/2 のとき。