方程证明

<!-- /* Font Definitions */ @font-face {font-family:宋体; panose-1:2 1 6 0 3 1 1 1 1 1; mso-font-alt:SimSun; mso-font-charset:134; mso-generic-font-family:auto; mso-font-pitch:variable; mso-font-signature:3 135135232 16 0 262145 0;} @font-face {font-family:"/@宋体"; panose-1:2 1 6 0 3 1 1 1 1 1; mso-font-charset:134; mso-generic-font-family:auto; mso-font-pitch:variable; mso-font-signature:3 135135232 16 0 262145 0;} /* Style Definitions */ p.MsoNormal, li.MsoNormal, div.MsoNormal {mso-style-parent:""; margin:0pt; margin-bottom:.0001pt; text-align:justify; text-justify:inter-ideograph; mso-pagination:none; font-size:10.5pt; mso-bidi-font-size:12.0pt; font-family:"Times New Roman"; mso-fareast-font-family:宋体; mso-font-kerning:1.0pt;} /* Page Definitions */ @page {mso-page-border-surround-header:no; mso-page-border-surround-footer:no;} @page Section1 {size:612.0pt 792.0pt; margin:72.0pt 90.0pt 72.0pt 90.0pt; mso-header-margin:36.0pt; mso-footer-margin:36.0pt; mso-paper-source:0;} div.Section1 {page:Section1;} -->

求证：方程 x² － 3y² =17 没有整数解

证明：设整数 x 按模 3 分类讨论，

①当 x ＝ 3k 时，　　　（ 3k ） ² － 3y² =17,  　　 3(3k² － y² )=17

⑵当 x=3k ± 1 时，　　（ 3k ± 1 ） ² － 3y² =17    3⁽ 3k² ± 2k － y² )=16

由①②左边的整数是 3 的倍数，而右边的 17 和 16 都不是 3 的倍数，

　∴上述等式都不能成立，因此，方程 x² － 3y² =17 没有整数解