Not a Multiple of 72

What is the product of all primes p p such that p 4 + p 2 2 p^4 +p^2 - 2 is not a multiple of 72?

Note: The empty product (product of no integers) is 1.


The answer is 6.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

30 solutions

Anqi Li
Nov 10, 2013

The idea here when one sees the word prime is to factorise the given expression. This is because when we factorise, we can conclude that some of the products must be 1 1 , which helps limit the cases and we can also use coprime arguments to further reduce the cases to check manually.

The other idea is to try small cases . This comes in handy in most questions when you do not know how to start. For our question, we put in p = 2 p = 2 and we get 18 18 and p = 3 p = 3 gives 88 88 . However, p = 5 p = 5 and p = 7 p = 7 gives 648 648 and 2448 2448 respectively, both of which are divisible by 72 72 . This will definitely motivate us to conjecture that p = 2 , 3 p = 2,3 are the only solutions.

Now, turning back to idea 1, we factorise as follows, using the fact that ( ± 1 ) 4 + ( ± 1 ) 2 2 = 0 (±1)^4 + (±1)^2 - 2 = 0 , we easily get:

p 4 + p 2 2 = ( p + 1 ) ( p 1 ) ( p 2 + 2 ) p^4 + p^2 - 2 = ( p + 1)(p-1)(p^2 + 2)

As I mentioned, we would like to consider p > 3 p > 3 . If we can show that the expressions contribute a total factor of 72 = 3 2 × 8 72 = 3^2 \times 8 then we are done. Now clearly since p p is prime, 3 p 3 \nmid p . So one of ( p + 1 ) , ( p 1 ) (p + 1), (p - 1) are divisible by 3, and ( p + 1 ) ( p 1 ) (p+1)(p-1) is divisible by 3. By a stroke of luck, we realise that p 2 + 2 = ( p + 1 ) ( p 1 ) + 3 p^2 + 2 = (p+1)(p-1) + 3 so it is also divisible by 3.

So we are only left with showing that 8 8 divides the expression. This is simple if we notice that p p is obviously odd by definition, so we have two consecutive even numbers, ( p + 1 ) (p+1) and ( p 1 ) (p-1) , one of which must be divisible by 4 4 and the other by 2 2 . So we are done.

In conclusion, the answer to this problem is 2 × 3 = 6 2 \times 3 = 6 .

Very nice solution, this is how all solutions should look like.

Vishwa Iyer - 7 years, 7 months ago

Cool solution man!

Kulkul Chatterjee - 7 years, 7 months ago

Log in to reply

You should say "Cool solution woman!"... It's a "she"... :p

Abrar Nihar - 7 years, 7 months ago

Loved this solution, thank you very much Anqi Li!

Pranav Arora - 7 years, 6 months ago

Cool solution.

Soham Dibyachintan - 7 years, 6 months ago
Joshua Xiong
May 20, 2014

First, we note that the polynomial above factors as ( p 2 + 2 ) ( p + 1 ) ( p 1 ) (p^2+2)(p+1)(p-1) . Now we use the fact that primes can be expressed in the form 6 n ± 1 6n\pm 1 for p 2 , 3 p\neq 2,3 .

Substituting this into the factored expression, we get that the product is ( 36 n 2 ± 12 n + 3 ) ( 6 n ) ( 6 n ± 2 ) (36n^2\pm 12n+3)(6n)(6n\pm 2) . Now we can take out the common factors to obtain 36 ( 12 n 2 ± 4 n + 1 ) ( n ) ( 3 n ± 1 ) 36(12n^2\pm 4n+1)(n)(3n\pm 1) .

Clearly if n 0 ( m o d 2 ) n \equiv 0 \pmod{2} , then we have a multiple of 72 72 . If n 1 ( m o d 2 ) n \equiv 1 \pmod{2} , then 3 n ± 1 3 ± 1 0 ( m o d 2 ) 3n\pm 1\equiv 3\pm 1 \equiv 0 \pmod{2} , so this is also a multiple of 72 72 . Thus, we have shown that for all prime numbers p > 3 p>3 , p 4 + p 2 2 p^4+p^2-2 is a multiple of 72 72 .

Thus it remains to check 2 2 and 3 3 :

( 2 2 + 2 ) ( 2 + 1 ) ( 2 1 ) = 6 3 1 = 18 (2^2+2)(2+1)(2-1)=6\cdot3\cdot1=18 , which is not a multiple of 72 72 .

( 3 2 + 2 ) ( 3 + 1 ) ( 3 1 ) = 11 4 2 = 88 (3^2+2)(3+1)(3-1)=11\cdot4\cdot2=88 , which is not a multiple of 72 72 .

Therefore, 2 2 and 3 3 are the only numbers that do not produce multiples of 72 72 , so the answer is their product: 2 3 = 6 2\cdot3=\boxed{6} .

Using the form 6 k ± 1 6k\pm 1 is more effective than using 4 k ± 1 4k\pm1 and 3 k ± 1 3k \pm1 .

Calvin Lin Staff - 7 years ago
Tan Likai
May 20, 2014

Firstly, if p = 2, 3, p 4 + p 2 2 p^4 + p^2 - 2 is not a multiple of 72.

Let p 2 , 3 p \neq 2, 3 . Note that the square of an odd number is 1 modulo 8. Since all primes are odd except for 2, p 4 + p 2 2 1 + 1 2 0 ( m o d 8 ) p^4 + p^2 - 2 \equiv 1 + 1 - 2 \equiv 0 \pmod 8 .

Also since p 3 p \neq 3 and the square of a number not divisible by 3 is 1 modulo 3, p 2 1 , 4 , 7 ( m o d 9 ) p^2 \equiv 1, 4, 7 \pmod 9 . Hence p 4 + p 2 2 1 + 1 2 , 16 + 4 2 , 49 + 7 2 0 , 18 , 54 0 ( m o d 9 ) p^4 + p^2 - 2 \equiv 1 + 1 - 2, 16 + 4 - 2, 49 + 7 - 2 \equiv 0, 18, 54 \equiv 0 \pmod 9 . Hence for p 2 , 3 p \neq 2, 3 , p 4 + p 2 2 0 ( m o d 9 ) p^4 + p^2 - 2 \equiv 0 \pmod 9 . Hence p 4 + p 2 2 0 ( m o d 8 ) 9 = 72 p^4 + p^2 - 2 \equiv 0 \pmod 8 \cdot 9 = 72 since 8 and 9 are coprime.

