第四步证明 α+β=2\alpha+\beta=2α+β=2 是必要条件,第五步证明它是充分条件。因此有效的旅行恰好对满足 α+β=2\alpha+\beta=2α+β=2 的正实数对 (α,β)(\alpha,\beta)(α,β) 存在。