(* Content-type: application/vnd.wolfram.mathematica *) (*** Wolfram Notebook File ***) (* http://www.wolfram.com/nb *) (* CreatedBy='Mathematica 9.0' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 157, 7] NotebookDataLength[ 7690, 299] NotebookOptionsPosition[ 6331, 244] NotebookOutlinePosition[ 6705, 261] CellTagsIndexPosition[ 6662, 258] WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell[CellGroupData[{ Cell["Fermat's Last Theorem", "Title"], Cell[CellGroupData[{ Cell["Author", "Subsection"], Cell["\<\ Eric W. Weisstein January 5, 2006\ \>", "Text"], Cell[TextData[{ "This notebook downloaded from ", ButtonBox["http://mathworld.wolfram.com/notebooks/DiophantineEquations/\ FermatsLastTheorem.nb", BaseStyle->"Hyperlink", ButtonData:>{ URL["http://mathworld.wolfram.com/notebooks/DiophantineEquations/\ FermatsLastTheorem.nb"], None}], "." }], "Text"], Cell[TextData[{ "For more information, see Eric's ", StyleBox["MathWorld", FontSlant->"Italic"], " entry ", ButtonBox["http://mathworld.wolfram.com/FermatsLastTheorem.html", BaseStyle->"Hyperlink", ButtonData:>{ URL["http://mathworld.wolfram.com/FermatsLastTheorem.html"], None}], "." }], "Text"], Cell["\<\ \[Copyright]2006 Wolfram Research, Inc. except for portions noted otherwise\ \>", "Text"] }, Open ]], Cell[CellGroupData[{ Cell["Simpson's Fallacious Counterexample", "Section"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"num", "=", RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"1782", "^", "12"}], "+", RowBox[{"1841", "^", "12"}]}], ",", RowBox[{"1922", "^", "12"}]}], "}"}]}]], "Input"], Cell[BoxData[ RowBox[{"{", RowBox[{ "2541210258614589176288669958142428526657", ",", "2541210259314801410819278649643651567616"}], "}"}]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"Position", "[", RowBox[{ RowBox[{"Equal", "@@@", RowBox[{"Transpose", "[", RowBox[{"IntegerDigits", "/@", "num"}], "]"}]}], ",", "False", ",", "1", ",", "1"}], "]"}], "[", RowBox[{"[", RowBox[{"1", ",", "1"}], "]"}], "]"}], "-", "1"}]], "Input"], Cell[BoxData["9"], "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["\"Proof\"", "Section"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"FullSimplify", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{"x", "^", "n"}], "+", RowBox[{"y", "^", "n"}]}], "\[Equal]", RowBox[{"z", "^", "n"}]}], ",", RowBox[{ RowBox[{"Element", "[", RowBox[{ RowBox[{"x", "|", "y", "|", "z", "|", "n"}], ",", "Integers"}], "]"}], "&&", RowBox[{"n", ">", "2"}], "&&", RowBox[{ RowBox[{"x", " ", "y", " ", "z"}], "\[NotEqual]", "0"}]}]}], "]"}]], "Input"], Cell[BoxData["False"], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"TimeConstrained", "[", RowBox[{ RowBox[{"Reduce", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"x", "^", "n"}], "+", RowBox[{"y", "^", "n"}]}], "\[Equal]", RowBox[{"z", "^", "n"}]}], "&&", RowBox[{"Element", "[", RowBox[{ RowBox[{"x", "|", "y", "|", "z", "|", "n"}], ",", "Integers"}], "]"}], "&&", RowBox[{"n", ">", "2"}], "&&", RowBox[{ RowBox[{"x", " ", "y", " ", "z"}], "\[NotEqual]", "0"}]}], ",", RowBox[{"{", RowBox[{"x", ",", "y", ",", "z", ",", "n"}], "}"}]}], "]"}], ",", "3600"}], "]"}], "//", "Timing"}]], "Input"], Cell[BoxData[ RowBox[{"{", RowBox[{"3439.4152299999996`", ",", "$Aborted"}], "}"}]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Reduce", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{ RowBox[{"x", "^", "n"}], "+", RowBox[{"y", "^", "n"}]}], "\[Equal]", RowBox[{"z", "^", "n"}]}], "&&", RowBox[{"n", ">", "2"}], "&&", RowBox[{ RowBox[{"x", " ", "y", " ", "z"}], "\[NotEqual]", "0"}]}], ",", RowBox[{"{", RowBox[{"x", ",", "y", ",", "z", ",", "n"}], "}"}], ",", "Integers"}], "]"}]], "Input"], Cell[BoxData[ RowBox[{ RowBox[{"Reduce", "::", "\<\"nsmet\"\>"}], ":", " ", "\<\"\\!\\(\\*StyleBox[\\\"\\\\\\\"This system cannot be solved with \ the methods available to Reduce.\\\\\\\"\\\", \\\"MT\\\"]\\) \ \\!\\(\\*ButtonBox[\\\"\[RightSkeleton]\\\", ButtonStyle->\\\"Link\\\", \ ButtonFrame->None, ButtonData:>\\\"paclet:ref/Reduce\\\", ButtonNote -> \ \\\"Reduce::nsmet\\\"]\\)\"\>"}]], "Message", "MSG"], Cell[BoxData[ RowBox[{"Reduce", "[", RowBox[{ RowBox[{ RowBox[{ RowBox[{ SuperscriptBox["x", "n"], "+", SuperscriptBox["y", "n"]}], "\[Equal]", SuperscriptBox["z", "n"]}], "&&", RowBox[{"n", ">", "2"}], "&&", RowBox[{ RowBox[{"x", " ", "y", " ", "z"}], "\[NotEqual]", "0"}]}], ",", RowBox[{"{", RowBox[{"x", ",", "y", ",", "z", ",", "n"}], "}"}], ",", "Integers"}], "]"}]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Exists", "[", RowBox[{ RowBox[{"{", RowBox[{"x", ",", "y", ",", "z", ",", "n"}], "}"}], ",", RowBox[{ RowBox[{"Element", "[", RowBox[{ RowBox[{"x", "|", "y", "|", "z", "|", "n"}], ",", "Integers"}], "]"}], "&&", RowBox[{"n", ">", "2"}], "&&", RowBox[{ RowBox[{"x", " ", "y", " ", "z"}], "\[NotEqual]", "0"}]}], ",", RowBox[{ RowBox[{ RowBox[{"x", "^", "n"}], "+", RowBox[{"y", "^", "n"}]}], "\[Equal]", RowBox[{"z", "^", "n"}]}]}], "]"}]], "Input"], Cell[BoxData[ RowBox[{ SubscriptBox["\[Exists]", RowBox[{ RowBox[{"{", RowBox[{"x", ",", "y", ",", "z", ",", "n"}], "}"}], ",", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"x", "|", "y", "|", "z", "|", "n"}], ")"}], "\[Element]", "Integers"}], "&&", RowBox[{"n", ">", "2"}], "&&", RowBox[{ RowBox[{"x", " ", "y", " ", "z"}], "\[NotEqual]", "0"}]}]}]], RowBox[{ RowBox[{ SuperscriptBox["x", "n"], "+", SuperscriptBox["y", "n"]}], "\[Equal]", SuperscriptBox["z", "n"]}]}]], "Output"] }, Open ]] }, Open ]] }, Open ]] }, WindowSize->{762, 710}, WindowMargins->{{84, Automatic}, {21, Automatic}}, ShowSelection->True, FrontEndVersion->"9.0 for Mac OS X x86 (32-bit, 64-bit Kernel) (March 5, \ 2013)", StyleDefinitions->"Default.nb" ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[579, 22, 38, 0, 92, "Title"], Cell[CellGroupData[{ Cell[642, 26, 28, 0, 44, "Subsection"], Cell[673, 28, 57, 3, 49, "Text"], Cell[733, 33, 311, 9, 49, "Text"], Cell[1047, 44, 311, 10, 49, "Text"], Cell[1361, 56, 99, 2, 30, "Text"] }, Open ]], Cell[CellGroupData[{ Cell[1497, 63, 54, 0, 80, "Section"], Cell[CellGroupData[{ Cell[1576, 67, 212, 7, 28, "Input"], Cell[1791, 76, 158, 4, 46, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[1986, 85, 332, 10, 46, "Input"], Cell[2321, 97, 28, 0, 28, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[2398, 103, 28, 0, 80, "Section"], Cell[CellGroupData[{ Cell[2451, 107, 472, 15, 31, "Input"], Cell[2926, 124, 32, 0, 28, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[2995, 129, 707, 21, 64, "Input"], Cell[3705, 152, 98, 2, 28, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[3840, 159, 441, 14, 28, "Input"], Cell[4284, 175, 416, 7, 70, "Message"], Cell[4703, 184, 445, 14, 70, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[5185, 203, 542, 16, 70, "Input"], Cell[5730, 221, 561, 18, 70, "Output"] }, Open ]] }, Open ]] }, Open ]] } ] *) (* End of internal cache information *)