So the only primes p that are valid are 2 and 3 \Rightarrow the product is 6.

Ishan Banerjee
May 20, 2014

72=8.9 Let x be a prime not equal to 2 or 3 Let f(x)= x 4 + x 2 2 {x}^4 + x^2 -2 x 4 + x 2 2 = ( x 2 1 ) ( x 2 + 2 ) x^4 + x^2 -2=(x^2-1)(x^2+2) If x is prime and not 2, then x ± 1 ( m o d 8 ) x \equiv \pm 1 \pmod 8

or x ± 3 ( m o d 8 ) x \equiv \pm 3 \pmod 8 In any case x 2 1 \0 ( m o d 8 ) {x}^2-1 \equiv \0 \pmod{8} so f(x) is a multiple of 8. If x is prime and not 3 then x ± 1 ( m o d 9 ) x \equiv \pm 1 \pmod 9 or x ± 2 ( m o d 9 ) x \equiv \pm 2 \pmod 9 or x ± 4 ( m o d 9 ) x \equiv \pm 4 \pmod 9 In all these cases f ( x ) ± 0 ( m o d 9 ) f(x) \equiv \pm 0 \pmod 9 So, for all primes not equal to 2 or 3 f(x) is a multiple of 72. Also f(2)=18 and f(3)=96, so they are the only primes which satisfy the condition. So the answer is 6.

note: The blank box is supposed to be x.

Eric Naslund
May 20, 2014

First we note that p^4+p^2-2 is not divisible by 72 for p=2,3. We may write the polynomial as p^{4}-1+p^{2}-1=(p^2-1)(p^2+2). Odd squares are always congruent to 1 modulo 8, so we see that 8 divides p^{2}-1 for all odd primes. Similarly, modulo 3, the square a of prime p\neq 3 must be congruent to 1. This means that both p^2-1 and p^2+2 will be divisible by 3 for primes p\neq 3. Since 72=9\cdot 8, we see that p^4+p^2-2 will be divisible by 8 and 9 for all primes p\neq 2,3. It follows that the answer to the problem is 6.

If p > 3 p>3 , p = 6 k ± 1 \ \ p=6k\pm 1 for a proper integer k k . We have: ( 6 k ± 1 ) 4 + ( 6 k ± 1 ) 2 2 (6k\pm 1)^4+(6k\pm 1)^2-2\equiv ( ± 24 k + 1 ) + ( 36 k 2 ± 12 k + 1 ) 2 \equiv (\pm24k+1)+(36k^2 \pm12k+1)-2 \equiv 36 k ( k ± 1 ) 0 ( m o d 72 ) \equiv 36k(k\pm 1)\equiv 0 \pmod{72} \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ So the only p p such that p 4 + p 2 2 p^4+p^2-2 is not multiple of 72 72 are 2 2 and 3 3 (for wich we have respectively 18 18 and 88 88 ), whence the answer is 6 6 .

Let p = 2 p = 2 , 2 4 + 2 2 2 = 18 = 18 ( m o d 72 ) ; 2^{4} + 2^{2} - 2 = 18 = 18 (mod 72); Let p = 3 p = 3 , 3 4 + 3 2 2 = 88 = 16 ( m o d 72 ) 3^{4} + 3^{2} - 2 = 88 = 16 (mod 72) ; Let p = 5 p = 5 , 5 4 + 5 2 2 = 648 = 0 ( m o d 72 ) 5^{4} + 5^{2} - 2 = 648 = 0 (mod 72) ; Let p = 7 p = 7 , 7 4 + 7 2 2 = 2448 = 0 ( m o d 72 ) ; 7^{4} + 7^{2} - 2 = 2448 = 0 (mod 72); Let p = 11 p = 11 , 1 1 4 + 1 1 2 2 = 14760 = 0 ( m o d 72 ) 11^{4} + 11^{2} - 2 = 14760 = 0 (mod 72) , ...... Since the rest of the primes give the same remainder, there are only 2 solutions. Hence, 2 × 3 = 6 2 \times{3} = \boxed{6}

How can you be sure the other primes give the same remainder?

Tanishq Aggarwal - 7 years, 7 months ago

actually i did a bit differently . we know that every prime except 2 or 3 can be written as 6m+ 1 for some +ve integer m. so p^+p^2-2 can be written as (36m^2+ 12m)(36m^2+_ 12m+3) from 36m^2+_ 12m , first we get 12 as a factor and then from (3m^2+_ m) , we get 2 as a factor , so in total 24 as a common factor. then from the second on ethat is 36m^2+_ 12m +3 , we get 3 as a factor . so total 12 2 3= 72 as a factor . and hence the answer is 2*3=6 as the condition we took was not for 2 and 3 . (however we need to check these)

Shaan goel - 7 years, 7 months ago

Log in to reply

That's how I did it too. Although, they may also be written as 6 m 1 6m-1 , but it has nearly no effect on the solution.

Nathan Weckwerth - 7 years, 7 months ago
Vinh Truong Hoang
May 20, 2014

