>>928
と思ったけど、「全てのxが等しくない限り、絶対にFは最大でない」ということはこれから言えるはずなので、こう書けばokでしょうか？

間違えてxa+xb=k-Sと書いてしまってますが、xa+xb=Sに読み替えて下さい。