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


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

Codepadで確認(Perl)

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

Codepadで確認(PHP)

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

ideone.comで確認(awk)

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

追記:フェルマーの最終定理の反「反例」(MPFR対応Gawk)

ideone.comで確認(JavaScript)

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

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

Codepadで確認(Scheme)

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

Codepadで確認(Python)

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

Codepadで確認(Ruby)

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

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

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です