We prove that for any prime p 5 , p 4 + p 2 2 p \geq 5, p^4 + p^2 - 2 is a multiple of 72
We have p 4 + p 2 2 = ( p 2 1 ) ( p 2 + 2 ) p^4 + p^2 - 2 = (p^2 - 1) (p^2 + 2) .
p 5 p > 3 p p \geq 5 \Rightarrow p>3 \Rightarrow p not a multiple of 3 p = 3 n ± 1 3 \Rightarrow p = 3n \pm 1
Morever, p p is odd 3 n \Rightarrow 3n is even n \Rightarrow n is even n = 2 k \Rightarrow n = 2k p = 6 k ± 1 p 2 = 36 k 2 ± 12 k + 1 \Rightarrow p = 6k \pm 1 \Rightarrow p^2 = 36k^2 \pm 12k + 1 p 2 1 = 36 k 2 ± 12 k = 24 k 2 + 12 k ( k ± 1 ) 24 \Rightarrow p^2 - 1 =36k^2 \pm 12k=24k^2 + 12k(k\pm1) \vdots 24
And p 2 + 2 = 36 k 2 ± 12 k + 3 3 p^2 + 2 = 36k^2 \pm 12k + 3 \vdots 3\quad\quad\quad\quad\quad\quad \quad\quad\quad\quad \quad\quad\quad\quad \quad So p 4 + p 2 2 72 p^4 + p^2 -2\vdots 72 for any prime p 5 p\geq 5\quad\quad\quad \quad\quad\quad\quad\quad\quad
Other hand, 2 4 + 2 2 2 = 18 2^4 + 2^2 - 2 = 18 (is not a multiple of 72) and 3 4 + 3 2 2 = 88 3^4 + 3^2 - 2 = 88 (is not a multiple of 72). Finally, 2 3 = 6 2*3=6




Aaron Schark
May 20, 2014

p 4 + p 2 2 p^{4}+p^{2}-2 will be less than 72 for p = 2 p=2 , and p 4 + p 2 2 = 90 p^{4}+p^{2}-2=90 for p = 3 p=3 , so that gives us our first 2 primes. Beyond that, we must turn to factoring.

p 4 + p 2 2 p^{4}+p^{2}-2 can be factored into ( p 2 1 ) ( p 2 + 2 ) (p^{2}-1)(p^{2}+2) , which can be further factored into ( p + 1 ) ( p 1 ) ( p 2 + 2 ) (p+1)(p-1)(p^{2}+2) . Since p p is prime and greater than 2, it must be odd; therefore, p + 1 p+1 and p 1 p-1 must both be even numbers and divisible by 2. Further, either p + 1 p+1 or p 1 p-1 must be divisible by 4 since every alternating even number is a multiple of 4. Also, p 1 p-1 , p p and p + 1 p+1 are consecutive integers. One in every 3 consecutive integers is divisible by 3. Since p p is prime and greater than 3, either p 1 p-1 or p + 1 p+1 must be divisible by 3. Thus, for p + 1 p+1 and p 1 p-1 for every prime, one is divisible by 2 and the other is divisible by 4, and one is divisible by 3, so p 2 1 p^{2}-1 is divisible by 2 3 3 1 2^{3}3^{1} .

We can now examine p 2 + 2 p^{2}+2 . If p 2 + 2 3 \frac{p^{2}+2}{3} is an integer, then it is divisible by 3. Let's rewrite ( p 2 + 2 ) (p^{2}+2) as ( p 2 4 + 6 ) (p^{2}-4+6) or ( p + 2 ) ( p 2 ) + 6 (p+2)(p-2)+6 , which when plugged into our fraction becomes ( p + 2 ) ( p 2 ) + 6 3 = ( p + 2 ) ( p 2 ) 3 + 6 3 \frac{(p+2)(p-2)+6}{3}=\frac{(p+2)(p-2)}{3}+\frac{6}{3} . Since we know 6 3 \frac{6}{3} is an integer, we can focus on determining if ( p + 2 ) ( p 2 ) 3 \frac{(p+2)(p-2)}{3} is also an integer. p 2 p-2 , p p , and p + 2 p+2 are consecutive odd integers. One of every 3 consecutive odd integers is divisible by 3. Again, since p p is prime and greater than 3, either p 2 p-2 or p + 2 p+2 must be divisible by 3; therefore, for every prime, p 2 + 2 p^{2}+2 is divisible by 3.

So, for all remaining primes, p 4 + p 2 2 p^{4}+p^{2}-2 is divisible by 2 3 3 2 2^{3}3^{2} , leaving us only 2 and 3 as our primes where p 4 + p 2 2 p^{4}+p^{2}-2 is not a multiple of 72. 2 × 3 = 6 2 \times 3=6

Arndt Jonasson
May 20, 2014

We try to factorize f ( p ) = p 4 + p 2 2 f(p) = p^4 + p^2 - 2 into factors with integer coefficients. This can be done by solving the equation p 4 + p 2 2 = 0 p^4 + p^2 - 2 = 0 and multiply the two factors with the complex conjugate roots into a real polynomial. It is a second-degree equation in p 2 p^2 , and we get p 2 = 1 p^2 = 1 and p 2 = 2 p^2 = -2 . The four roots are 1, -1, i 2 i \sqrt{2} and i 2 -i \sqrt{2} . Thus f ( p ) = ( p 1 ) ( p + 1 ) ( p i 2 ) ( p + i 2 ) = f(p) = (p-1)(p+1)(p-i \sqrt{2})(p+i \sqrt{2}) = = ( p 1 ) ( p + 1 ) ( p 2 + 2 ) = (p-1)(p+1)(p^2+2) .

Assume p is a prime larger than 3 (and therefore odd).

For odd numbers p = 2m+1, both p-1 and p+1 are even. They are two consecutive even numbers, and thus one of them can be written either 4n and 4n+2, or 4n+2 and 4n+4, so one of them is divisible by 4. Their product (p-1)(p+1) is therefore divisible by 8.

Of the consecutive integers p-1,p,p+1, one must be divisible by 3. Since p is not divisible by 3, one of p-1 and p+1 must be, so (p-1)(p+1) is. Now looking at p 2 + 2 p^2 +2 , it can be written as p 2 1 + 3 = ( p 1 ) ( p + 1 ) + 3 p^2 - 1 + 3 = (p-1)(p+1) + 3 , and thus is divisible by 3 whenever the product (p-1)(p+1) is. We have therefore one factor 3 in (p-1)(p+1) and one in p 2 + 2 p^2+2 , making f(p) divisible by 9.

f(p) is divisible by both 8 and 9, which are coprime, so f(p) is divisible by their product 72 for all primes larger than 3.

The only thing left to test is the value of f(p) for the primes 2 and 3: f(2) = 18. f(3) = 88. Neither of those numbers is divisible by 72, so the product of the primes asked for is 2 × 3 = 6 2 \times 3 = 6 .

