せきゅーん: 予想が出たら数学者は皆それを証明しようと挑戦するんだ。それですぐに証明されてしまって「やっぱりそこまで凄くはなかった」と判明する場合もあるだろうし、普通のありふれた定理の1つになる場合もあるだろうし、「得られた証明によって凄さが…

せきゅーん: この議論を「乗」の場合に応用してみよう。すると、ABC予想の「深み」が見えて来る。まず、ABC予想に現れる不等式はと同値である。ところで、のときは が成り立つから、が成り立たないようなABCトリプルが有限個と言っても同じことだ。以下、し…