рдпрд╣ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХреНрдпрд╛ рдХрд░рддрд╛ рд╣реИ
рдпрд╣ рдлрд░реНрдорд╛ рдХреЗ рдЕрдВрддрд┐рдо рдкреНрд░рдореЗрдп (Fermat's Last Theorem) рд╕реЗ рдкреНрд░реЗрд░рд┐рдд рдПрдХ рдордиреЛрд░рдВрдЬрдХ рд╕рдВрдЦреНрдпрд╛-рд╕рд┐рджреНрдзрд╛рдВрдд рдЦреЛрдЬ рдЯреВрд▓ рд╣реИред рдлрд░реНрдорд╛ рдХрд╛ рдкреНрд░рдореЗрдп рдХрд╣рддрд╛ рд╣реИ рдХрд┐ рдкреВрд░реНрдгрд╛рдВрдХ \(n \ge 3\) рдХреЗ рд▓рд┐рдП рдРрд╕реЗ рдХреЛрдИ рдзрдирд╛рддреНрдордХ рдкреВрд░реНрдгрд╛рдВрдХ X, Y, Z рдирд╣реАрдВ рд╣реЛрддреЗ рдЬрд┐рдирдХреЗ рд▓рд┐рдП \(X^n + Y^n = Z^n\) рд╣реЛред рдпрд╣ рдЯреВрд▓ рдЗрд╕ рд╕рдореАрдХрд░рдг рдХреЗ рдмрд╛рдПрдБ рдкрдХреНрд╖ рдХреЛ рд╡реНрдпрд╛рдкрдХ рдмрдирд╛рдХрд░ рдЙрд╕реЗ n рд▓рдЧрд╛рддрд╛рд░ n-рд╡реАрдВ рдШрд╛рддреЛрдВ рдХрд╛ рдпреЛрдЧ рдмрдирд╛ рджреЗрддрд╛ рд╣реИ, рдФрд░ рдЗрд╕ рдкреНрд░рд╕реНрддрд╛рд╡ рдХреА рдЬрд╛рдБрдЪ рдХрд░рддрд╛ рд╣реИ: \(n \ge 4\) рдХреЗ рд▓рд┐рдП рдРрд╕реА рдХреЛрдИ рднреА рдкреНрд░рд╛рдХреГрддрд┐рдХ рд╕рдВрдЦреНрдпрд╛рдПрдБ a, b рдирд╣реАрдВ рд╣реЛрддреАрдВ рдЬрд╣рд╛рдБ a рд╕реЗ рд╢реБрд░реВ рд╣реЛрдиреЗ рд╡рд╛рд▓реА n рд▓рдЧрд╛рддрд╛рд░ n-рд╡реАрдВ рдШрд╛рддреЛрдВ рдХрд╛ рдпреЛрдЧ \(b^n\) рдХреЗ рдмрд░рд╛рдмрд░ рд╣реЛред рдЖрдкрдХреЗ рджрд┐рдП рджрд╛рдпрд░реЗ рдореЗрдВ рд╣рд░ рдШрд╛рддрд╛рдВрдХ n рдХреЗ рд▓рд┐рдП рдпрд╣ рд╣рд░ рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдЖрдзрд╛рд░ a рдХреЛ рдЬрд╛рдБрдЪрддрд╛ рд╣реИ рдФрд░ рдЬреЛ рднреА (a, b) рдЬреЛрдбрд╝реА рдорд┐рд▓реЗ рдЙрд╕реЗ рджрд┐рдЦрд╛рддрд╛ рд╣реИ, рдпрд╛ рдЙрд╕ рд╕реАрдорд╛ рдореЗрдВ рдХреБрдЫ рди рдорд┐рд▓рдиреЗ рдкрд░ "--" рдЫрд╛рдк рджреЗрддрд╛ рд╣реИред
рдЗрд╕рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреИрд╕реЗ рдХрд░реЗрдВ
рдЬрд╛рдБрдЪрдиреЗ рдХреЗ рд▓рд┐рдП рдШрд╛рддрд╛рдВрдХ n рдХрд╛ рд╕рдмрд╕реЗ рдЫреЛрдЯрд╛ рдФрд░ рд╕рдмрд╕реЗ рдмрдбрд╝рд╛ рдорд╛рди рджрд░реНрдЬ рдХрд░реЗрдВ (\(n \ge 2\)), рддрдерд╛ рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдЖрдзрд╛рд░ a рдХрд╛ рд╕рдмрд╕реЗ рдЫреЛрдЯрд╛ рдФрд░ рд╕рдмрд╕реЗ рдмрдбрд╝рд╛ рдорд╛рди рджрд░реНрдЬ рдХрд░реЗрдВ (\(a \ge 1\))ред рдЯреВрд▓ рд╣рд░ n рдкрд░ рдЪрдХреНрд░ (loop) рдЪрд▓рд╛рддрд╛ рд╣реИ, рдФрд░ рдкреНрд░рддреНрдпреЗрдХ a рдХреЗ рд▓рд┐рдП \(S = a^n + (a+1)^n + \ldots + (a+n-1)^n\) рдХреА рдЧрдгрдирд╛ рдХрд░рддрд╛ рд╣реИ, S рдХрд╛ рдкреВрд░реНрдгрд╛рдВрдХ n-рд╡рд╛рдБ рдореВрд▓ рдирд┐рдХрд╛рд▓рддрд╛ рд╣реИ, рдФрд░ рдмрдбрд╝реЗ-рдкреВрд░реНрдгрд╛рдВрдХ (big-integer) рдЕрдВрдХрдЧрдгрд┐рдд рд╕реЗ рдЙрд╕реЗ рд╕рдЯреАрдХ рд░реВрдк рд╕реЗ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИред рдзреНрдпрд╛рди рд░рдЦреЗрдВ рдХрд┐ рдмрдбрд╝реЗ рджрд╛рдпрд░реЛрдВ рдореЗрдВ рдЦреЛрдЬ рдзреАрдореА рд╣реЛрддреА рд╣реИ, рдХреНрдпреЛрдВрдХрд┐ S рдмреЗрд╣рдж рддреЗрдЬрд╝реА рд╕реЗ рдмрдврд╝рддрд╛ рд╣реИред
рд╕реВрддреНрд░ рдХреА рд╡реНрдпрд╛рдЦреНрдпрд╛
рд╕рдореАрдХрд░рдг рд╣реИ: $$\sum_{j=0}^{n-1}\left(a+j\right)^{n} = b^{n}, \qquad \begin{aligned} n &\in \left[\text{n Start},\, \text{n End}\right] \\ a &\in \left[\text{a Start},\, \text{a End}\right] \end{aligned}$$ рдлреНрд▓реЛрдЯрд┐рдВрдЧ-рдкреЙрдЗрдВрдЯ рд╕реЗ рдЙрддреНрдкрдиреНрди рдЭреВрдареЗ рдкрд░рд┐рдгрд╛рдореЛрдВ рд╕реЗ рдмрдЪрдиреЗ рдХреЗ рд▓рд┐рдП рдЯреВрд▓ S рдХреЛ рдПрдХ рд╕рдЯреАрдХ рдмрдбрд╝реЗ рдкреВрд░реНрдгрд╛рдВрдХ рдХреЗ рд░реВрдк рдореЗрдВ рдирд┐рдХрд╛рд▓рддрд╛ рд╣реИ, рджреНрд╡рд┐рднрд╛рдЬрди (bisection) рд╕реЗ рдПрдХ рд╕рдВрднрд╛рд╡рд┐рдд рдореВрд▓ b рдирд┐рдХрд╛рд▓рддрд╛ рд╣реИ, рдФрд░ рдлрд┐рд░ \(b-1\), \(b\) рддрдерд╛ \(b+1\) рдХреЛ рд╕рдЯреАрдХ рдЬрд╛рдБрдЪ \(b^n == S\) рдХреЗ рд╕рд╛рде рджреЛрдмрд╛рд░рд╛ рдкрд░рдЦрддрд╛ рд╣реИред рдЫреЛрдЯреЗ n рдХреЗ рд▓рд┐рдП рдЬреНрдЮрд╛рдд рд╣рд▓ рдореМрдЬреВрдж рд╣реИрдВ: \(n = 2\) рдкрд░ \(3^2 + 4^2 = 5^2\) рдФрд░ \(20^2 + 21^2 = 29^2\); \(n = 3\) рдкрд░ \(3^3 + 4^3 + 5^3 = 6^3\)ред
рд╣рд▓ рдХрд┐рдпрд╛ рдЧрдпрд╛ рдЙрджрд╛рд╣рд░рдг
рдорд╛рди рд▓реЗрдВ nStart = 3, nEnd = 3, aStart = 1, aEnd = 10ред a = 3 рдкрд░: $$S = 27 + 64 + 125 = 216,$$ рдФрд░ 216 рдХрд╛ рдкреВрд░реНрдгрд╛рдВрдХ рдШрдирдореВрд▓ 6 рд╣реИ рдЬрд╣рд╛рдБ \(6^3 = 216\)ред рдЯреВрд▓ рдЗрд╕реЗ рджрд░реНрдЬ рдХрд░рддрд╛ рд╣реИ: \(n = 3 \rightarrow a = 3,\ b = 6\)ред
рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдкреНрд░рд╢реНрди
рдХреНрдпрд╛ рдпрд╣ рдкреНрд░рд╕реНрддрд╛рд╡ рдХреЛ рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИ? рдирд╣реАрдВред рдпрд╣ рдХреЗрд╡рд▓ рдПрдХ рд╕реАрдорд┐рдд рджрд╛рдпрд░реЗ рдореЗрдВ рдкреНрд░рддрд┐-рдЙрджрд╛рд╣рд░рдг рдЦреЛрдЬрддрд╛ рд╣реИ; рдХреБрдЫ рди рдорд┐рд▓рдирд╛ рдХрд┐рд╕реА рдкреНрд░рдорд╛рдг рдХреЗ рд╕рдорд╛рди рдирд╣реАрдВ рд╣реИред
рдпрд╣ \(n = 2\) рдФрд░ \(n = 3\) рдХреА рдЕрдиреБрдорддрд┐ рдХреНрдпреЛрдВ рджреЗрддрд╛ рд╣реИ? рдЗрди рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдХреЗ рдЬреНрдЮрд╛рдд рд╣рд▓ рд╣реИрдВ, рдЗрд╕рд▓рд┐рдП рдЯреВрд▓ рдЙрдиреНрд╣реЗрдВ рдкреНрд░рджрд░реНрд╢рд┐рдд рдХрд░ рд╕рдХрддрд╛ рд╣реИ тАФ рднрд▓реЗ рд╣реА "рдХреЛрдИ рд╣рд▓ рдирд╣реАрдВ" рд╡рд╛рд▓рд╛ рджрд╛рд╡рд╛ рдХреЗрд╡рд▓ \(n \ge 4\) рдкрд░ рд▓рд╛рдЧреВ рд╣реЛрддрд╛ рд╣реИред
рдпрд╣ рдЯрд╛рдЗрдо-рдЖрдЙрдЯ рдХреНрдпреЛрдВ рд╣реЛ рд╕рдХрддрд╛ рд╣реИ? рдпреЛрдЧ рд▓рдЧрднрдЧ \(n \cdot (a + n)^n\) рдХреА рджрд░ рд╕реЗ рдмрдврд╝рддрд╛ рд╣реИ, рдЗрд╕рд▓рд┐рдП рдмрдбрд╝реЗ рджрд╛рдпрд░реЗ рд╡рд┐рд╢рд╛рд▓ рд╕рдВрдЦреНрдпрд╛рдПрдБ рдмрдирд╛ рджреЗрддреЗ рд╣реИрдВ; рджрд╛рдпрд░реЛрдВ рдХреЛ рдЫреЛрдЯрд╛ рд╣реА рд░рдЦреЗрдВред