Zhimin Gong
May 20, 2014

p^4+p^2-2=(p^2+2)(p^2-1)= (p^2+2)(p-1)(p+1) if p != 2, then let p=2k+1, k=1,2,3……., then (p-1)(p+1)=4k(k+1), which can be divided by 8; if p=3k+1, k=1,2,3,….., then (p^2+2)(p-1)(p+1)=(9k^2+6k+3)(3k)(3k+2), which can be divided by 9; if p=3k-1, k=1,2,3,….., then (p^2+2)(p-1)(p+1)=(9k^2-6k+3)(3k)(3k-2), which can be divided by 9; So, we only leave the number 2 and 3, substitute to p^4+p^2-2, get the value not divided by 72 the answer is 6.

Eli Ross
May 20, 2014

We immediately note that p = 2 , 3 p=2,3 gives 18 and 88, respectively, which are not divisible by 72. We now claim that for all primes p > 3 p>3 , we have that p 4 + p 2 2 p^4 + p^2 -2 is divisible by 72. Note that any such prime can be written as 3 k ± 1 3k \pm 1 , since it cannot be divisible by 3. Then, we remark that if ( p 2 + 23 ) ( p 2 22 ) = p 4 + p 506 = p 4 + p 2 2 72 7 (p^2+23)(p^2 -22) = p^4 + p - 506 = p^4 + p^2 - 2 - 72 \cdot 7 is divisible by 72, then clearly so must be p 4 p 2 2 p^4 -p^2 -2 . Then, ( ( 3 k ± 1 ) 2 + 23 ) ( ( 3 k ± 1 ) 2 22 ) = 9 ( 3 k 2 ± 2 k + 8 ) ( 3 k 2 ± 2 k 7 ) ((3k\pm 1)^2 + 23)((3k\pm 1)^2 -22) = 9(3k^2 \pm 2k+ 8)(3k^2 \pm 2k - 7) . Hence, if ( 3 k 2 ± 2 k + 8 ) ( 3 k 2 ± 2 k 7 ) (3k^2 \pm 2k+ 8)(3k^2 \pm 2k - 7) is divisible by 8, then our number is divisible by 72. If k k is 0 mod 4, then clearly the first term is divisible by 8. If k k is 2 mod 4 (e.g. either 2 mod 8 or 6 mod 8), then the first term is 0 mod 8 (just substitute k = 2 , 6 k=2,6 and algebra-bash). Finally, k k can't be 1 mod 4 or 3 mod 4, because this would give p > 3 p>3 even, which is obviously impossible. Hence, p 4 + p 2 2 p^4+p^2 -2 is a multiple of 72 for all primes p > 3 p>3 , and our desired product is 2 3 = 6 2\cdot 3=6 .

Shefali Nayak
May 20, 2014

Let's say p 4 + p 2 2 = Q ( p ) p^4+p^2-2=Q(p) . Plugging the lowest primes into the function, we can see that Q(2)=18 and Q(3)=88 are not divisible by 72. Now we have to check larger primes. Any Q(p) divisible by 8 and 9 is divisible by 72. In other words, we can see whether any p is divisible by 72 by checking that Q ( p ) 0 ( m o d 8 ) , Q ( p ) 0 ( m o d 9 ) Q(p) \equiv 0 \pmod{8}, Q(p) \equiv 0 \pmod{9} .

Note: Q(2) is divisible by 9 but not 8, and Q(3) is divisible by 8 but not 9. We exclude 2, 4, 6 and 8 from our mod 8 calculations because multiples of 2 are not prime. The same reasoning applies to 3 and 6 in mod 9. This is why we dealt with 2 and 3 individually.

We only have to test 1, 3, 5 and 7 in mod 8. Because we're in mod 8, think of these four numbers as 1, 3, -3 and -1. Because Q(p) is an even function, we only have to plug in 1 and 3 and we find that Q ( ± 1 ) Q ( ± 3 ) 0 ( m o d 8 ) Q(\pm 1) \equiv Q(\pm 3) \equiv 0 \pmod{8} .

Using the same method, we have to test divisibility by 9. Excluding 3 and 6 because they are not prime, we have to test 1, 2, 4, 5, 7 and 8 mod 9, which can be rewritten as ± 1 , ± 2 , ± 4 \pm 1, \pm 2, \pm 4 . For all these numbers Q ( p ) 0 ( m o d 9 ) Q(p) \equiv 0 \pmod{9} , so we know that all primes greater than 3 will be divisible by 8 and 9, and therefore by 72.

Therefore, the only primes for which Q(p) is not a multiple of 72 are 2 and 3, and our answer is 2 × 3 = 6 2 \times 3=6 .

Kee Wei Lee
May 20, 2014

Now if p = 2 , 3 p=2,3 Then p 4 + p 2 2 = 18 , 88 p^4+p^2-2=18,88 respectively, which are not multiples of 72.

If p > 3 p>3 we note that all such primes are odd primes. So, p 2 1 ( m o d 8 ) p^2 \equiv 1 \pmod{8} So, as p 4 + p 2 2 = p 2 ( p 2 + 1 ) 2 p^4+p^2-2=p^2(p^2+1)-2 p 2 ( p 2 + 1 ) 2 1 ( 1 + 1 ) 2 = 0 ( m o d 8 ) p^2(p^2+1)-2 \equiv 1(1+1)-2=0 \pmod{8} So p 4 + p 2 2 p^4+p^2-2 would be a multiple of 8.

Now, p 2 1 , 4 , 7 ( m o d 9 ) p^2 \equiv 1,4,7 \pmod{9} And if we calculate p 2 ( p 2 + 1 ) 2 p^2(p^2+1)-2 mod9, we will get; p 2 ( p 2 + 1 ) 2 0 ( m o d 9 ) p^2(p^2+1)-2 \equiv 0 \pmod{9} for each p 2 1 , 4 , 7 ( m o d 9 ) p^2 \equiv 1,4,7 \pmod{9} Hence p 4 + p 2 2 p^4+p^2-2 would also be a multiple of 9.

