Czy i jakie i dla jakich \(\displaystyle{ n}\) : \(\displaystyle{ a^2+ (a+1)^2+…+ (a+n)^2 = b^2}\)
ma rozwiązania w zbiorze \(\displaystyle{ N}\) ?
np. jeśli \(\displaystyle{ n=2}\) to \(\displaystyle{ (a-1)^2+ a^2+ (a+1)^2 =3a^2 +2 \equiv 2 \ ( \mod 3) \neq b^2}\)
itp.
Komputer znalazł kilka rozwiązań, ale raczej nie udowodni, że dla któregoś \(\displaystyle{ n}\) rozwiązań nie ma wcale. Po lewej \(\displaystyle{ n}\), po prawej najmniejsze dobre \(\displaystyle{ a}\).
Udowodniono też, że: jeśli \(\displaystyle{ k}\) jest taka, że \(\displaystyle{ m =\frac{k^2-1}{48 } \in N}\) (np. \(\displaystyle{ k=7}\)) to dla \(\displaystyle{ a=23m+1}\): \(\displaystyle{ \sum_{j=1}^{k^2} (a+i)^2= (k(49m+2))^2}\)
Ukryta treść:
źródło: W Bednarek- Szkice o liczbach, funkcjach i figurach
Komputer znalazł kilka rozwiązań, ale raczej nie udowodni, że dla któregoś n rozwiązań nie ma wcale.
Jak udowodnić, że istnieje \(\displaystyle{ y \in N}\) iż \(\displaystyle{ 38^2+...+48^2 = y^2}\)
(bez nudnego sumowania i tp)
i jak udowodnić, że rozwiązań jest nieskończona ilość (tj. względem) \(\displaystyle{ n}\) ?