0320132人目の素数さん
2019/11/28(木) 02:52:06.52ID:ghZZAPQ9d) 1以外の三角数は4乗数でない。
( n(n+1)/2 = m^4 は m≧2 なる整数解を持たない。)
n(n+1)/2 >1 が4乗数であれば n, n+1 のうち一方が4乗数で他方が4乗数の2倍。
∴ x^4 - 2y^4 = ±1 に整数解 (x,y) がないことに帰着する。
e) yy = x^3 - x (楕円曲線) は y≠0 なる有理点 (x,y) を持たない。
(証明略)