ABC 予想の不等式をビジュアル化してみたら、美しくて感動した。

昨今話題の ABC 予想に出てくる不等式 c > rad(abc)^(1+ε) を可視化してみたらどんな感じなのかなと思って、プログラム書いて f(x,y) = c - rad(abc)^(1+ε) （a = |x|, b = |y|, c = a + b） の様子を出力してみました（ε = 0.001）。動画作ったのでこちらをどうぞ。 美しい…… c - rad(abc)^(1+ε) の値が負なら、黒～青～白、 c - rad(abc)^(1+ε) の値が正で、