Pascal Triangle and Prime Numbers - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T02:08:23Z http://mathoverflow.net/feeds/question/9181 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/9181/pascal-triangle-and-prime-numbers Pascal Triangle and Prime Numbers Alix Axel 2009-12-17T16:37:23Z 2010-05-14T18:03:08Z <p>My <a href="http://stackoverflow.com/questions/1922846/pascal-triangle-and-prime-numbers" rel="nofollow">question @ StackOverflow</a> just got closed as not programing related so I'm posting here.</p> <p>Please refer to the question @ SO, since:</p> <ul> <li>sorry, new users can only post a maximum of one hyperlink</li> <li>sorry, new users aren't allowed to use image tags</li> </ul> <p>[Edited to include enough links and images by GJK.]</p> <p><hr /></p> <p>Back in the days when I was in high-school I developed a big interest about number theory specifically prime numbers and prefect numbers, I used to stay awake all night long with a bunch of sketch papers trying to come up with a formula to generate / test prime numbers. I discovered a lot of things by my own like $p(p + 1)/2$ is a perfect number when p is a <a href="http://en.wikipedia.org/wiki/Mersenne%5Fprime" rel="nofollow">Mersenne prime</a>.</p> <p>I was so obsessed back then that I used to make mental calculations when I was asleep, I remember one day waking up really excited because I had discovered that $2^p - 2 = 0 \pmod p$ when $p$ is a prime, only to discover a few weeks later that Pierre de Fermat had <a href="http://en.wikipedia.org/wiki/Fermat%5Fprimality%5Ftest" rel="nofollow">a similar idea</a> but, unfortunately it didn't work for <a href="http://en.wikipedia.org/wiki/Pseudoprime" rel="nofollow">pseudoprimes</a>. I was very disappointed back then and I started playing with the <a href="http://en.wikipedia.org/wiki/Pascal%5Ftriangle" rel="nofollow">Pascal triangle</a>.</p> <p>Blaise Pascal, Marin Mersenne and Pierre de Fermat were contemporaneous and shared thoughts with letters, in fact if you think a bit both the Mersenne prime formula and the Fermat primality test seem to be closely related with the rows of the Pascal triangle (the sum of all numbers in row $n$ is $2^n$ where the first and last numbers are $1$, hence the $-1$ in the Mersenne formula and $-1$ or $-2$ in the primality tests).</p> <p>I coded a Pascal Triangle generator with PHP and HTML that highlighted all the numbers that were multiples of a specific number and the results amazed me, and until this day I don't know why this happens and I would very much like to know why. Instead of trying to explain, I'll post here the images.</p> <p><strong>Composite Example:</strong></p> <p><img src="http://i48.tinypic.com/23jsnyq.jpg" alt="multiples of 6" /></p> <p><strong>Prime Example:</strong></p> <p><img src="http://i50.tinypic.com/xp0due.jpg" alt="multiples of 2" /></p> <p>I think the difference [between the prime and composite cases] is obvious, but if you're confused just say so and I'll try to go into it a bit more...</p> <p><strong>Can anyone explain me why does this happens?</strong></p> http://mathoverflow.net/questions/9181/pascal-triangle-and-prime-numbers/9183#9183 Answer by Michael Lugo for Pascal Triangle and Prime Numbers Michael Lugo 2009-12-17T16:55:36Z 2009-12-17T16:55:36Z <p>The mod 2 case is related to the <a href="http://en.wikipedia.org/wiki/Sierpinski_triangle" rel="nofollow">Sierpinski triangle</a>.</p> http://mathoverflow.net/questions/9181/pascal-triangle-and-prime-numbers/9186#9186 Answer by Harrison Brown for Pascal Triangle and Prime Numbers Harrison Brown 2009-12-17T17:04:56Z 2009-12-17T17:10:39Z <p>I'm not convinced this is MO-appropriate, but I'm posting an answer 'cause what I'd have to say is probably too long for a comment.</p> <p>Expanding on Reid's comment. Yeah, Lucas' theorem is nice. Lucas' theorem is one of a fair number of combinatorial results which can be thought of as "first steps towards p-adic numbers." What's that mean? There's a "different" absolute value that you can define on rational numbers, which has a lot of the same properties as the usual absolute value, but in other ways behaves totally differently. Actually there are an infinite number of these guys, one for every prime p! It's called the p-adic absolute value, and you can read about it <a href="http://en.wikipedia.org/wiki/P-adic%5Fnumber" rel="nofollow">here</a>. </p> <p>What the p-adic numbers do is help you get around the following obstacle: Say you want to tell whether a quotient of two numbers, a/b, is divisible by p. (We'll assume for now that a/b is definitely an integer, although this ends up not mattering at all. But "divisibility" is a trickier notion for non-integers.) If a is divisible by p and b isn't, then it's obvious that a/b is; if a isn't divisible by p, then of course a/b isn't. But things get tough if both a and b are divisible by p; it could happen that a is divisible by p^2, and b is divisible by p but not p^2. Or that a is divisible by p^17, and b is divisible by p^14 but not p^15. You see how this gets confusing! The p-adic absolute value encodes this sort of information for you. </p> <p>This also mentions why we don't work with, say, 10-adic numbers in mathematics; it's because if you take the integers but consider two integers to be the same if they have the same remainder when you divide by n, you can still multiply and add and subtract perfectly well. So you get something called a ring. And if n is prime, you can also divide numbers! (Well, you can't divide by 0, or by a multiple of the prime, which is "the same as" 0. But this is true no matter what, so it's not a real problem.) But this isn't true for composites.</p> <p>Anyway, the patterns for primes in Pascal's triangle are pretty well known. Google "Pascal's triangle modulo" (without quotes, probably) to find more stuff. Composites don't behave as nicely, for the reasons Wikipedia and I both briefly mentioned, but powers of primes do have interesting patterns, which you can read about in <a href="http://mathdl.maa.org/mathDL/22/?pa=content&amp;sa=viewDocument&amp;nodeId=2709&amp;pf=1" rel="nofollow">this</a> wonderfully-titled paper.</p> <p>Hope this helps!</p> http://mathoverflow.net/questions/9181/pascal-triangle-and-prime-numbers/9189#9189 Answer by Dan for Pascal Triangle and Prime Numbers Dan 2009-12-17T17:52:43Z 2009-12-17T17:52:43Z <p>Looks like some people already came up with some better answers, so I'll just quickly mention that you may like solving problems on ProjectEuler.net as some of the problems are right up this way of thinking.</p> <p>For one of the problems I created the following way to determine the number of times p divides M choose N:</p> <pre><code>M!/(N!*(M-N)!) K(M,p)-K(N,p)-K(M-N,p) Where K(X,p) is the number of times p divides X! and is equal to: K(X,p)=Floor(X/p)+Floor(X/p^2)+Floor(X/p^3)+... </code></pre> <p>(Quick explination: Even for each p^2 bellow X there are two factors of p added to the product, but one was already counted in Floor(X/p), so we just add the extra one for the new power of p)</p> <p>Probably not original, but it was fun to come up with it.</p> <p>Dan</p> http://mathoverflow.net/questions/9181/pascal-triangle-and-prime-numbers/24590#24590 Answer by Foafo Smyth for Pascal Triangle and Prime Numbers Foafo Smyth 2010-05-14T07:35:24Z 2010-05-14T07:35:24Z <p>Considering the "Pascal Triangle as an integer" phenomenon (can be found on google)... and that I cannot calculate or be sure that this answer is proofed... If lines of Pascal's triangle are a test for primes Then ... (maybe) you can just get and test line N this way: Using arbitrary precision integer arithmetic, in base N, calculate N to the power of (1000 to the power of the number of digits in the catalan number, plus 1), remembering that the 1000+1=10...01 is in base N and there must be an even number of zeroes in it.</p> <p>Arbitrary precision integer arithmetic powers can be done easily in Binary when the Binary Multiply algorithm uses shift-and-multiply instead of shift-and-add. But don't be confused by this "easy powers" method... because it should be done in Base N, and the phenomenon suggested to search for can produce all powers with a single fraction in any base, and makes P-Triangle as if it were the powers of 11 in ANY arbitrary integer base. Which way is faster should decide which way to calculate it.</p> <p>The calculation will sooner or later produce the line N, in Base N, and you will know N is prime if the Number calculated as line N has 1 followed by N and multiples of N, separated by zeroes. Simple example: 100001 to the power of 7 should be 1000070002100035000210000700001. (Base 10) Obviously I overestimate the number to raise to the N for prime testing because the carries are to be avoided, and there Must be even zeroes inside the "11", and I can't guess at the moment how much precision would be needed. I should have used base 7 as the example, and if I did, you would get the obviously prime-proven result like 1001 to power 7, base 7 = 1010030050030010001, which nice and neatly, I think, proves it prime, since multiples of 7, base 7 are multiples of "10". (1,10,30,50,30,10,1 in properly aligned orders of magnitude per binomial coefficient)</p> <p>I am speaking for the discoverer of the phenomenon. </p> http://mathoverflow.net/questions/9181/pascal-triangle-and-prime-numbers/24644#24644 Answer by André Henriques for Pascal Triangle and Prime Numbers André Henriques 2010-05-14T18:00:56Z 2010-05-14T18:00:56Z <p>When considering the divisibility of binomial coefficients, it is very instructive to also look at q-binomial coefficients.</p> <p>The q-bimonal coefficient are polynomials in <i>q</i> defined by the formula ${{\textstyle a} \choose {\textstyle b}}_q = \frac{{\textstyle a}\underset{\textstyle .}q}{{\textstyle b}\underset{\textstyle .}q{\textstyle (a-b)}\underset{\textstyle .}q}$,<br> where ${\textstyle n}\underset{\textstyle .}{\scriptstyle q}:=(1-q)(1-q^2)(1-q^3)\ldots (1-q^n)$ denotes the <i>q</i>-factorial. They satisfy ${{\textstyle a} \choose {\textstyle b}}_q | _ { q = 1 } = {{\textstyle a} \choose {\textstyle b}}$.<br> The symbol is a "q" with a dot under it, to remind us of the "!" symbol. It's maybe not the most standard notation, but I find it irresistibly cute. See <a href="http://mathworld.wolfram.com/q-BinomialCoefficient.html" rel="nofollow">here</a> for a more detailed exposition, with somewhat more standard notations.</p> <p>Just like integer numbers can be factorized into primes, polynomials can be factored into irreducible polynomials. The polynomials that occur in the factorization of quantum binomial coefficients are the so-called cyclotomic polynomials &phi;<sub>n</sub>(<i>q</i>), of which there is one for every natural number <i>n</i>. For your problem, the relevant fact about cyclotomic polynomials is that &phi;<sub>n</sub>(1) is easy to compute. It's <i>p</i> when <i>n</i>= <i>p<sup>a</sup></i> for some prime numer <i>p</i>, and it's 1 otherwise. So if you have a factorization of some q-binomial coefficient into cyclotomic polynomials, you can deduce the prime number factorization of the corresponding usual binomial coefficients by plugging in <i>q</i>=0.</p> <p>Now, unlike for the usual binomial coefficients, the factorization of q-bimonal coefficient is multiplicity-free: no exponents! Moreover, it is much more easy to determine when &phi;<sub>n</sub> divides ${{\textstyle a} \choose {\textstyle b}}$: that happens if and only if (remainder of <i>b</i> modulo <i>n</i>) + (remainder of (<i>a</i>-1) modulo <i>n</i>) + 1 &lt; <i>n</i>. The latter condition corresponds to a pattern of triangles that is much more regular than the pictures you posted above. You obtain your picture by superimposing the various patterns I just described.</p> http://mathoverflow.net/questions/9181/pascal-triangle-and-prime-numbers/24647#24647 Answer by HenrikRüping for Pascal Triangle and Prime Numbers HenrikRüping 2010-05-14T18:03:08Z 2010-05-14T18:03:08Z <p>I also wanted to give a very short answer.Let $p$ be a prime number. It is easy to see, that the binomial coefficient $\left(p\atop n\right)$ is divisible by $p$ for $1\le n\le p-1$. So the $p$-th line looks like $1,0,0,\ldots,0,1$ mod $p$. Then by the recursive definition of the Pascal triangle a new triangle starts at the left and at the right (until they meet in the mid somewhere). And this process goes on and on. Probably the line $\left(p^2\atop *\right)$ is also a line with this property, etc. This explains the recursive nature of this phenomenom.</p>