このとき、 b2 = b1 + 2 * n w2 = w1 - n fb2 = fb1 + n fw2 = fw1 pb2 = pb1 + n pw2 = pw1 が成り立つ。 (edited)

6:12 PM

このとき、 f2 = fb2 - fw2 < 0 かつ、 b2 > w2 となるような b1, w1, n を見つけられれば、それが反例の候補となる。