（*内容类型：application/vnd.wolfram.mathematica*）（***Wolfram笔记本文件***）（*）http://www.wolfram.com/nb *)（*CreatedBy='Mathematica 9.0'*）（*CacheID:234*）（*内部缓存信息：笔记本文件断线测试笔记本文件断线测试笔记本数据位置[157，7]笔记本数据长度[12959，447]笔记本选项位置[11411387]笔记本大纲位置[11918，409]单元格标签索引位置[11833404]窗口框架->正常*）（*笔记本内容开头*）笔记本[{单元格[CellGroupData[{单元格[“同余数”，“标题”]，单元格[CellGroupData[{单元格[“作者”，“小节”]，单元格[“\<\埃里克·韦斯特因2003年11月20日\\>“，”文本“]，单元格[TextData[{“此笔记本下载自”，按钮框[“http://mathworld.wolfram.com/notebooks/DiophantineEquations（英文）/\CongruentNumber.nb“，BaseStyle->“超链接”，按钮数据：>{URL[“http://mathworld.wolfram.com/notebooks/DiophantineEquations（英文）/\CongruentNumber.nb“]，无}]，"."}]，“文本”]，单元格[TextData[{“有关更多信息，请参阅埃里克的”，StyleBox[“数学世界”，字体倾斜->“斜体”]，“条目”，按钮框[“http://mathworld.wolfram.com/CongruentNumber.html”，BaseStyle->“超链接”，按钮数据：>{URL[“http://mathworld.wolfram.com/CongruentNumber.html“]，无}]，"."}]，“文本”]，单元格[“\<\\【版权所有】2005 Wolfram Research，Inc.，除非另有说明\\>“，”文本“]}，打开]]，单元格[CellGroupData[{单元格[TextData[{“特殊情况”，单元格[BoxData[表单框[行框[{“a”，“\[LongEqual]”，“101”}]，传统格式]]]}]，“节”]，单元格[CellGroupData[{单元格[BoxData[行框[{“Reduce”，“[”，行框[{行框[{行框[{行框[{行框[{“x”，“^”，“2”}]，“+”，行框[{“a”，“”，行框[{“y”，“^”，“2”}]}]，“\[相等]”，RowBox[｛“z”，“^”，“2”｝]｝]，“&&”，行框[{行框[{行框[{“x”，“^”，“2”}]，“-”，行框[{“a”，“”，行框[{“y”，“^”，“2”}]}]，“\[相等]”，行框[{“t”，“^”，“2”}]}]，“&&”，行框[{“x”，“>”，“0”}]，“&&”，行框[{“y”，“>”，“0”}]，“&&”，行框[{“z”，“>”，“0”}]，“&&”，行框[{“t”，“>”，“0”}]，“&&”，行框[{“a”，“\[Equal]”，“101”}]}]，“，”，“\[IndentingNewLine]”，行框[{“{”，行框[{“x”，“，”，“y”，“，“]”}]]，“输入”]，单元格[BoxData[行框[{行框[{行框[{“（”，行框[{“x”，“|”，“y”，“|'”，“z”，“|1”，“t”}]，“）”}，“\[Element]”，“整数”}]，“&&”，RowBox[｛“a”，“\[Equal]”，“101”｝]，“&&”，行框[{“x”，“\[GreaterEqual]”，“1”}]，“&&”，行框[{“0”，“<”，“y”，“>”，分数框[方形方框[上标框[“x”，“2”]]，SqrtBox[“101”]}]，“&&”，行框[{“z”，“\[Equal]”，方形方框[行框[{上标框[“x”，“2”]，“+”，行框[{“101”，“”，上标框[“y”，“2”]}]]}]，“&&”，行框[{“t”，“\[Equal]”，方形方框[行框[{上标框[“x”，“2”]，“-”，行框[{“101”，“”，上标框[“y”，“2”]}]]]}]}]]，“输出”]}，打开]]，单元格[CellGroupData[{单元格[BoxData[RowBox[｛“？”，“FindInstance”｝]]，“Input”]，单元格[BoxData[RowBox[{“\<\”FindInstance[expr，vars]查找变量的实例\语句表达式为True。FindInstance[expr，vars，dom]查找实例\在域dom上。dom的常见选择有Complexes、Reals、Integer和\布尔人。FindInstance[expr，vars，dom，n]查找n个实例\“\>”，“”，按钮框[样式框[“更多\[省略号]”，“SR”]，激活->真，基本样式->“RefGuideLink”，ButtonData:>“FindInstance”]}]]，“打印”，CellTags->“信息3278606388-1212546”]}，打开]]，单元格[CellGroupData[{单元格[BoxData[行框[{“With”，“[”，行框[{行框[{“{”，行框[{“a”，“=”，“101”}]，“}”}]，“，”，“\[IndentingNewLine]”，行框[{“FindInstance”，“[”，行框[{行框[{行框[{行框[{行框[{“x”，“^”，“2”}]，“+”，行框[{“a”，“”，行框[{“y”，“^”，“2”}]}]，“\[相等]”，行框[{“z”，“^”，“2”}]}]，“&&”，行框[{行框[{行框[{“x”，“^”，“2”}]，“-”，行框[{“a”，“”，RowBox[｛“y”，“^”，“2”｝]｝]｝]，“\[Equal]”，行框[{“t”，“^”，“2”}]}]，“&&”，行框[{“x”，“>”，“0”}]，“&&”，行框[{“y”，“>”，“0”}]，“&&”，行框[{“z”，“>”，“0”}]，“&&”，行框[{“t”，“>”，“0”}]}]，“，”，行框[{“{”，行框[{“x”，“，”，“y”，“，“]”}]}]，“\[IndentingNewLine]”，“]”{]]，“输入”]，单元格[BoxData[行框[{行框[{“FindInstance”，“：：”，“\<”nsmet\“\>”}]，“：”，“”，“\<\”FindInstance可用的方法不足，无法找到\请求的实例或证明它们不存在\\\!\\（\\*ButtonBox[\\\“更多\[省略号]\\\”，ButtonStyle->\\\“RefGuideLinkText\\\\“，ButtonFrame->无，Button数据：>\\\”查找实例：：nsmet\\“]\\）\”\>“}]]\“消息”]，单元格[BoxData[行框[{“FindInstance”，“[”，行框[{行框[{行框[{行框[{上标框[“x”，“2”]，“+”，RowBox[｛“101”，“”，上标框[“y”，“2”]}]}]，“\[Equal]”，上标框[“z”，“2”]}]，“&&”，行框[{行框[{上标框[“x”，“2”]，“-”，行框[{“101”，“”，上标框[“y”，“2”]}]}]，“\[Equal]”，上标框[“t”，“2”]}]，“&&”，行框[{“x”，“>”，“0”}]，“&&”，RowBox[｛“y”，“>”，“0”｝]，“&&”，行框[{“z”，“>”，“0”}]，“&&”，行框[{“t”，“>”，“0”}]}]，“，”，行框[{“{”，行框[{“x”，“，”，“y”，“，“]”}]]，“输出”]}，打开]]，单元格[CellGroupData[{单元格[BoxData[{行框[{行框[{“开发人员`SetSystemOptions”，“[”，行框[{“\”\\“”，“\[规则]”，行框[{“{”，行框[{“\”\\“”，“\[规则]”，行框[{“10”，“^”，“6”}]}]，“}”}]]，“]”}]，行框[{行框[{“With”，“[”，行框[{行框[{“{”，RowBox[｛“a”，“=”，“101”｝]，“｝”｝]，“，”，“\[InditingNewLine]”，行框[{“FindInstance”，“[”，行框[{行框[{行框[{行框[{行框[{“x”，“^”，“2”}]，“+”，行框[{“a”，“”，行框[{“y”，“^”，“2”}]}]，“\[相等]”，行框[{“z”，“^”，“2”}]}]，“&&”，行框[{行框[{行框[{“x”，“^”，“2”}]，“-”，行框[{“a”，“”，行框[{“y”，“^”，“2”}]}]，“\[相等]”，行框[{“t”，“^”，“2”}]}]，“&&”，行框[{“x”，“>”，“0”}]，“&&”，行框[{“y”，“>”，“0”}]，“&&”，行框[{“z”，“>”，“0”}]，“&&”，行框[{“t”，“>”，“0”}]}]，“，”，行框[{“{”，行框[{“x”，“，”，“y”，“，“]”}]}]，“\[IndentingNewLine]”，“]”{]，“//”，“计时”}]]，“输入”]，单元格[BoxData[行框[{行框[{“FindInstance”，“：：”，“\<”nsmet\“\>”}]，“：”，“”，“\<\”FindInstance可用的方法不足，无法找到\请求的实例或证明它们不存在\\\\\（\\*ButtonBox[\\\“更多\[省略号]\\\”，ButtonStyle->\\\“RefGuideLinkText\\\\“，ButtonFrame->无，Button数据：>\\\”查找实例：：nsmet\\“]\\）\”\>“}]]\“消息”]，单元格[BoxData[行框[{“{”，行框[{行框[{“11.73000000000004`”，“”，“第二”}]，“，”，行框[{“FindInstance”，“[”，行框[{行框[{行框[{行框[{上标框[“x”，“2”]，“+”，行框[{“101”，“”，上标框[“y”，“2”]｝]｝]，“\[Equal]”，上标框[“z”，“2”]}]，“&&”，行框[{行框[{上标框[“x”，“2”]，“-”，行框[{“101”，“”，上标框[“y”，“2”]}]}]，“\[Equal]”，上标框[“t”，“2”]}]，“&&”，行框[{“x”，“>”，“0”}]，“&&”，行框[{“y”，“>”，“0”}]，“&&”，行框[{“z”，“>”，“0”}]，“&&”，行框[{“t”，“>”，“0”}]}]，“，”，行框[{“{”，行框[{“x”，“，”，“y”，“，“]”}]}]，“}”}]]，“输出”]}，打开]]，单元格[CellGroupData[{单元格[BoxData[{行框[{RowBox[｛“Developer`SetSystemOptions”，“[”，行框[{“\”\\“”，“\[规则]”，行框[{“{”，行框[{“\”\\“”，“\[规则]”，行框[{“10”，“^”，“7”}]}]，“}”}]]，“]”}]，行框[{行框[{“With”，“[”，行框[{行框[{“{”，行框[{“a”，“=”，“101”}]，“}”}]，“，”，“\[IndentingNewLine]”，行框[{“FindInstance”，“[”，行框[{行框[{行框[{行框[{行框[{“x”，“^”，“2”}]，“+”，行框[{“a”，“”，行框[{“y”，“^”，“2”}]}]，“\[相等]”，行框[{“z”，“^”，“2”}]}]，“&&”，行框[{行框[{行框[{“x”，“^”，“2”}]，“-”，行框[{“a”，“”，行框[{“y”，“^”，“2”}]}]，“\[相等]”，行框[{“t”，“^”，“2”}]}]，“&&”，行框[{“x”，“>”，“0”}]，“&&”，行框[{“y”，“>”，“0”}]，“&&”，RowBox[｛“z”，“>”，“0”｝]，“&&”，行框[{“t”，“>”，“0”}]}]，“，”，行框[{“{”，行框[{“x”，“，”，“y”，“，“]”}]}]，“\[IndentingNewLine]”，“]”{]，“//”，“计时”}]]，“输入”]，单元格[BoxData[行框[{行框[{“FindInstance”，“：：”，“\<”nsmet\“\>”}]，“：”，“”，“\<\”FindInstance可用的方法不足，无法找到\请求的实例或证明它们不存在\\\!\\（\\\*按钮框[\\\“更多\[椭圆]\\\”，按钮样式->\\\“参考指南链接文本\\\\“，ButtonFrame->无，Button数据：>\\\”查找实例：：nsmet\\“]\\）\”\>“}]]\“消息”]，单元格[BoxData[行框[{“{”，行框[{行框[{“120.77`”，“”，“第二”}]，“，”，行框[{“FindInstance”，“[”，行框[{行框[{行框[{行框[{上标框[“x”，“2”]，“+”，行框[{“101”，“”，上标框[“y”，“2”]}]}]，“\[Equal]”，上标框[“z”，“2”]}]，“&&”，行框[{行框[{上标框[“x”，“2”]，“-”，行框[{“101”，“”，上标框[“y”，“2”]}]}]，“\[Equal]”，上标框[“t”，“2”]}]，“&&”，RowBox[｛“x”，“>”，“0”｝]，“&&”，行框[{“y”，“>”，“0”}]，“&&”，行框[{“z”，“>”，“0”}]，“&&”，行框[{“t”，“>”，“0”}]}]，“，”，行框[{“{”，行框[{“x”，“，”，“y”，“，“]”}]}]，“}”}]]，“输出”]}，打开]]，单元格[CellGroupData[{单元格[BoxData[行框[{行框[{“With”，“[”，行框[{行框[{“{”，行框[{“a”，“=”，“101”}]，“}”}]，“，”，“\[IndentingNewLine]”，行框[{行框[{行框[{行框[{“x”，“^”，“2”}]，“+”，行框[{“a”，“”，行框[{“y”，“^”，“2”}]}]，“\[相等]”，行框[{“z”，“^”，“2”}]}]，“&&”，行框[{行框[{行框[{“x”，“^”，“2”}]，“-”，行框[{“a”，“”，行框[{“y”，“^”，“2”}]}]，“\[相等]”，行框[{“t”，“^”，“2”}]}]}]，“\[IndentingNewLine]”，“]”}]，”/.“，行框[{“{”，行框[{行框[{“x”，“->”，“201524246294970001961”}]，“，”，行框[{“y”，“->”，“118171431852779451900”}]，“，”，行框[{“z”，“->”，“2339148435306225006961”}]，“，”，RowBox[｛“t”，“->”，“1628124370727269996961”｝]｝]，“｝”｝]｝]]，“输入”]，单元格[BoxData[“True”]，“Output”]}，打开]]}，打开]]}，打开]]}，窗口大小->{520，715}，窗口边距->{{自动，358}，{自动化，0}}，FrontEndVersion->“9.0 for Mac OS X x86（32位、64位内核）（3月5日\2013)",样式定义->“Default.nb”]（*笔记本内容结束*）（*内部缓存信息*）（*单元格标签大纲单元格标签索引->{“信息3278606388-1212546”->{单元格[3169129502，101119，“打印”，CellTags->“信息3278606388-1212546”]}}*)（*单元格标签索引单元格标签索引->{{“信息3278606388-1212546”，11728，398}}*)（*笔记本文件大纲笔记本[{单元格[CellGroupData[{单元格[579，22，33，0，92，“标题”]，单元格[CellGroupData[{单元格[637，26，28，0，44，“小节”]，单元格[668，28，59，3，49，“文本”]，单元格[730，33，305，9，68，“文本”]，单元格[1038，44，305，10，49，“文本”]，单元格[1346，56，99，2，49，“文本”]}，打开]]，单元格[CellGroupData[{单元格[1482，63，134，5，80，“部分”]，单元格[CellGroupData[{单元格[1641，72，740，23，63，“输入”]，单元格[2384，97，690，24，82，“输出”]}，打开]]，单元格[CellGroupData[{单元格[3111，126，55，1，28，“输入”]，单元格[3169，129，502，10，119，“打印”，CellTags->“信息3278606388-1212546”]}，打开]]，单元格[CellGroupData[{单元格[3708，144，872，26，97，“输入”]，手机[4583，172，381，7，70，“信息”]，单元格[4967，181，689，22，70，“输出”]}，打开]]，单元格[CellGroupData[{单元格[5693，208，1165，33，70，“输入”]，手机[6861，243，381，7，70，“信息”]，单元格[7245，252，825，25，70，“输出”]}，打开]]，单元格[CellGroupData[{单元格[8107，282，1165，33，70，“输入”]，手机[9275，317，381，7，70，“信息”]，单元格[9659，326，813，25，70，“输出”]}，打开]]，单元格[CellGroupData[{单元格[10509、356、828、24、70，“输入”]，单元格[11340，382，31，0，70，“输出”]}，打开]]}，打开]]}，打开]]}]*)（*内部缓存信息结束*）