{"id":3622,"date":"2023-11-23T08:05:45","date_gmt":"2023-11-23T13:05:45","guid":{"rendered":"https:\/\/sites.williams.edu\/Morgan\/?page_id=3622"},"modified":"2023-11-23T08:05:45","modified_gmt":"2023-11-23T13:05:45","slug":"readers-fault-one-page-proof-of-fermat","status":"publish","type":"page","link":"https:\/\/sites.williams.edu\/Morgan\/math-chat-archives\/readers-fault-one-page-proof-of-fermat\/","title":{"rendered":"READERS FAULT ONE-PAGE PROOF OF FERMAT"},"content":{"rendered":"<p>March 4, 1999<\/p>\n<p>&nbsp;<\/p>\n<p>This Math Chat reveals the flaw in the short proof of Fermat&#8217;s Last Theorem, provides a new challenge question, and gives this week&#8217;s somewhat lengthy math joke.<\/p>\n<p><b>OLD CHALLENGE.<\/b>\u00a0Critique the following short proof of Fermat&#8217;s Last Theorem sent in by reader Rob Connelly. (In perhaps the biggest mathematics news of the century, Andrew Wiles recently came up with a very long and complicated proof to this 350-year old problem.)<\/p>\n<p>Fermat&#8217;s Last Theorem. The equation<\/p>\n<p>(1) x<sup>n<\/sup>\u00a0+ y<sup>n<\/sup>\u00a0= z<sup>n<\/sup><\/p>\n<p>has no positive integer solutions for n &gt; 2.<\/p>\n<p>Proposed proof. Suppose there were such a solution. Since x\u00a0<img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/mathchat.org\/unequal.gif\" alt=\"Unequal\" width=\"9\" height=\"8\" \/>\u00a0y, we may suppose x = y + a, z = y + b, with b &gt; a positive integers. Consider the integer N defined by<\/p>\n<p>(2) z<sup>n -1<\/sup>\u00a0= x<sup>n-1<\/sup>\u00a0+ y<sup>n-1<\/sup>\u00a0+ N.<\/p>\n<p>Then<\/p>\n<p>x<sup>n<\/sup>\u00a0+ y<sup>n<\/sup>\u00a0= z<sup>n<\/sup>\u00a0= z(x<sup>n-1<\/sup>\u00a0+ y<sup>n-1<\/sup>\u00a0+ N).<\/p>\n<p>Solving for N yields:<\/p>\n<p>N = [(y+a)<sup>n-1<\/sup>\u00a0(a-b) + y<sup>n-1<\/sup>\u00a0(-b)]\/(y+b) = [F(y)]\/(y+b) ,<\/p>\n<p>so y+b divides F(y) and<\/p>\n<p>(*) 0 = F(-b) = (a-b)<sup>n<\/sup>\u00a0+ (-b)<sup>n<\/sup>\u00a00 = (b-a)<sup>n<\/sup>\u00a0+ b<sup>n<\/sup>\u00a0&gt; 0,<\/p>\n<p>the desired contradiction.<\/p>\n<p><b>ANSWER.<\/b>\u00a0Luke Gustafson and John Snygg give the best account of the mistake in line (*). It is true that if as expressions in a variable y, y+b divides F(y), then y+b must be a factor of F(y) and F(-b) must be 0. But here, y is a constant, and just because the constant y+b divides the constant F(y), it does not follow that F(-b) = 0.<\/p>\n<p>Elliot Kearsley also points out that the proof, if correct, would apply as well to the false case n = 2. John Robertson also reports that &#8220;I have found an error in Wiles&#8217;s official published proof of Fermat&#8217;s Last Theorem,&#8221; but then admits that it is just an insignificant typo.<\/p>\n<p><b>NEW CHALLENGE.<\/b>\u00a0Which countries in the world have a point such that the shortest line from every other point in the country stays inside the country? (Pretend that the world is round and smooth: ignore mountains and valleys.) Mathematicians call such countries\u00a0<i>starlike<\/i>. Are there any countries such that the shortest line between any two points stays in the country? Mathematicians call such countries\u00a0<i>convex<\/i>.<\/p>\n<p><b>JOKE.<\/b>\u00a0This week&#8217;s winning math joke comes from Eric Brahinsky. Curious scholars at a world mathematics conference are aghast when a man strolls to the lectern leading&#8211;a horse!<\/p>\n<p>&#8220;Ladies and gentlemen!&#8221; he announces, &#8220;Meet Dobbin, the world&#8217;s only equine mathematical genius! I invite you to submit problems to him, which he will solve with amazing speed!&#8221;<\/p>\n<p>The room is in an uproar, but an intrepid voice calls out, &#8220;9 times 3!&#8221;<\/p>\n<p>Over the din hoofbeats are heard. Twenty-seven of them. The room grows quiet. Then another voice. &#8220;Five cubed.&#8221; &#8230;. And 125 hoofbeats! &#8220;6 factorial!&#8221;&#8211;720 hoofbeats. Applause starts and gradually grows&#8230;.<\/p>\n<p>&#8220;Ladies and gentlemen: these are child&#8217;s play. Challenge him! I know you can do better than that!&#8221;<\/p>\n<p>&#8220;How many ways can 7 distinct objects be partitioned?&#8221; snickers one professor. His sneer fades as the horse stamps 877 times. &#8220;OK,&#8221; snaps another. &#8220;How many distinct factors does the square root of Skewes&#8217; number [one of the largest numbers ever to appear in mathematics] have?&#8221; With hooves tramping like trillions of troupes of flamenco dancers, Dobbin serenades the astonished gathering with exactly 2.5&#215;10<sup>(2&#215;1034-1<\/sup><sup>)<\/sup>+10<sup>1034<\/sup>\u00a0+1 clicks. &#8220;e to the i\u00a0<span style=\"font-family: Symbol\">p<\/span>!&#8221; Through some mysterious sleight-of-hoof, Dobbin responds with -1 click. Professors assail the heroic horse with the most complex problems in partial differential equations, chaos theory, even&#8230;geometric measure theory [Prof. Morgan&#8217;s field]. The horse never misses a beat. Dobbin remains unflappable and, evidently, infallible. Applause turns to wild cheering, (human) foot-stomping, cries of &#8220;Bravissimo!&#8221;<\/p>\n<p>Finally, the beaming presenter holds up one hand. &#8220;Ladies and gentlemen: I think we all agree we&#8217;ve witnessed a memorable display here. Now we have time for only one more problem, so make it a good one!&#8221;<\/p>\n<p>A handful of the world&#8217;s top mathematicians huddle together. Pencils are flying, calculators calculating, slide rules sliding, sadistic grins growing.<\/p>\n<p>Amidst all this, a young voice from the back yells, &#8220;I got one! I got one!&#8221; The gathered scholars turn to see a schoolgirl, maybe 15, with a tattered school text in one hand and the other hand raised and waving madly. Raucous laughter. One slightly annoyed professor says, &#8220;Young lady! The world&#8217;s top mathematical brains are laboring here. And I suppose you can do better???&#8221;<\/p>\n<p>&#8220;But I have one he can&#8217;t do. I know it. Please? Please?&#8221;<\/p>\n<p>The amused presenter says, &#8220;In all fairness, she did have hers ready first. Let&#8217;s hear it.&#8221;<\/p>\n<p>&#8220;OK. You&#8217;ve got a plane with perpendicular axes and each point identified by its Cartesian coordinates [named after Descartes]. What&#8217;s the distance from the origin to (1,0)?&#8221;<\/p>\n<p>Gales of laughter. &#8220;Come ON! That&#8217;s infantile! Go away and let us work!&#8221;<\/p>\n<p>&#8220;No! Make him answer! He can&#8217;t do it!&#8221; She strides straight to the front, looks Dobbin straight in the eye and shouts, &#8220;Answer it!&#8221;<\/p>\n<p>Dobbin twitches his tail a bit but otherwise just stands there. One prof says, &#8220;Hey, she&#8217;s a sweet kid. He really ought to answer. What&#8217;s the deal?&#8221; Others join in: &#8220;Yeah! What&#8217;s the matter, horse?&#8221;<\/p>\n<p>Dobbin&#8217;s tail twitches more, and his mane begins to toss. Nostrils flare. A slight lather can be seen on his flanks. But the assemblage listens in vain for that single click.<\/p>\n<p>&#8220;Well, obviously,&#8221; says the presenter, &#8220;such a silly trifle isn&#8217;t worth his time.&#8221; But by now a chant of &#8220;ANSWER IT! ANSWER IT!&#8221; has risen. The horse&#8217;s eyes are wild with fear. Finally, Dobbin rears up, neighs in terror, and bolts from the room&#8211;his humiliated owner running after him to calls of &#8220;Fraud! Charlatan!&#8221;&#8211;and worse.<\/p>\n<p>Back in the room, the hubbub eventually settles. One mathematician approaches the girl who had asked the question that brought Dobbin down. &#8220;It was such an easy question. How did you know?&#8221;<\/p>\n<p>&#8220;Oh, that&#8217;s simple. Everyone knows you can&#8217;t put Descartes before the horse.&#8221;<\/p>\n<p>Send answers, comments, and new questions by email to:<\/p>\n<p><a href=\"mailto:Frank.Morgan@williams.edu\">Frank.Morgan@williams.edu<\/a>, to be eligible for<i>\u00a0Flatland\u00a0<\/i>and other book awards. Winning answers will appear in the next Math Chat. Math Chat appears on the first and third Thursdays of each month. Prof. Morgan&#8217;s homepage is at<a href=\"http:\/\/www.williams.edu\/Mathematics\/fmorgan\">\u00a0www.williams.edu\/Mathematics\/fmorgan<\/a>.<\/p>\n<p>&nbsp;<\/p>\n<hr \/>\n<p>Copyright 1999, Frank Morgan.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>March 4, 1999 &nbsp; This Math Chat reveals the flaw in the short proof of Fermat&#8217;s Last Theorem, provides a new challenge question, and gives this week&#8217;s somewhat lengthy math joke. OLD CHALLENGE.\u00a0Critique the following short proof of Fermat&#8217;s Last Theorem sent in by reader Rob Connelly. (In perhaps the biggest mathematics news of the [&hellip;]<\/p>\n","protected":false},"author":2965,"featured_media":0,"parent":3459,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"footnotes":""},"class_list":["post-3622","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/pages\/3622","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/users\/2965"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/comments?post=3622"}],"version-history":[{"count":1,"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/pages\/3622\/revisions"}],"predecessor-version":[{"id":3623,"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/pages\/3622\/revisions\/3623"}],"up":[{"embeddable":true,"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/pages\/3459"}],"wp:attachment":[{"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/media?parent=3622"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}