MCP рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдХрдиреЗрдХреНрдЯ рдХрд░реЗрдВ тЖТ

рдЧрдгрдирд╛ рджрд░реНрдЬ рдХрд░реЗрдВ

рд╕реВрддреНрд░ (рдлреЙрд░реНрдореВрд▓рд╛)

рд╡рд┐рдЬреНрдЮрд╛рдкрди

рдкрд░рд┐рдгрд╛рдо

рдкрд╛рдЗрдерд╛рдЧреЛрд░рд╕ рддреНрд░рд┐рдХ
(3, 4, 5)
a┬▓ + b┬▓ = c┬▓
рднреБрдЬрд╛ a 3
рднреБрдЬрд╛ b 4
рдХрд░реНрдг c 5
рдЙрдкрдпреЛрдЧ рдХрд┐рдП рдЧрдП m, n m = 2, n = 1

рдкрд╛рдЗрдерд╛рдЧреЛрд░рд╕ рддреНрд░рд┐рдХ рдХреНрдпрд╛ рд╣реЛрддрд╛ рд╣реИ?

рдкрд╛рдЗрдерд╛рдЧреЛрд░рд╕ рддреНрд░рд┐рдХ рддреАрди рдзрдирд╛рддреНрдордХ рдкреВрд░реНрдгрд╛рдВрдХреЛрдВ (a, b, c) рдХрд╛ рдРрд╕рд╛ рд╕рдореВрд╣ рд╣реИ рдЬреЛ рдкрд╛рдЗрдерд╛рдЧреЛрд░рд╕ рдкреНрд░рдореЗрдп \(a^2 + b^2 = c^2\) рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рддрд╛ рд╣реИред рд╕рдмрд╕реЗ рдЬрд╛рдирд╛-рдкрд╣рдЪрд╛рдирд╛ рдЙрджрд╛рд╣рд░рдг рд╣реИ (3, 4, 5), рдХреНрдпреЛрдВрдХрд┐ \(9 + 16 = 25\) рд╣реЛрддрд╛ рд╣реИред рдпрд╣ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рд╢рд╛рд╕реНрддреНрд░реАрдп рдпреВрдХреНрд▓рд┐рдб рд╕реВрддреНрд░ рдХреА рдорджрдж рд╕реЗ рджреЛ рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдкреВрд░реНрдгрд╛рдВрдХреЛрдВ рд╕реЗ рдРрд╕реЗ рддреНрд░рд┐рдХ рдЕрдкрдиреЗ рдЖрдк рдмрдирд╛ рджреЗрддрд╛ рд╣реИред

рднреБрдЬрд╛рдУрдВ a рдФрд░ b рддрдерд╛ рдХрд░реНрдг c рд╡рд╛рд▓рд╛ рд╕рдордХреЛрдг рддреНрд░рд┐рднреБрдЬ рдЬреЛ рдкрд╛рдЗрдерд╛рдЧреЛрд░рд╕ рддреНрд░рд┐рдХ рдмрдирд╛рддрд╛ рд╣реИ
рдПрдХ рдкрд╛рдЗрдерд╛рдЧреЛрд░рд╕ рддреНрд░рд┐рдХ рдПрдХ рд╕рдордХреЛрдг рддреНрд░рд┐рднреБрдЬ рдХреА рднреБрдЬрд╛рдУрдВ рдХреА рд▓рдВрдмрд╛рдИ рджрд░реНрд╢рд╛рддрд╛ рд╣реИ, рдЬрд╣рд╛рдБ \(a^2 + b^2 = c^2\)ред

рдЬрдирд░реЗрдЯрд░ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреИрд╕реЗ рдХрд░реЗрдВ

