À°¿ô¤Ë´Ø¤¹¤ëÊýÄø¼°¡Ê£·¡Ë
Î㣱¡¥À°¿ôX,Y,Z¤¬¡¡X^2+Y^2=Z^2¡¡¡¤òËþ¤¿¤·¤Æ¤¤¤ë¤È¤¡¢X,Y¤Î¾¯¤Ê¤¯¤È¤â¤É¤Á¤é¤«¤Ï3¤ÎÇÜ¿ô¤Ç¤¢¤ë¤³¤È¤ò¾ÚÌÀ¤»¤è¡Ê¥ì¥Ù¥ë£³¡Ë¡£
¡¡²òÀ⣱¡§¡¼°¤ÎξÊÕ¤ò3¤Ç³ä¤Ã¤¿Í¾¤ê¤ò¸«¤ë¡£X,Y¤¬¶¦¤Ë3¤ÎÇÜ¿ô¤Ç¤Ï¤Ê¤¤¤È¤¹¤ë¡£°ìÈ̤ˡ¢3¤ÎÇÜ¿ô¤Îɽ¸½¤Ï¡¢3K,3K+1,3K+2¤¢¤ë¤¤¤Ï¡¢3K,3K¡Þ1¤È¤Ê¤ë¡£¤¤¤Þ¡¢X,Y¤¬3¤ÎÇÜ¿ô¤Ç¤Ê¤¤¤«¤é¡¢X¢á3K¡Þ1¢á¡Þ1 (mod 3)¡¢Y¢á¡Þ1 (mod 3)¤Èɽ¤»¤ë¡£X^2¢á1 (mod 3)¡¢Y^2¢á1 (mod 3)¤À¤«¤é¡¢¡¤Îº¸ÊÕ¢á2 (mod 3)¡£¤«¤¿¤ä¡¢±¦ÊÕ¢áZ^2 (mod 3)¤È¤Ê¤ê¡¢¡¼°¤ÏÀ®¤êΩ¤¿¤Ê¤¤¡£¤è¤Ã¤Æ¡¢X,Y¤¬¶¦¤Ë3¤ÎÇÜ¿ô¤Ç¤Ï¤Ê¤¤¤È¤¤¤¦²¾Äê¤ÏÇÑ´þ¤·¤Æ¡¢¾¯¤Ê¤¯¤È¤â°ìÊý¤Ï3¤ÎÇÜ¿ô¤È¤Ê¤ë¡£
¡¡²òÀâ2¡§¹çƱ¤ò»È¤ï¤Ê¤¤¾ÚÌÀ¤Ï¡¢Æ±¤¸²¾Äê¤ò»È¤Ã¤Æ¡¢Ì·½â¤òƳ¤¯¡£X¢á3K¡Þ1¡¢Y¢á3L¡Þ1 ¤È¤·¤Æ¡¢
¡¤Îº¸ÊÕ¤¬À°¿ô¤Î2¾è¤Ë¤Ê¤é¤Ê¤¤¤³¤È¤òƳ¤±¤Ð¤è¤¤¡£±¦ÊÕ¤ÏÀ°¿ô¤Î2¾è¤À¤«¤éÌ·½â¡£