3以上の自然数nに対してXn+Yn=Znを満たすような自然数X、Y、Zはない。「私はこの命題の真に驚くべき証明をもっているが、余白が狭すぎるのでここに記すことはできない」。17世紀にフェルマーが残した超難問を、数学者ワイルズが1995年に完全証明した。ピュタゴラスに始まる数論、解決のカギとなった「谷山=志村予想」など、数学をめぐる「歴史ドラマ」を、分かりやすく感動的に描いた傑作。