{"id":38,"date":"2004-10-10T18:42:36","date_gmt":"2004-10-10T18:42:36","guid":{"rendered":"http:\/\/www.sixthform.info\/maths\/?p=38"},"modified":"2004-10-10T18:42:36","modified_gmt":"2004-10-10T18:42:36","slug":"primes","status":"publish","type":"post","link":"https:\/\/www.sixthform.info\/maths\/?p=38","title":{"rendered":"Primes"},"content":{"rendered":"<p><a href=\"http:\/\/www-history.mcs.st-and.ac.uk\/~history\/Mathematicians\/Euclid.html\" target=\"_blank\">Euclid&#8217;s<\/a> <a href=\"http:\/\/public.logica.com\/~stepneys\/cyc\/p\/primeprf.htm\" target=\"_blank\">proof<\/a> that there are an infinite number of primes is a classic and as such appears as the first proof in <a href=\"http:\/\/www.amazon.co.uk\/exec\/obidos\/ASIN\/3540678654\/o\/qid=1006458270\/sr=8-1\/ref=sr_aps_b_1_1\/026-5628463-5848460\" target=\"_blank\">Proofs from The Book<\/a>.<br \/>\nEqually well-known is the formula (known as <a href=\"http:\/\/en.wikipedia.org\/wiki\/Prime_number_theorem\" target=\"_blank\">The Prime Number Theorem<\/a>) which tells you that the number of primes <img src='\/maths\/latexrender\/pictures\/e5cb16c20d9f01bbbfe8f299e28d1f4b.gif' title='\\pi(x)' alt='\\pi(x)' align=absmiddle> less than <img src='\/maths\/latexrender\/pictures\/9dd4e461268c8034f5c8564e155c67a6.gif' title='x' alt='x' align=absmiddle> is given by <img src='\/maths\/latexrender\/pictures\/6634724f2da08062362a2b094368ff23.gif' title='\\pi(x)\\sim \\dfrac{x}{\\log x}' alt='\\pi(x)\\sim \\dfrac{x}{\\log x}' align=absmiddle> which means that the larger the value of <img src='\/maths\/latexrender\/pictures\/9dd4e461268c8034f5c8564e155c67a6.gif' title='x' alt='x' align=absmiddle> the closer (in a well-defined mathematical sense) <img src='\/maths\/latexrender\/pictures\/fb2fa5a1a0692741c5afd51f50b9d621.gif' title='\\dfrac{x}{\\log x}' alt='\\dfrac{x}{\\log x}' align=absmiddle> is to <img src='\/maths\/latexrender\/pictures\/e5cb16c20d9f01bbbfe8f299e28d1f4b.gif' title='\\pi(x)' alt='\\pi(x)' align=absmiddle>. This is quite hard to prove.<\/p>\n<p>An easier, but non-trivial result, is Bertrand&#8217;s postulate which says that there is always a prime between <img src='\/maths\/latexrender\/pictures\/7b8b965ad4bca0e41ab51de7b31363a1.gif' title='n' alt='n' align=absmiddle> and <img src='\/maths\/latexrender\/pictures\/21e2c0c0472b331622877accbe29b91b.gif' title='2n' alt='2n' align=absmiddle>.<\/p>\n<p>The fact that there are arbitrarily large gaps between successive primes is not difficult to prove. Suppose we want to find a gap between successive primes which is at least of size <img src='\/maths\/latexrender\/pictures\/8d9c307cb7f3c4a32822a51922d1ceaa.gif' title='N' alt='N' align=absmiddle>. Then we look at the numbers<\/p>\n<ul><img src='\/maths\/latexrender\/pictures\/c70191d2a31f8dbe3ea1030d5be4c7ef.gif' title='N!+2,N!+3,N!+4,\\ldots,N!+(N-1),N!+N' alt='N!+2,N!+3,N!+4,\\ldots,N!+(N-1),N!+N' align=absmiddle><\/ul>\n<p> Then each of these numbers is not prime. Why? Look at <img src='\/maths\/latexrender\/pictures\/5dd1e3d1e0ae083f9b6cf1dca5726229.gif' title='N!+a' alt='N!+a' align=absmiddle> where <img src='\/maths\/latexrender\/pictures\/1aab22d8a78e4df157a34d07e9419bcd.gif' title='2 \\leq a \\leq N' alt='2 \\leq a \\leq N' align=absmiddle>. Then <img src='\/maths\/latexrender\/pictures\/0cc175b9c0f1b6a831c399e269772661.gif' title='a' alt='a' align=absmiddle> divides both <img src='\/maths\/latexrender\/pictures\/3e90a418f96ec0edccf92cedc72422ca.gif' title='N!' alt='N!' align=absmiddle> and <img src='\/maths\/latexrender\/pictures\/0cc175b9c0f1b6a831c399e269772661.gif' title='a' alt='a' align=absmiddle> and so divides <img src='\/maths\/latexrender\/pictures\/5dd1e3d1e0ae083f9b6cf1dca5726229.gif' title='N!+a' alt='N!+a' align=absmiddle>. Clearly <img src='\/maths\/latexrender\/pictures\/39c84e717dd594b4f5d0e08458e461e5.gif' title='a&lt;N!+a' alt='a&lt;N!+a' align=absmiddle> so <img src='\/maths\/latexrender\/pictures\/dac6b9554576a3c5ab3689cd231d3028.gif' title='N!+a=a \\times \\frac{N!+a}{a}' alt='N!+a=a \\times \\frac{N!+a}{a}' align=absmiddle> shows <img src='\/maths\/latexrender\/pictures\/5dd1e3d1e0ae083f9b6cf1dca5726229.gif' title='N!+a' alt='N!+a' align=absmiddle> is not prime.<br \/>\nSo we have a series of <img src='\/maths\/latexrender\/pictures\/5b1ba2fe7e642d05d58d3df27466b069.gif' title='N-1' alt='N-1' align=absmiddle> numbers all of which are not prime; thus the gap between a prime less than <img src='\/maths\/latexrender\/pictures\/498234dcf515dc31e3ddb003ef41cc62.gif' title='N!+2' alt='N!+2' align=absmiddle> and a prime more than <img src='\/maths\/latexrender\/pictures\/7b68ee42415470f3ac33c9793b6fa29e.gif' title='N!+N' alt='N!+N' align=absmiddle> is at least <img src='\/maths\/latexrender\/pictures\/8d9c307cb7f3c4a32822a51922d1ceaa.gif' title='N' alt='N' align=absmiddle>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Euclid&#8217;s proof that there are an infinite number of primes is a classic and as such appears as the first proof in Proofs from The Book. Equally well-known is the formula (known as The Prime Number Theorem) which tells you that the number of primes less than is given by which means that the larger [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-38","post","type-post","status-publish","format-standard","hentry","category-articles"],"_links":{"self":[{"href":"https:\/\/www.sixthform.info\/maths\/index.php?rest_route=\/wp\/v2\/posts\/38","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.sixthform.info\/maths\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.sixthform.info\/maths\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.sixthform.info\/maths\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.sixthform.info\/maths\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=38"}],"version-history":[{"count":0,"href":"https:\/\/www.sixthform.info\/maths\/index.php?rest_route=\/wp\/v2\/posts\/38\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.sixthform.info\/maths\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=38"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.sixthform.info\/maths\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=38"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.sixthform.info\/maths\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=38"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}