Therefore, p 4 + p 2 2 p^4+p^2-2 would be a multiple of 72.

So the only p p values that will get produce a multiple of 72 is 2 and 3, so our required answer is 2 3 = 6 2*3=6

Wei Liang Gan
May 20, 2014

Note that 2 4 + 2 2 2 = 18 2^4+2^2-2 = 18 and 3 4 + 3 2 2 = 88 3^4+3^2-2 = 88 which are clearly not divisible by 72.

Consider a prime p > 3 p>3 . We shall show separately that p 4 + p 2 2 = p 2 ( p 2 + 1 ) 2 p^4+p^2-2 = p^2(p^2+1)-2 is divisible by 9 and 8 for all such primes p p

Let p = 3 k ± 1 p = 3k \pm 1 for some integer k k since p > 3 3 p p>3 \Rightarrow 3\nmid p . p 2 ( p 2 + 1 ) 2 = ( 3 k ± 1 ) 2 ( ( 3 k ± 1 ) 2 + 1 ) 2 p^2(p^2+1)-2=(3k\pm1)^2((3k\pm1)^2+1)-2 = ( 3 ( 3 k 2 ± 2 k ) + 1 ) ( 3 ( 3 k 2 ± 2 k ) + 2 ) 2 =(3(3k^2\pm2k)+1)(3(3k^2\pm2k)+2)-2 = 9 ( ( 3 k 2 ± 2 k ) 2 + ( 3 k 2 ± 2 k ) ) =9((3k^2\pm2k)^2+(3k^2\pm2k)) which is divisible by 9 since k k is an integer.

Similarly, let p = 4 k ± 1 p = 4k \pm 1 for some integer k k since p > 3 2 p p>3 \Rightarrow 2\nmid p . p 2 ( p 2 + 1 ) 2 = ( 4 k ± 1 ) 2 ( ( 4 k ± 1 ) 2 + 1 ) 2 p^2(p^2+1)-2=(4k\pm1)^2((4k\pm1)^2+1)-2 = ( 8 ( 2 k 2 ± k ) + 1 ) ( 8 ( 2 k 2 ± k ) + 2 ) 2 =(8(2k^2\pm k)+1)(8(2k^2\pm k)+2)-2 = 8 ( 8 ( 2 k 2 ± k ) 2 + 3 ( 2 k 2 ± k ) ) =8(8(2k^2\pm k)^2+3(2k^2\pm k)) which is divisible by 8 since k k is an integer.

Therefore for all primes p > 3 p>3 , 72 p 4 + p 2 2 72 \mid p^4+p^2-2 so the only primes that satisfy the conditions are 2 and 3 so the product required is 2 × 3 = 6 2 \times 3 = 6

Aleck Zhao
May 20, 2014

Notice that the expression can be factored into ( p 1 ) ( p + 1 ) ( p 2 + 2 ) . (p-1)(p+1)(p^2+2). This is much easier to examine than our original expression.

Let's check p = 2. p=2. Obviously, 2 4 + 2 2 2 = 18 2^4+2^2-2=18 is not a multiple of 72. 72.

For any other prime p , p, both p 1 p-1 and p + 1 p+1 must be even, and one must be a multiple of four, so we have a factor of 8 here.

Now let's check p = 3 p=3 . We see that 3 4 + 3 2 2 = 88 3^4+3^2-2=88 is also not a multiple of 72. 72.

Since any other prime p p is not a multiple of three, either p 1 p-1 or p + 1 p+1 is a multiple of three, since they are three consecutive numbers.

Thus, we've reduced the problem to finding all primes p p such that p 2 + 2 p^2+2 is not a multiple of 3. If we examine squares modulo 3, we see that the only residues are 0 and 1. We already checked p = 3 p=3 . For any other prime p , p, the residue is 1, upon adding 2 we get 0 modulo 3.

Since we've shown that for all primes p p (other than 2 and 3) our expression is divisible by 72, our answer is then 2 × 3 = 6 . 2\times3=\boxed{6}.

黎 李
May 20, 2014

p=2,3 is OK if p>=5, 8|p^2-1, 3|(p-1)(p+1), 3|p^2+2, so 72|(p^2+2)(p^2-1)

Daniel Liu
Nov 11, 2013

Note that p 4 + p 2 2 = ( p 2 + 2 ) ( p + 1 ) ( p 1 ) p^4+p^2-2=(p^2+2)(p+1)(p-1) .

We first consider the special case where p = 2 p=2 because p p is even. Plugging it in, we get that p 4 + p 2 2 = 18 p^4+p^2-2=18 , which is not a multiple of 72 72 .

Now, the rest of the cases must satisfy p = 2 n + 1 p=2n+1 with n n a positive integer.

Plugging in to ( p + 1 ) ( p 1 ) (p+1)(p-1) , we have 4 n 2 + 4 n = 4 n ( n + 1 ) 4n^2+4n=4n(n+1) . Note that since n ( n + 1 ) n(n+1) is always even, then 8 ( p + 1 ) ( p 1 ) 8|(p+1)(p-1) .

We now look at p 2 + 2 p^2+2 . Note that since p 2 1 ( m o d 3 ) p^2\equiv 1\pmod{3} because p p is odd, then 3 p 2 + 2 3|p^2+2 .

Now, we need to find the p p such that 72 ∤ ( p 2 + 2 ) ( p + 1 ) ( p 1 ) 72\not |(p^2+2)(p+1)(p-1) . Since we already proved that 24 ( p 2 + 2 ) ( p + 1 ) ( p 1 ) 24|(p^2+2)(p+1)(p-1) , we need to prove that there are no more multiples of 3 3 in it. Going back to 4 x ( x + 1 ) 4x(x+1) , we see that the only way that 3 ∤ 4 x ( x + 1 ) 3\not |4x(x+1) is when x 1 ( m o d 3 ) x = 3 a + 1 x\equiv 1\pmod{3}\implies x=3a+1 . Solving for p p gives p = 2 ( 3 a + 1 ) + 1 = 6 a + 3 p=2(3a+1)+1=6a+3 , so 3 p 3|p . But the only prime that satisfies this is 3 3 .

