wp-plugin-hostgator domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home4/scienrds/scienceandnerds/wp-includes/functions.php on line 6114ol-scrapes domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home4/scienrds/scienceandnerds/wp-includes/functions.php on line 6114Source:https:\/\/www.quantamagazine.org\/pierre-de-fermats-link-to-a-high-school-students-prime-math-proof-20231122\/#comments<\/a><\/br> Like many math students, I had dreams of mathematical greatness. I thought I was close once. A difficult algebra problem in college kept me working late into the night. After hours of struggle, I felt a breakthrough coming. I deftly manipulated expressions. I factored, multiplied and simplified, until my discovery finally revealed itself:<\/p>\n $latex 1 + 1 = 2$.<\/p>\n I couldn\u2019t help but laugh. The world already knew that $latex 1 + 1 = 2$, so \u201cHonner\u2019s theorem\u201d was not to be. And although many young mathematicians have experienced the disappointment of the not-quite-breakthrough, the remarkable story of Daniel Larsen<\/a> keeps the dream alive.<\/p>\n Larsen was a high school student in 2022 when he proved a result about a certain kind of number that had eluded mathematicians for decades. He proved that Carmichael numbers \u2014 a curious kind of not-quite-prime number \u2014 could be found more frequently than was previously known, establishing a new theorem that will forever be associated with his work. So, what are Carmichael numbers? To answer that, we need to go back in time.<\/p>\n Pierre de Fermat has his name on one of the most famous theorems in mathematics. For over 300 years, Fermat\u2019s Last Theorem stood as the ultimate symbol of unachievable mathematical greatness. In the 1600s, Fermat scribbled a note about his proposed theorem in a book he was reading, claiming to know how to prove it without providing any details. Mathematicians attempted to solve the problem themselves until the 1990s, when Andrew Wiles finally proved it using new techniques discovered hundreds of years after Fermat died.<\/p>\n But it\u2019s Fermat\u2019s less famous \u201clittle theorem\u201d that relates to Carmichael numbers. Here\u2019s one way to state it:<\/p>\n Given a prime number $latex p$, then for any integer $latex a$, the quantity $latex a^p \u2013 a$ is divisible by $latex p$.<\/p>\n For example, take the prime $latex p = 11$ and the integer $latex a = 2$. Fermat\u2019s little theorem says that $latex 2^{11} \u2013 2 = 2046$ is divisible by 11, and it is: $latex 2046 div 11 = 186$. Or take $latex p = 7$ and $latex a = 4$: $latex 4^7 \u2013 4 = 16380 = 7 times 2340$, so $latex 4^7 \u2013 4$ is indeed divisible by 7.<\/p>\n Unlike with Fermat\u2019s Last Theorem, it didn\u2019t take 300 years to resolve his little theorem. Leonhard Euler published a proof less than a century later. And because it\u2019s about prime numbers, people found ways to use it.<\/p>\n One way to use Fermat\u2019s little theorem is to show that a number is not a prime. Let\u2019s say you\u2019re wondering if 21 is prime or not. If 21 were prime, then according to Fermat\u2019s little theorem, for any integer $latex a$, $latex a^{21}$ \u2013 $latex a$ would have to be divisible by 21. But if you try out some values of $latex a$ you see that this doesn\u2019t work. For example, $latex 2^{21} \u2013 2 = 2097150$, which is not a multiple of 21. Therefore, because it doesn\u2019t satisfy Fermat\u2019s little theorem, 21 can\u2019t be a prime.<\/p>\n This may seem like a silly way to check if a number is prime. After all, we know $latex 21 = 3 times 7$. But checking whether large numbers are prime is a time-consuming and important task in modern mathematics, so mathematicians are always looking for shortcuts. To that end, mathematicians have wondered if the converse of Fermat\u2019s little theorem might be true.<\/p>\n What\u2019s the converse of a theorem? You may remember from math class that a theorem can be thought of as a conditional statement of the form \u201cif P<\/em> then Q<\/em>.\u201d A theorem says that if the P<\/em> part (the antecedent or hypothesis) is true, then the Q<\/em> part (the consequent or conclusion) must also be true. The converse of a theorem is the statement you get when you switch the antecedent and consequent. So the converse of \u201cIf P<\/em> then Q<\/em>\u201d is the statement \u201cIf Q<\/em> then P<\/em>.\u201d<\/p>\n Let\u2019s consider the Pythagorean theorem. We\u2019re often told that it says $latex a^2 + b^2 = c^2$. But this isn\u2019t quite right. The Pythagorean theorem is really a conditional statement: It says that if a right triangle has side lengths $latex a$, $latex b$ and $latex c$, with $latex c$ being the length of the hypotenuse, then $latex a^2 + b^2 = c^2$. So what\u2019s its converse? It says that if a triangle\u2019s side lengths $latex a$, $latex b$ and $latex c$\u00a0satisfy the equation $latex a^2 + b^2 = c^2$, then it\u2019s a right triangle.<\/p>\n It\u2019s tempting to think that the converse of a theorem is always true, and many a student has fallen into that trap. The converse of the Pythagorean theorem happens to be true, which lets us conclude that a triangle with side lengths 9, 40 and 41 must be a right triangle since $latex 9^2 + 40^2 = 41^2$. But the converse of a true statement need not be true: For example, while it\u2019s true that if $latex x$ is a positive number, then $latex x^2$ is positive, the converse \u2014 if $latex x^2$ is a positive number, then $latex x$ is positive \u2014 isn\u2019t, since $latex (-1)^2$ is positive but \u22121 itself isn\u2019t.<\/p>\n It\u2019s good mathematical practice to explore the converse of a statement, and mathematicians looking for primality tests wanted to know if the converse of Fermat\u2019s little theorem was true. The converse says that, given an integer $latex q$, if the number $latex a^q \u2013 a$ is divisible by $latex q$ for any integer $latex a$, then $latex q$ must be a prime number. If this were true, it would sidestep some of the computational grunt work of checking whether $latex q$ is divisible by any numbers other than 1 and itself. As is so often the case in mathematics, this one question led to new questions, which ultimately led to some new mathematical ideas.<\/p>\n When you start exploring the converse of Fermat\u2019s little theorem, you\u2019ll discover that it\u2019s true for a lot of numbers. For example, for any integer $latex a$, the number $latex a^2 \u2013 a$ is divisible by 2. You can see this by factoring $latex a^2 \u2013 a$ as $latex a times (a-1)$. Since a<\/i> and $latex a \u2212 1$ are consecutive integers, one of them has to be even, and so their product must be divisible by 2.<\/p>\n Similar arguments show that $latex a^3 \u2013 a$ is always divisible by 3 and $latex a^5 \u2013 a$ is always divisible by 5 (see the exercises below for more details). So the converse of Fermat\u2019s little theorem holds for 3 and 5. The converse tells us what we expect for small non-prime numbers as well. If we use it to check whether 4 is prime or not, we\u2019ll compute $latex 2^4 \u2013 2$ and observe that 14 is not divisible by 4.<\/p>\n In fact, you can check all the way up to the number 561 and everything will point to the converse of Fermat\u2019s little theorem being true. Prime numbers less than 561 divide $latex a^p \u2013 a$ for every a<\/em>, and non-primes less than 561 don\u2019t. But that changes at 561. With some slightly advanced number theory it can be shown that $latex a^{561} \u2013 a$ is always divisible by 561, so if the converse of Fermat\u2019s little theorem were true, then 561 should be a prime. But it\u2019s not: $latex 561 = 3 \u00d7 11 \u00d7 17$. So the converse of Fermat\u2019s little theorem is false.<\/p>\n Mathematicians call numbers like 561 \u201cpseudoprime\u201d because they satisfy some conditions associated with being prime (like dividing $latex a^p \u2013 a$ for all a<\/em>) but aren\u2019t actually prime numbers. More counterexamples to the converse of Fermat\u2019s little theorem have been found \u2014 the next three are 1,105, 1,729 and 2,465. These became known as Carmichael numbers, named after the American mathematician Robert Carmichael. After they were discovered, new questions popped up: Are there other ways to identify Carmichael numbers? Do they have any other special properties? Are there infinitely many of them? If so, how frequently do they occur?<\/p>\n It was this last question that ultimately caught the attention of Daniel Larsen. Mathematicians had proved that there were indeed infinitely many Carmichael numbers, but to show this they had to construct Carmichael numbers that were very far apart. This left open the question of how these infinitely many Carmichael numbers are distributed along the number line. Are they always far apart by their nature, or might they occur with more frequency and regularity than this initial proof showed?<\/p>\n Such questions about pseudoprimes are reminiscent of similar and important questions about the primes themselves. Two thousand years ago, Euclid proved that there are infinitely many prime numbers, but it took much longer to understand how the primes are distributed throughout the number line. In the 1800s, Bertrand\u2019s postulate showed that for any $latex n > 3$, there is always a prime number between $latex n$ and $latex 2n$. This gives us some idea of how often to expect primes as we make our way along the number line.<\/p>\n Mathematicians wondered if some version of Bertrand\u2019s postulate was true for Carmichael numbers. Daniel Larsen wondered, too, and building on the work of some famous modern mathematicians \u2014 the Fields medalists James Maynard<\/a> and Terence Tao, among others \u2014 he turned his curiosity<\/a> into a new result about how Carmichael numbers are distributed. And while young mathematicians probably shouldn\u2019t expect to achieve as much while completing tonight\u2019s homework, Daniel Larsen\u2019s hard work, perseverance and success should inspire them to push forward, even if they\u2019re re-proving something we already know<\/a>.<\/span><\/p>\n<\/div>\n <\/br><\/br><\/br><\/p>\n
\nPierre de Fermat\u2019s Link to a High School Student\u2019s Prime Math Proof<\/br>
\n2023-11-26 21:58:25<\/br><\/p>\n