フェルマーの最終定理の「反例」（Perl, awk, JavaScript, PHP編）

a=5999856, b=99992800, c=100000000としたときに、a^3 + b^3 = c^3になるような言語があります。codepadでちょっと試してみましょう。

$a=5999856;
$b=99992800;
$c=100000000;
print $a*$a*$a+$b*$b*$b-$c*$c*$c;

<?php
$a=5999856;
$b=99992800;
$c=100000000;
echo $a*$a*$a+$b*$b*$b-$c*$c*$c;
?>

codepadではサポートされていませんが、awkもそういう言語の1つです。

$ awk 'BEGIN{a=5999856; b=99992800; c=100000000; print a**3+b**3-c**3;}'
0

SchemeやPython、Rubyでもできますが、おかしいことがすぐにわかってしまいますね。

(display (- (+ (expt 5999856 3.0) (expt 99992800 3.0)) (expt 100000000 3.0)))

a=5999856;
b=99992800;
c=100000000;
print a**3.0+b**3.0-c**3.0;

a=5999856;
b=99992800;
c=100000000;
print a**3.0+b**3.0-c**3.0;

フェルマーの最終定理について数学者が書いた読み物がほしい方には、足立恒雄『フェルマーの大定理が解けた!―オイラーからワイルズの証明まで』がおすすめです。

inquisitor