Therefore, the only two primes that work are p = 2 , 3 p=2,3 and the answer is 2 × 3 = 6 2\times 3=\boxed{6} .

Jing Hao Pang
Nov 11, 2013

By simply subbing p = 2 p=2 into the expression, it equates to 18 18 , which is not a multiple of 72 72 , making 2 2 a solution.

Looking at p > 2 p > 2 ,

p 4 + p 2 2 = ( p 2 1 ) ( p 2 + 2 ) p^4+p^2-2=(p^2-1)(p^2+2)

When p > 2 p>2 , it is odd. Hence, we can generalise p = 2 k + 1 p=2k+1 , where k k is any positive integer that makes 2 k + 1 2k+1 a prime.

( p 2 1 ) ( p 2 + 2 ) (p^2-1)(p^2+2)

= ( [ 2 k + 1 ] 2 1 ) ( [ 2 k + 1 ] 2 + 2 ) =([2k+1]^2-1)([2k+1]^2+2)

= ( [ 4 k 2 + 4 k + 1 ] 1 ) ( [ 4 k 2 + 4 k + 1 ] + 2 ) =([4k^2+4k+1]-1)([4k^2+4k+1]+2)

= ( 4 k 2 + 4 k ) ( 4 k 2 + 4 k + 3 ) =(4k^2+4k)(4k^2+4k+3)

= 4 k ( k + 1 ) ( 4 k 2 + 4 k + 3 ) =4k(k+1)(4k^2+4k+3)

Note that 72 = 2 3 × 3 2 72=2^3 \times 3^2 . Hence, the expression must not have the factors 2 3 × 3 2 2^3 \times 3^2 in it.

From the equation above, observe that it already has a factor of 4 4 . k ( k + 1 ) k(k+1) will always have a even number, in other words, a factor of 2 2 . Hence, for any value of k k , the expression will be a multiple of 8 8 . Therefore, the only thing left to find is when k ( k + 1 ) ( 4 k 2 + 4 k + 3 ) k(k+1)(4k^2+4k+3) is not a multiple of 9 9 .

k ( k + 1 ) ( 4 k 2 + 4 k + 3 ) k(k+1)(4k^2+4k+3)

= k ( k + 1 ) ( 4 k [ k + 1 ] + 3 ) =k(k+1)(4k[k+1]+3)

Obviously, if any of the terms are multiples of 9 9 , the entire term will be a multiple of 9 9 . Checking for cases when two terms contain factors of 3 3 each, Observe that if k ( k + 1 ) 0 ( m o d 3 ) k(k+1) \equiv 0 \pmod{3} , then 4 k ( k + 1 ) + 3 0 ( m o d 3 ) 4k(k+1)+3 \equiv 0 \pmod{3} as well, making the expression a multiple of 9 9 . Thus, the only way in which the expression is not a multiple of 9 9 is when k ( k + 1 ) k(k+1) is not a multiple of 3 3 , occuring when k 1 ( m o d 3 ) k \equiv 1 \pmod{3} .

k 1 ( m o d 3 ) k \equiv 1 \pmod{3}

2 k + 1 0 ( m o d 3 ) 2k+1 \equiv 0 \pmod{3}

p 0 ( m o d 3 ) p \equiv 0 \pmod{3}

Thus, p p must be a multiple of 3 3 . The only prime number that is a multiple of 3 3 is 3 3 itself, making 3 3 the only other solution.

Therefore, 2 × 3 = 6 2 \times 3= \boxed {6}

I realised that my argument leading to k 1 ( m o d 3 ) k \equiv 1 \pmod{3} isn't sound, so I shall re-do it here.

We will check cases which will lead to k ( k + 1 ) ( 4 k [ k + 1 ] + 3 ) k(k+1)(4k[k+1]+3) being a multiple of 9 9 :

Case 1 : One term has a factor of 9 9 . This occurs when:

k 0 ( m o d 9 ) k 0 ( m o d 3 ) k \equiv 0 \pmod{9} \Rightarrow k \equiv 0 \pmod{3}

k + 1 0 ( m o d 9 ) k 2 ( m o d 9 ) k 2 ( m o d 3 ) k+1 \equiv 0 \pmod{9} \Rightarrow k \equiv 2 \pmod{9} \Rightarrow k \equiv 2 \pmod{3}

4 k ( k + 1 ) + 3 0 ( m o d 9 ) k 2 ( m o d 9 ) k 2 ( m o d 3 ) 4k(k+1)+3 \equiv 0 \pmod{9} \Rightarrow k \equiv 2 \pmod{9} \Rightarrow k \equiv 2 \pmod{3}

Case 2 : Two terms have a factor of 3 3 each. Note that if k ( k + 1 ) 0 ( m o d 3 ) k(k+1) \equiv 0 \pmod{3} , then 4 k ( k + 1 ) + 3 0 ( m o d 3 ) 4k(k+1)+3 \equiv 0 \pmod{3} as well, making the expression a multiple of 9 9 . This occurs when:

k 0 ( m o d 3 ) k \equiv 0 \pmod{3} , 4 k ( k + 1 ) + 3 0 ( m o d 3 ) 4k(k+1)+3 \equiv 0 \pmod{3}

k + 1 0 ( m o d 3 ) k 2 ( m o d 3 ) k+1 \equiv 0 \pmod{3} \Rightarrow k \equiv 2 \pmod{3} , 4 k ( k + 1 ) + 3 0 ( m o d 3 ) 4k(k+1)+3 \equiv 0 \pmod{3}

In both cases, only k 0 ( m o d 3 ) k \equiv 0 \pmod{3} and k 2 ( m o d 3 ) k \equiv 2 \pmod{3} results in the expression being a multiple of 9 9 . Thus, the only way in which the expression is not a multiple of 9 9 occurs when k 1 ( m o d 3 ) k \equiv 1 \pmod{3} .

Jing Hao Pang - 7 years, 7 months ago
Kishan K
Nov 11, 2013

