0551名無しでGO!
2017/07/19(水) 12:51:31.20ID:2KPoOQRWO(仮定)ここで前者の乗車券で後者の経路を乗車できないと仮定する。(=6の字不可能派の主張)
このとき、「後者の乗車券で券面通りに後者の経路を乗車できる」とするか否かで場合分けする。
(場合分け1:乗車できる場合)大都市近郊区間は「券面に表示された経路にかかわらず」他の経路を選べる規則なので、発着駅が同じで経路のみが異なる前提で挙げた2つの乗車券は同じ経路を選択できるはずである。
しかるに、前者は6の字経路を選択できず、後者は選択できるのは矛盾である。
(場合分け2:乗車できない場合)もし大都市近郊区間がなければ、後者の乗車券は全く券面通りに6の字経路を乗車できたはずである。
従って、乗車券の効力を拡張するはずの大都市近郊区間により乗車券の効力が逆に狭められていることになり、矛盾である。
(結論)以上より、どちらの場合においても矛盾が導かれるので、背理法により仮定(6の字大回りの否定)が誤っていることが証明された。QED