（*内容类型：application/vnd.wolfram.mathematica*）（***Wolfram笔记本文件***）(* 网址：http://www.wolfram.com/nb *)（*CreatedBy='Mathematica 9.0'*）（*CacheID:234*）（*内部缓存信息：笔记本文件换行测试笔记本文件换行测试笔记本数据位置[157，7]笔记本数据长度[12241，377]笔记本选项位置[1122535]笔记本大纲位置[11579，351]单元格标签索引位置[11536348]窗口框架->正常*）（*笔记本内容开头*）笔记本[{单元格[CellGroupData[{单元格[TextData[{“费马的”，单元格[BoxData[表单框[行框[{行框[{“4”、“”、“n”}]、“+”、“1”}]，传统格式]]]，“定理”}]，“标题”]，单元格[CellGroupData[{单元格[“作者”，“小节”]，单元格[“\<\埃里克·韦斯特因2004年3月16日\\>“，”文本“]，单元格[TextData[{“此笔记本下载自”，按钮框[“http://mathworld.wolfram.com/notes/PrimeNumbers/\Fermats4nPlus1Torem.nb“，BaseStyle->“超链接”，按钮数据：>{URL[“http://mathworld.wolfram.com/notebooks/PrimeNumbers网站/\Fermats4nPlus1Torem.nb“]，无}]，"."}]，“文本”]，单元格[TextData[{“有关更多信息，请参阅埃里克的”，StyleBox[“数学世界”，字体倾斜->“斜体”]，“条目”，按钮框[“http://mathworld.wolfram.com/Fermats4nPlus1Orem.html",BaseStyle->“超链接”，按钮数据：>{URL[“http://mathworld.wolfram.com/Fermats4nPlus1Orem.html“]，无｝]，"."}]，“文本”]，单元格[“\<\\[版权所有]2005 Wolfram Research，Inc.，除非另有说明\\>“，”文本“]}，打开]]，单元格[CellGroupData[{单元格[“枚举”，“节”]，单元格[CellGroupData[{单元格[BoxData[行框[{“reps”，“=”，行框[{行框[{行框[{“Reduce”，“[”，行框[{行框[{行框[{行框[{行框[{“x”，“^”，“2”}]，“+”，行框[{“y”，“^”，“2”}]}]，“\[Equal]”，“#”}]，”&&“，行框[{“0”，“<”，“x”，“<=”，“y”}]，“&&”，行框[{行框[{“（”，RowBox[｛“x”，“|”，“y”｝]，“）”｝]，“\[Element]”，“Integers”｝]｝]，“，”，行框[{“{”，行框[{“x”，“，”，“y”}]，“}”}]]，“]”}]，行框[{“素数”，“[”，行框[{“范围”，“[”，“100”，“]”}]，“]“}]}]]，“输入”]，单元格[BoxData[行框[{“{”，行框[{行框[{行框[{“x”，“\[Equal]”，“1”}]，“&&”，行框[{“y”，“\[Equal]”，“1”}]}]，“，”，“False”，“，“，行框[{行框[{“x”，“\[Equal]”，“1”}]，“&&”，行框[{“y”，“\[Equal]”，“2”}]}]，“，”，“False”，“，行框[{行框[{“x”，“\[Equal]”，“2”}]，“&&”，行框[{“y”，“\[Equal]”，“3”}]}]，“，”，行框[{行框[{“x”，“\[Equal]”，“1”}]，“&&”，行框[{“y”，“\[Equal]”，“4”}]}]，“，”，“False”，“，行框[{行框[{“x”，“\[Equal]”，“2”}]，“&&”，RowBox[｛“y”，“\[Equal]”，“5”｝]｝]，“，”，“False”，“，”，行框[{行框[{“x”，“\[Equal]”，“1”}]，“&&”，行框[{“y”，“\[Equal]”，“6”}]}]，“，”，行框[{行框[{“x”，“\[Equal]”，“4”}]，“&&”，行框[{“y”，“\[Equal]”，“5”}]}]，“，”，“False”，“，行框[{行框[{“x”，“\[Equal]”，“2”}]，“&&”，行框[{“y”，“\[Equal]”，“7”}]}]，“，”，“False”，“，“，行框[{行框[{“x”，“\[Equal]”，“5”}]，“&&”，行框[{“y”，“\[Equal]”，“6”}]}]，“，”，“False”，“，行框[{行框[{“x”，“\[Equal]”，“3”}]，“&&”，RowBox[｛“y”，“\[Equal]”，“8”｝]｝]，“，”，“False”，“，”，“False”，“，”，行框[{行框[{“x”，“\[Equal]”，“5”}]，“&&”，行框[{“y”，“\[Equal]”，“8”}]}]，“，”，行框[{行框[{“x”，“\[Equal]”，“4”}]，“&&”，行框[{“y”，“\[Equal]”，“9”}]}]，“，”，行框[{行框[{“x”，“\[Equal]”，“1”}]，“&&”，行框[{“y”，“\[Equal]”，“10”}]}]，“，”，“False”，“，行框[{行框[{“x”，“\[Equal]”，“3”}]，“&&”，行框[{“y”，“\[Equal]”，“10”}]}]，“，”，行框[{行框[{“x”，“\[Equal]”，“7”}]，“&&”，行框[{“y”，“\[Equal]”，“8”}]}]，“，”，“False”，“，行框[{行框[{“x”，“\[Equal]”，“4”}]，“&&”，行框[{“y”，“\[Equal]”，“11”}]}]，“，”，“False”，“，“，行框[{行框[{“x”，“\[Equal]”，“7”}]，“&&”，行框[{“y”，“\[Equal]”，“10”}]}]，“，”，“False”，“，“，行框[{RowBox[｛“x”，“\[Equal]”，“6”｝]，“&&”，行框[{“y”，“\[Equal]”，“11”}]}]，“，”，“False”，“，行框[{行框[{“x”，“\[Equal]”，“2”}]，“&&”，行框[{“y”，“\[Equal]”，“13”}]}]，“，”，“False”，“，“，行框[{行框[{“x”，“\[Equal]”，“9”}]，“&&”，行框[{“y”，“\[Equal]”，“10”}]}]，“，”，“False”，“，“，行框[{行框[{“x”，“\[Equal]”，“7”}]，“&&”，行框[{“y”，“\[Equal]”，“12”}]}]，“，”，行框[{行框[{“x”，“\[Equal]”，“1”}]，“&&”，行框[{“y”，“\[Equal]”，“14”}]}]，“，”，“False”，“，“假”，“，”，“假”，行框[{行框[{“x”，“\[Equal]”，“2”}]，“&&”，行框[{“y”，“\[Equal]”，“15”}]}]，“，”，行框[{RowBox[｛“x”，“\[Equal]”，“8”｝]，“&&”，行框[{“y”，“\[Equal]”，“13”}]}]，“，”，“False”，“，“，行框[{行框[{“x”，“\[Equal]”，“4”}]，“&&”，行框[{“y”，“\[Equal]”，“15”}]}]，“，”，“False”，“，“，行框[{行框[{“x”，“\[Equal]”，“1”}]，“&&”，行框[{“y”，“\[Equal]”，“16”}]}]，“，”，“False”，“，“，行框[{行框[{“x”，“\[Equal]”，“10”}]，“&&”，行框[{“y”，“\[Equal]”，“13”}]}]，“，”，“False”，“，“，行框[{行框[{“x”，“\[Equal]”，“9”}]，“&&”，行框[{“y”，“\[Equal]”，“14”}]}]，“，”，行框[{RowBox[｛“x”，“\[Equal]”，“5”｝]，“&&”，行框[{“y”，“\[Equal]”，“16”}]}]，“，”，“False”，“，“，行框[{行框[{“x”，“\[Equal]”，“2”}]，“&&”，行框[{“y”，“\[Equal]”，“17”}]}]，“，”，“False”，“，行框[{行框[{“x”，“\[Equal]”，“12”}]，“&&”，行框[{“y”，“\[Equal]”，“13”}]}]，“，”，行框[{行框[{“x”，“\[Equal]”，“11”}]，“&&”，行框[{“y”，“\[Equal]”，“14”}]}]，“，”，“False”，“，“，行框[{行框[{“x”，“\[Equal]”，“9”}]，“&&”，行框[{“y”，“\[Equal]”，“16”}]}]，“，”，“False”，“，“，行框[{行框[{“x”，“\[Equal]”，“5”}]，“&&”，行框[{“y”，“\[Equal]”，“18”}]}]，“，”，行框[{行框[{“x”，“\[Equal]”，“8”}]，“&&”，行框[{“y”，“\[Equal]”，“17”}]}]，“，”，“False”，“，行框[{行框[{“x”，“\[Equal]”，“7”}]，“&&”，RowBox[｛“y”，“\[Equal]”，“18”｝]｝]，“，”，“False”，“，”，“False”，“，”，行框[{行框[{“x”，“\[Equal]”，“10”}]，“&&”，行框[{“y”，“\[Equal]”，“17”}]}]，“，”，行框[{行框[{“x”，“\[Equal]”，“6”}]，“&&”，行框[{“y”，“\[Equal]”，“19”}]}]，“，”，行框[{行框[{“x”，“\[Equal]”，“1”}]，“&&”，行框[{“y”，“\[Equal]”，“20”}]}]，“，”，行框[{行框[{“x”，“\[Equal]”，“3”}]，“&&”，行框[{“y”，“\[Equal]”，“20”}]}]，“，”，“False”，“，“，行框[{行框[{“x”，“\[Equal]”，“14”}]，“&&”，行框[{“y”，“\[Equal]”，“15”}]}]，“，”，“False”，“，“，行框[{行框[{“x”，“\[Equal]”，“12”}]，“&&”，行框[{“y”，“\[Equal]”，“17”}]}]，“，”，“False”，“，行框[{RowBox[｛“x”，“\[Equal]”，“7”｝]，“&&”，行框[{“y”，“\[Equal]”，“20”}]}]，“，”，行框[{行框[{“x”，“\[Equal]”，“4”}]，“&&”，行框[{“y”，“\[Equal]”，“21”}]}]，“，”，行框[{行框[{“x”，“\[Equal]”，“10”}]，“&&”，行框[{“y”，“\[Equal]”，“19”}]}]，“，”，“False”，“，“假”，“，”，“假”，行框[{行框[{“x”，“\[Equal]”，“5”}]，“&&”，行框[{“y”，“\[Equal]”，“22”}]}]，“，”，行框[{行框[{“x”，“\[Equal]”，“11”}]，“&&”，RowBox[｛“y”，“\[Equal]”，“20”｝]｝]，“，”，“False”，“，”，行框[{行框[{“x”，“\[Equal]”，“10”}]，“&&”，行框[{“y”，“\[Equal]”，“21”}]}]，“}”}]]，“输出”]}，打开]]，单元格[CellGroupData[{单元格[BoxData[行框[{“p”，“=”，行框[{RowBox[｛“位置”，“[”，行框[{“reps”，“，”，行框[{“_”，“？”，行框[{“（”，行框[{行框[{“FreeQ”，“[”，行框[{“#”，“，”，行框[{“（”，行框[{“False”，“|”，“Or”}]，“）”}]}]，行框[{“{”，“1”，“}”}]，“，”，行框[{“标头”，“\[Rule]”，“False”}]}]，“]”}]，”//“，“展平”}]}]]，“输入”]，单元格[BoxData[行框[{“{”，行框[{"1", ",", "3", ",", "6", ",", "7", ",", "10", ",", "12", ",", "13", ",", "16", ",", "18", ",", "21", ",", "24", ",", "25", ",", "26", ",", "29", ",", "30", ",", "33", ",", "35", ",", "37", ",", "40", ",", "42", ",", "44", ",", "45", ",", "50", ",", "51", ",", "53", ",", "55", ",", "57", ",", "59", ",", "60", ",", "62", ",", "65", ",", "66", ",", "68", ",", "70", ",", "71", ",", "74", ",", "77", ",", "78", ",", "79", ",", "80", ",", "82", ",", "84", ",", "87", ",", "88", ",", "89", ",", "97", ",", “98”，“，”，“100”}]，“}”}]]，“输出”]}，打开]]，单元格[CellGroupData[{单元格[BoxData[行框[{“Mod”，“[”，行框[{行框[{“素数”、“/@”、“p”}]、“，”、“4”}]，“]”}]]，“输入”]，单元格[BoxData[行框[{“{”，行框[{"2", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1", ",", “1”、“，”、“1”，“，”，“1”}]，“}”}]]，“输出”]}，打开]]，单元格[CellGroupData[{单元格[BoxData[行框[{“xy”，“=”，行框[{“转置”，“[”，行框[{行框[{行框[{“（”，RowBox[｛“Last”，“/@”，“#”｝]，“）”｝]，“&”｝]，“/@”，行框[{“列表”，“@@@”，行框[{“reps”，“[”，行框[{“[”，“p”，“]“}]，”]“}]}]}]，“]”}]]，“输入”]，单元格[BoxData[行框[{“{”，行框[{行框[{“{”，行框[{"1", ",", "1", ",", "2", ",", "1", ",", "2", ",", "1", ",", "4", ",", "2",",", "5", ",", "3", ",", "5", ",", "4", ",", "1", ",", "3", ",", "7", ",", "4", ",", "7", ",", "6", ",", "2", ",", "9", ",", "7", ",", "1", ",", "2", ",", "8", ",", "4", ",", "1", ",", "10", ",", "9", ",", "5", ",", "2", ",", "12", ",", "11", ",", "9", ",", "5", ",", "8", ",", "7", ",", "10", ",", "6", ",", "1", ",", "3", ",", "14", ",", "12", ",", "7", ",", "4", ",", "10", ",", "5", ",", "11", ",", "10"}], "}"}], ",", 行框[{“{”，行框[{"1", ",", "2", ",", "3", ",", "4", ",", "5", ",", "6", ",", "5", ",", "7",",", "6", ",", "8", ",", "8", ",", "9", ",", "10", ",", "10", ",", "8", ",", "11", ",", "10", ",", "11", ",", "13", ",", "10", ",", "12", ",", "14", ",", "15", ",", "13", ",", "15", ",", "16", ",", "13", ",", "14", ",", "16", ",", "17", ",", "13", ",", "14", ",", "16", ",", "18", ",", "17", ",", "18", ",", "17", ",", "19", ",", "20", ",", "20", ",", "15", ",", "17", ",", "20", ",", "21", ",", "19", ",", "22", ",", "20", ",", “21”}]，“}”}]}]，”}“}]]，“输出”]}，打开]]}，打开]]}，打开]]},窗口大小->{520，716}，窗口边距->{{378，自动}，{自动，39}}，FrontEndVersion->“9.0 for Mac OS X x86（32位、64位内核）（3月5日\2013)",样式定义->“Default.nb”]（*笔记本内容结束*）（*内部缓存信息*）（*单元格标签大纲单元格标签索引->{}*)（*单元格标签索引单元格标签索引->{}*)（*笔记本文件大纲笔记本[{单元格[CellGroupData[{单元格[579，22，153，7，148，“标题”]，单元格[CellGroupData[{单元格[757，33，28，0，44，“小节”]，单元格[788，35，56，3，49，“文本”]，单元格[847，40，301，9，68，“文本”]，单元格[1151317,10,49，“文本”]，单元格[1471，63，99，2，49，“文本”]}，打开]]，单元格[CellGroupData[{单元格[1607，70，30，0，80，“节”]，单元格[CellGroupData[{单元格[1662，74，585，18，81，“输入”]，单元格[2250，94，5585，148，420，“输出”]}，打开]]，单元格[CellGroupData[{单元格[7872，247，451，15，70，“输入”]，单元格[8326、264、609、10、70，“输出”]}，打开]]，单元格[CellGroupData[{单元格[8972，279，108，3，70，“输入”]，单元格[9083，284，560，9，70，“输出”]}，打开]]，单元格[CellGroupData[{单元格[9680，298，279，9，70，“输入”]，单元格[9962，309，1223，21，70，“输出”]}，打开]]}，打开]]}，打开]]}]*)（*内部缓存信息结束*）