We will use the fact that for every prime p 5 , p 2 1 ( m o d 24 ) p \ge 5, p^{2} \equiv 1(mod 24) Proof: A very popular fact says that for every prime p 5 , p 1 , 5 ( m o d 6 ) . p \ge 5, p \equiv 1,5(mod6). p 2 1 = ( p + 1 ) ( p 1 ) . p^{2}-1=(p+1)(p-1). Suppose p = 6 k + 1 p=6k+1 ( p + 1 ) ( p 1 ) = 12 k ( 3 k + 1 ) 0 ( m o d 12 ) . \Rightarrow (p+1)(p-1) = 12k(3k+1) \equiv 0 (mod 12). Suppose k k is even then the above expression is divisible by 24, which is to be proved. Suppose k k is odd then 3 k + 1 0 ( m o d 2 ) 3k+1 \equiv 0(mod2) , hence again the above expression is divisible by 24.By the same logic we can prove for p = 6 k 1. p=6k-1. Hence proved.

Observe the p 4 + p 2 2 = ( p 2 1 ) ( p 2 + 2 ) . p^{4}+p^{2}-2 = (p^{2} -1)(p^{2} +2). Let us assume that p 5 p \ge5 then p 4 + p 2 2 0 ( m o d 24 ) p^{4}+p^{2}-2 \equiv 0 (mod24) , Also p 2 1 ( m o d 3 ) p^{2} \equiv 1(mod3) , so ( p 2 1 ) ( p 2 + 2 ) 0 ( m o d 9 ) (p^{2} -1)(p^{2} +2) \equiv 0 (mod 9) Hence the expression is divisible by 72. So, p < 5 p <5 , p = 2 , 3 \Rightarrow p=2,3 , and both of then satisfy our conditions, hence the answer.

Vincent Huang
Nov 10, 2013

Factor it as (p-1)(p+1)(p^2+2). Assuming p is not 2 or 3, (p-1)(p+1) must be divisible by 8 and 3. Since p is 1 mod 3, p^2+2 gives us a factor of 3. However, 2 and 3 do not work so the product is 6

Michael Tang
Nov 12, 2013

Define the function f ( p ) = p 4 + p 2 2. f(p) = p^4 + p^2 - 2. Note that f ( 2 ) = 18 f(2) = 18 and f ( 3 ) = 88 , f(3) = 88, so the primes 2 2 and 3 3 do work. We now show that all other primes fail; that is, 72 f ( p ) 72 \mid f(p) for all other primes p . p. It is well-known that for all other primes p ∉ { 2 , 3 } , p \not\in \{2, 3\}, we must have either p 1 ( m o d 6 ) p \equiv 1 \pmod 6 or p 5 ( m o d 6 ) . p \equiv 5 \pmod 6. We take cases:

  1. p 1 ( m o d 6 ) p \equiv 1 \pmod 6

Notice that f ( p ) = p 4 + p 2 2 = ( p 2 + 2 ) ( p 2 1 ) = ( p 2 + 2 ) ( p + 1 ) ( p 1 ) . \begin{aligned} f(p) &= p^4+p^2-2 \\ &= (p^2+2)(p^2-1) \\ &= (p^2+2)(p+1)(p-1). \end{aligned} Since p p is odd, p 1 p-1 and p + 1 p+1 are consecutive even integers. This means that one must be divisible by 4 4 and the other must be divisible by 2 , 2, therefore f ( p ) f(p) contains at least three factors of 2. 2. We also see that p 2 + 2 1 2 + 2 = 3 ( m o d 6 ) p^2 + 2 \equiv 1^2 + 2 = 3 \pmod 6 and p 1 1 1 = 0 ( m o d 6 ) , p - 1 \equiv 1 -1 = 0\pmod 6, which means that both p 2 + 2 p^2 + 2 and p 1 p-1 are multiples of 3. 3. Therefore, f ( p ) f(p) contains at least two factors of 3. 3. We can then conclude that f ( p ) f(p) is a multiple of 2 3 3 2 = 72. 2^3 \cdot 3^2 = 72.

  1. p 5 ( m o d 6 ) p \equiv 5 \pmod 6

We again apply our factorization f ( p ) = ( p 2 + 2 ) ( p + 1 ) ( p 1 ) . f(p) = (p^2+2)(p+1)(p-1). Similarly, since p + 1 p+1 and p 1 p-1 are consecutive even integers, one is divisible by 4 4 and the other is divisible by 2 , 2, so 8 f ( p ) . 8 \mid f(p). In addition, p 2 + 2 5 2 + 2 3 ( m o d 6 ) p^2 + 2 \equiv 5^2 + 2 \equiv 3 \pmod 6 and p + 1 5 + 1 0 ( m o d 6 ) , p+1 \equiv 5 + 1\equiv 0 \pmod 6, so 9 f ( p ) 9 \mid f(p) as well. Again, we conclude that 72 f ( p ) . 72 \mid f(p).

Thus, the only primes such that 72 ∤ f ( p ) 72 \not\mid \, f(p) are p = 2 , 3 , p = 2, 3, which multiply to give our answer, 6 . \boxed{6}.

Ashish Pathak
Nov 13, 2013

p^4+p^2-2=(p^2-1)(p^2+2) .... taking (p^2-1) 1st , we know for p>2 p is always odd prime which can be written as 2k+1 .... thus (p^2-1) becomes 4k(k+1) which is always a multiple of 8 as k(k+1) is always a multiple of 2 .. now taking (p^2+2) let p is a prime number other then 3 then we can represent p= 3k+1 or 3k+2(for some k and not all k) that is remainder with respect to 3 is always 1 or 2(-1).. making (p^2)mod3=1 and 1 +2=3 thus (p^2+2) is always a multiple of 3. now since (p^2+2)-(p^2-1) is always =3 thus (p^2-1) is also a multiple of 3. that is for p>3 (p^2-1)=24k and (p^2+2)=3k thus (p^2+2)(p^2-1)=72k that is a multiple of 72. only remaining prime numbers to be checked are 3 or 2 for which it is not a multiple of 72 and hence answer is=3*2=6

Michael Tong
Nov 12, 2013

