High Five, Pythagoras!

A Pythagorean triple is a set of positive integers a < b < c a < b < c such that a 2 + b 2 = c 2 a^2 + b^2 = c^2 . Some examples are 3 2 + 4 2 = 5 2 5 2 + 1 2 2 = 1 3 2 8 2 + 1 5 2 = 1 7 2 . \begin{aligned} 3^2 + 4^2 &= 5^2 \\ 5^2 + 12^2 &= 13^2 \\ 8^2 + 15^2 &= 17^2. \end{aligned} Note that each of these Pythagorean triples contains a multiple of 5.

How many Pythagorean triples { a , b , c } \{a, b, c\} are there for which none of the three numbers is a multiple of 5 and c 1000 ? c \leq 1000?


The answer is 0.

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.

5 solutions

Jon Haussmann
Dec 18, 2017

Relevant wiki: Pythagorean Triples

A square is either 0, 1, or 4 modulo 5. If both a a and b b are not multiples of 5, then the only possible cases are as follows: a 2 ( m o d 5 ) b 2 ( m o d 5 ) a 2 + b 2 ( m o d 5 ) 1 1 2 1 4 0 4 1 0 4 4 3 \begin{array}{c|c|c} a^2 \pmod{5} & b^2 \pmod{5} & a^2 + b^2 \pmod{5} \\ \hline 1 & 1 & 2 \\ 1 & 4 & 0 \\ 4 & 1 & 0 \\ 4 & 4 & 3 \end{array} Since a 2 + b 2 = c 2 a^2 + b^2 = c^2 is a square, we can rule out the first case and fourth case. In the only cases left, c c is divisible by 5.

Hence, at least one of a a , b b , c c is divisible by 5.

In fact, is also true that one of them must be divisible by 3, and divisible by 4. I'll leave this as an exercise.

so why the answer is 0? I see c of the table showing 2 and 3. Doesn't It mean that the answer is not zero.

Alex Ong - 3 years, 5 months ago

Log in to reply

A square is either 0, 1, or 4 modulo 5, which then means the two and three modulos cannot be squares, therefore it is ruled out.

Youngjin Park - 3 years, 5 months ago
Arjen Vreugdenhil
Dec 17, 2017

Relevant wiki: Pythagorean Triples

A basic fact about Pythagorean triples is, that they may be generated by the equations { a = p 2 q 2 b = 2 p q c = p 2 + q 2 \begin{cases} a = p^2 - q^2 \\ b = 2pq \\ c = p^2 + q^2 \end{cases} where p > q p > q are positive integers, and a a and b b may need to be swapped.

Now for any integer x x , x 2 1 , 0 , 1 x^2 \equiv -1, 0, 1 mod 5. Therefore consider the following possibilities.

  • At least one of p , q 0 p, q \equiv 0 mod 5. Then b = 2 p q 0 b = 2pq \equiv 0 mod 5.

  • p 2 q 2 ± 1 p^2 \equiv q^2 \equiv \pm 1 mod 5. Then a = p 2 q 2 ( ± 1 ) ( ± 1 ) 0 a = p^2 - q^2 \equiv (\pm 1) - (\pm 1) \equiv 0 mod 5.

  • p 2 q 2 ± 1 p^2 \equiv -q^2 \equiv \pm 1 mod 5. Then c = p 2 + q 2 ( ± 1 ) + ( 1 ) 0 c = p^2 + q^2 \equiv (\pm 1) + (\mp 1) \equiv 0 mod 5.

In each of these cases, at least one of the numbers in the triple is a multiple of five. Therefore there no triples that match the description; the answer is 0 \boxed{0} .

You don't need to break down a , b , c a, b, c into p , q p, q for this method to work.

  • if either a 2 , b 2 0 a^2, b^2 \equiv 0 , we are done
  • if a 2 b 2 ± 1 a^2 \equiv b^2 \equiv \pm 1 , then c 2 ± 2 c^2 \equiv \pm 2 , which is impossible
  • if WLOG a 2 + 1 , b 2 1 a^2 \equiv +1, b^2 \equiv -1 , then c 2 0 c^2 \equiv 0

Ivan Lobaskin - 3 years, 5 months ago

Exactly the same. What a good question and an interesting fact about Pythagorean Triples.

Kelvin Hong - 3 years, 5 months ago

Great question @Arjen Vreugdenhil I never wondered about it

Mahdi Raza - 1 year ago
Leonel Castillo
Jan 1, 2018

Let a = m 2 n 2 , b = 2 m n , c = m 2 + n 2 a = m^2 - n^2, b =2mn, c = m^2 + n^2 be a primitive Pythagorean triple. Let's prove that at least one of a , b , c a,b,c must be divisible by 5. Fortunately for us, 5 is prime so if one of them is divisible by 5 then the product a b c abc will be divisible by 5 (and vice-versa). So let's compute a b c = 2 m 5 n 2 m n 5 abc = 2m^5n - 2mn^5 and by applying Fermat's little theorem we see that a b c 2 m n 2 m n 0 m o d 5 abc \equiv 2mn - 2mn \equiv 0 \mod 5 . Therefore there are 0 of these Pythagorean triples.

Bruce Feist
Jan 3, 2018

Perfect squares can only have a last digit of 0, 1, 4, 5, 6, or 9. Excluding multiples of 5, they must end in 1, 4, 6, or 9. Adding two such numbers together to get c 2 c^{2} , we find that no such sum gives us a number ending in 1, 4, 6, or 9. So, the answer is zero.

But, I prefer Jon Haussmann's solution. Mine is closely related to his, but not as elegant in my opinion.

By logic, we know that there is no way to know for sure while doing trial and error because 1000 is a very large number. So the smart thing to do would be to answer 0 because after several attempts, a pattern will emerge where in some way or the other, there is always a multiple of 5.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...