рджреЛ рдкреВрд░реНрдг рд╕рдВрдЦреНрдпрд╛рдПрдБ m рдФрд░ n рджрд░реНрдЬ рдХрд░реЗрдВ, рдЬрд╣рд╛рдБ m, n рд╕реЗ рдмрдбрд╝рд╛ рд╣реЛ (рджреЛрдиреЛрдВ рдХрдо рд╕реЗ рдХрдо 1 рд╣реЛрдВ рдФрд░ m рдХрдо рд╕реЗ рдХрдо 2 рд╣реЛ)ред 'рдЧрдгрдирд╛ рдХрд░реЗрдВ' рджрдмрд╛рддреЗ рд╣реА рдЯреВрд▓ рддреНрд░рд┐рдХ (a, b, c) рдХреЗ рд╕рд╛рде-рд╕рд╛рде рдЙрдкрдпреЛрдЧ рдХрд┐рдП рдЧрдП m рдФрд░ n рдХреЗ рдорд╛рди рднреА рджрд┐рдЦрд╛ рджреЗрддрд╛ рд╣реИред рднреБрдЬрд╛рдУрдВ рдХреЛ рдЗрд╕ рддрд░рд╣ рдХреНрд░рдорд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ рдХрд┐ рдЫреЛрдЯреА рднреБрдЬрд╛ рдкрд╣рд▓реЗ рджрд┐рдЦреЗред

рд╕реВрддреНрд░ рдХреА рд╡реНрдпрд╛рдЦреНрдпрд╛

рдпреВрдХреНрд▓рд┐рдб рд╕реВрддреНрд░ рдХрд╣рддрд╛ рд╣реИ рдХрд┐ рдХрд┐рдиреНрд╣реАрдВ рднреА рдкреВрд░реНрдгрд╛рдВрдХреЛрдВ \(m > n > 0\) рдХреЗ рд▓рд┐рдП, рдорд╛рди $$\left(a,\,b,\,c\right) = \left(\text{m}^2 - \text{n}^2,\ \ 2\,\text{m}\,\text{n},\ \ \text{m}^2 + \text{n}^2\right)$$ рд╣рдореЗрд╢рд╛ рдПрдХ рдкрд╛рдЗрдерд╛рдЧреЛрд░рд╕ рддреНрд░рд┐рдХ рдмрдирд╛рддреЗ рд╣реИрдВред рдЬрдм m рдФрд░ n рд╕рд╣рдЕрднрд╛рдЬреНрдп (coprime) рд╣реЛрдВ рдФрд░ рджреЛрдиреЛрдВ рд╡рд┐рд╖рдо рди рд╣реЛрдВ, рддреЛ рдкрд░рд┐рдгрд╛рдо рдПрдХ рдореВрд▓ рддреНрд░рд┐рдХ (primitive triple) рд╣реЛрддрд╛ рд╣реИ тАФ рдпрд╛рдиреА рдРрд╕рд╛ рддреНрд░рд┐рдХ рдЬрд┐рд╕реЗ рдХрд┐рд╕реА рдЙрднрдпрдирд┐рд╖реНрда рдЧреБрдгрдирдЦрдВрдб рд╕реЗ рдФрд░ рдЫреЛрдЯрд╛ рдирд╣реАрдВ рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ред рдЕрдиреНрдпрдерд╛ рдпрд╣ рддреНрд░рд┐рдХ рдХрд┐рд╕реА рдореВрд▓ рддреНрд░рд┐рдХ рдХрд╛ рдЧреБрдгрд┐рдд (scaled) рд░реВрдк рд╣реЛрддрд╛ рд╣реИред

рдЖрд░реЗрдЦ рдЬреЛ m рдФрд░ n рдЗрдирдкреБрдЯ рдХреЛ рдпреВрдХреНрд▓рд┐рдб рд╕реВрддреНрд░ рджреНрд╡рд╛рд░рд╛ рддреНрд░рд┐рдХ a, b, c рдореЗрдВ рдореИрдк рдХрд░рддрд╛ рджрд┐рдЦрд╛рддрд╛ рд╣реИ
рдпреВрдХреНрд▓рд┐рдб рдХрд╛ рд╕реВрддреНрд░ рджреЛ рдкреВрд░реНрдгрд╛рдВрдХреЛрдВ m рдФрд░ n рдХреЛ рддреНрд░рд┐рдХ \(a = m^2 - n^2\), \(b = 2mn\), \(c = m^2 + n^2\) рдореЗрдВ рдмрджрд▓рддрд╛ рд╣реИред