This can be factored as p 4 + p 2 2 = ( p 1 ) ( p + 1 ) ( p 2 + 2 ) p^4 + p^2 - 2 = (p - 1)(p + 1)(p^2 + 2) . These three factors must share at least 3 3 factors of 2 2 and 2 2 factors of 3 3 .

For odd p p , p 1 p - 1 and p + 1 p + 1 have at least three factors of two between them they're both even, and since they're consecutive then one must have a factor of 4 4 as well. For p = 2 p = 2 , there is an insufficient amount of twos, so we can write that out.

Finally, p p can either be congruent to 0 , 1 , 2 ( m o d 3 ) 0, 1, 2 \pmod 3 . For p 0 p \equiv 0 , there are no factors of three, thus we can add p = 3 p = 3 to the list. For all other p p , there is at least one factor of three in ( p + 1 ) ( p 1 ) = p 2 1 (p+1)(p-1) = p^2 - 1 , thus there must also be a factor of three in p 2 1 + 3 = p 2 + 2 p^2 - 1 + 3 = p^2 + 2 . Thus, for all other primes, there are at least two factors of three and three factors of two, making our product 2 × 3 = 6 2 \times 3 = 6 .

Riccardo Zanotto
Nov 12, 2013

Let f ( p ) : = p 4 + p 2 2 f(p):=p^4+p^2-2 We will show that for any p 5 p\ge5 , f ( p ) 0 ( m o d 72 ) f(p)\equiv0\pmod{72} . We start factoring the polynomial: f ( p ) = ( p 2 1 ) ( p 2 + 2 ) f(p)=(p^2-1)(p^2+2) Then we split the congruence in two parts, by CRT.

  • f ( p ) 0 ( m o d 8 ) f(p)\equiv0\pmod{8} It is known and easily checked by hand that for every odd n n we have that n 2 1 0 ( m o d 8 ) n^2-1\equiv0\pmod8 ; now, we know that p 5 p\ge5 , so p p is odd. Then f ( p ) ( p 2 1 ) ( p 2 + 2 ) 0 ( p 2 + 2 ) 0 ( m o d 8 ) f(p)\equiv(p^2-1)(p^2+2)\equiv0\cdot(p^2+2)\equiv0\pmod8 .

  • f ( p ) 0 ( m o d 9 ) f(p)\equiv0\pmod{9} Since p 5 p\ge5 , we have that p ± 1 ( m o d 3 ) p\equiv\pm1\pmod3 , so p 2 1 ( m o d 3 ) p^2\equiv1\pmod3 . Then p 2 1 1 1 0 ( m o d 3 ) p^2-1\equiv1-1\equiv0\pmod3 and p 2 + 2 1 + 2 0 ( m o d 3 ) p^2+2\equiv1+2\equiv0\pmod3 But then f ( p ) f(p) is the product of two multiples of 3 3 , so it's a multiple of 9 9 .

Now, the only possibilities for p p are 2 , 3 2,3 ; we have that f ( 2 ) = 18 f(2)=18 and f ( 3 ) = 88 f(3)=88 ; they aren't multiple of 72 72 , so our product is 2 3 = 6 2\cdot3=\boxed6 .

Cantdo Math
May 4, 2020

72 = 8 9 72=8*9

Firstly since every odd perfect square is 1 m o d 8 1 \mod 8 . p 4 + p 2 2 = 1 + 1 2 = 0 m o d 8 p^4+p^2-2=1+1-2=0 \mod 8 unless p=2.

Now,write the expression as p 2 ( p 2 + 1 ) 2 p^2(p^2+1)-2 Then, p 2 p^2 can have values 1 , 4 , 7 1,4,7 in mod 9 9 only unless p=3. Easy to check that they all implies the expression is divisible by 9 9 unless p=3.

So, unless p p is 2 2 or 3 3 the expression is divisible by 72.

Hence,the answer is 2 3 = 6 2*3=\boxed{6}

Tony Jiang
May 20, 2014

For p = 2 p=2 and p = 3 p=3 , p 4 + p 2 2 p^4+p^2-2 is clearly not a multiple of 72. Now, we need to consider the rest of the primes.

Let p = 2 x + 1 p=2x+1 , where x x is an integer. Substituting 2 x + 1 2x+1 for p p , we get p 4 + p 2 2 = 4 x ( 4 x 3 + 8 x 2 + 7 x + 3 ) p^4+p^2-2=4x(4x^3+8x^2+7x+3) Whether x x is even or odd, the expression will be divisble by 8. To check for divisibility by 9, we check all residues modulo 3. If x 0 ( m o d 3 ) x \equiv 0 \pmod{3} then the expression is divisible by 9. If x 2 ( m o d 3 ) x \equiv 2 \pmod{3} then it is also divisble by 9. If x 1 ( m o d 3 ) x \equiv 1 \pmod{3} the expression is not divisible by 9. However, if x 1 ( m o d 3 ) x \equiv 1 \pmod{3} then x 0 ( m o d 3 ) x \equiv 0 \pmod{3} which is impossible for primes greater than 3. Therefore, all primes greater than 3 are divisible by 72 and our answer is 2 × 3 = 6 2 \times 3=6 .

Pratyush Kumar
May 20, 2014

p^4+p^2-2 is divisible by 72 for all prime numbers except 2 & 3

so we can consider only 2 prime numbers ,p for which p^4+p^2-2 so product is 2*3 =6

give p is prime , p>3 it's easy to see that Remainder from 8 and 9 divide $p^2$ is only 1 and 1,4,7 respectively from $p^4+p^2-2 = p^2(p^2+1)-2 $ is easy to see that 8 and 9 can divide $p^4+p^2-2$ when p>3 so p=2,3

Bryan Andrade
Nov 13, 2013

every prime p>3 could be expressed like, p = 6k+1,6k-1. So p^4 + p^2 - 1 = (p^2 - 1)(p^2 + 2), but p = 6k + 1, 6k-1. (p^2 - 1)(p^2 + 2)=36k(3k+1)(12k^2 + 4k + 1) for every k it's a 72 multiple. so for p>3 p^4 + p^2 - 1 is a 72 multiple. The p= 2,3. 2*3=6

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...