рд╣рд▓ рдХрд┐рдпрд╛ рд╣реБрдЖ рдЙрджрд╛рд╣рд░рдг

рдорд╛рди рд▓реАрдЬрд┐рдП \(m = 2\) рдФрд░ \(n = 1\)ред рддрдм $$a = 4 - 1 = 3, \quad b = 2 \times 2 \times 1 = 4, \quad c = 4 + 1 = 5$$ рдкрд░рд┐рдгрд╛рдо рд╣реИ (3, 4, 5)ред рдЬрд╛рдБрдЪреЗрдВ: \(3^2 + 4^2 = 9 + 16 = 25 = 5^2\)ред рдЗрд╕реА рддрд░рд╣ \(m = 3\), \(n = 2\) рд▓реЗрдиреЗ рдкрд░ \(a = 5\), \(b = 12\), \(c = 13\) рдорд┐рд▓рддрд╛ рд╣реИ тАФ рдпрд╛рдиреА рдкреНрд░рд╕рд┐рджреНрдз (5, 12, 13) рддреНрд░рд┐рдХред

рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдкреНрд░рд╢реНрди

m рдХрд╛ n рд╕реЗ рдмрдбрд╝рд╛ рд╣реЛрдирд╛ рдХреНрдпреЛрдВ рдЬрд╝рд░реВрд░реА рд╣реИ? рдпрджрд┐ \(n \geq m\) рд╣реЛ, рддреЛ рднреБрдЬрд╛ \(a = m^2 - n^2\) рд╢реВрдиреНрдп рдпрд╛ рдЛрдгрд╛рддреНрдордХ рд╣реЛ рдЬрд╛рдПрдЧреА, рдЬреЛ рдХрд┐рд╕реА рднреБрдЬрд╛ рдХреА рд╡реИрдз рд▓рдВрдмрд╛рдИ рдирд╣реАрдВ рд╣реЛ рд╕рдХрддреАред

рдХреНрдпрд╛ рдЗрд╕рд╕реЗ рд╣рд░ рддреНрд░рд┐рдХ рдорд┐рд▓ рдЬрд╛рддрд╛ рд╣реИ? рдпреВрдХреНрд▓рд┐рдб рд╕реВрддреНрд░ рд╣рд░ рдореВрд▓ рддреНрд░рд┐рдХ рдХреЛ рдареАрдХ рдПрдХ рдмрд╛рд░ рдмрдирд╛рддрд╛ рд╣реИ (рд╡рд┐рдкрд░реАрдд рд╕рдо-рд╡рд┐рд╖рдорддрд╛ рд╡рд╛рд▓реЗ рд╕рд╣рдЕрднрд╛рдЬреНрдп m, n рдХреЗ рд╕рд╛рде), рдФрд░ рдмрд╛рдХреА рд╕рднреА рддреНрд░рд┐рдХ рдЙрдирдХреЗ рдЧреБрдгрд┐рдд рд░реВрдкреЛрдВ рдореЗрдВ рдорд┐рд▓ рдЬрд╛рддреЗ рд╣реИрдВред

рдХреНрдпрд╛ (a, b, c) рдФрд░ (b, a, c) рдПрдХ рд╣реА рд╣реИрдВ? рджреЛрдиреЛрдВ рднреБрдЬрд╛рдПрдБ рдЖрдкрд╕ рдореЗрдВ рдмрджрд▓реА рдЬрд╛ рд╕рдХрддреА рд╣реИрдВ; рдПрдХрд░реВрдкрддрд╛ рдХреЗ рд▓рд┐рдП рдпрд╣ рдЯреВрд▓ рдЫреЛрдЯреА рднреБрдЬрд╛ рдХреЛ рдкрд╣рд▓реЗ рджрд┐рдЦрд╛рддрд╛ рд╣реИред

рдЕрдВрддрд┐рдо рдЕрдкрдбреЗрдЯ: