Prime Triangle

Each circle in the diagram contains a distinct positive integer. Is it possible to fill in the circles such that each pair of adjacent circles adds up to a prime number ?

Yes No

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.

18 solutions

Michael Huang
Jul 30, 2017

Let x , y , z x,y,z denote three distinct positive integers and p 1 , p 2 , p 3 p_1, p_2,p_3 be the prime numbers, such that x + y = p 1 y + z = p 2 x + z = p 3 \begin{array}{rl} x + y &= p_1\\ y + z &= p_2\\ x + z &= p_3 \end{array} Combining all these equations altogether, we see that 2 ( x + y + z ) = p 1 + p 2 + p 3 2\left(x + y + z\right) = p_1 + p_2 + p_3 As one of the solutions from the previous problem notes, if all prime numbers are odd, then there is no way to achieve the sum.

Otherwise, at least one prime is even (which is clearly the number 2 2 ) to make the above equation even, which conflicts with the assumption that all integers are distinct and positive. Therefore, it is impossible to have p 1 + p 2 + p 3 p_1 + p_2 + p_3 be even.

Thus, there is no way {\color{#D61F06}\boxed{\text{no way}}} to construct three prime sums.


Extension Problem: I have posted the generalization problem of mine related to these two posted earlier. There is in fact the pattern for determining whether the construction is possible or not.

Have fun trying out my generalization problem :)

Moderator note:

This is strongly related to a problem from last week and has an identical structure in comparing integers x + y , x + y , y + z , y + z , and z + x . z + x .

All prime numbers are not odd

Michael F - 3 years, 10 months ago

Log in to reply

True, but any prime number that is the sum of two distinct positive integers will be odd.

Geoff Pilling - 3 years, 10 months ago

That is "if" case by the way.

The way I look at this problem is to consider the generality of the prime sums. As the Challenge Master noted, it is related to Pi Han's problem.

I thought about posting the generalization problem for 1-coefficient equations because I find it quite fun for solvers to work with at the starter level. :)

Michael Huang - 3 years, 10 months ago

Wait, but 0, 2, and 3 work perfectly fine...

NOT NOT - 3 years, 1 month ago

Log in to reply

But NotNot, naught, "0", is not considered prime... :)

Geoff Pilling - 3 years ago

1+1 = 2 1 + 2 = 3 1 + 2 = 3 x = y = 1 z = 2 x + y = 2 is prime x + z = 3 is prime y+z = 3 is prime

Kermit Rose - 3 years ago

Log in to reply

The problem is that you are using multiple 1's in your case.

Michael Huang - 3 years ago

Once again, I never know if 0 is a "positive" integer or not in the problem... Otherwise, it works with (0,1,2) or (0,2,3). I had the complete solution, but having it right when answering is pure luck !

Ph C - 2 years, 7 months ago
Peter Macgregor
Jul 31, 2017

First note that if the three vertex numbers are distinct, all three pair-wise sums (sums along the edges) are distinct. Also remember that there is only one even prime (the number 2). Bearing these two facts in mind we will show that a solution is impossible.

We will consider three cases which cover all possibilities.

First suppose that all the vertices are odd. Then all the pair-wise sums are odd+odd=even. Then a solution would give us three distinct even primes which is impossible.

Secondly suppose there are at least two even vertices. Then at least one of the pair-sums is even+even= even. Moreover this even number is greater than 2, and so cannot be a prime. So this case is also impossible

The remaining case is to have one even and two odd vertices. The odd vertices add to give an even number, and this will be a prime only if both vertices are = 1. But this breaks the rule that all the vertices are distinct. So this last case is also impossible.

Done.

If the given figure was a quadrilateral instead of a triangle, would it have been possible?

Agnishom Chattopadhyay - 3 years, 10 months ago

As an example of a quadrilateral (edges only) with distinct integral vertex labels where the sums of adjacent vertices are prime: 3-2 | | 4-9 The sums are 5,11,13,7 (clockwise from top). If another edge is added, then no such labeling would be possible, as any solution to this new situation would include a solution to the triangle from the problem, which is impossible.

Michael Childers - 3 years, 10 months ago

Don't you need to consider a fourth possibility? What if all three vertices are even? Clearly this will not lead to three primes, but for completeness it ought to be considered.

Paul Cockburn - 2 years, 11 months ago
Deva Craig
Jul 30, 2017

First off, for the three circles in the diagram, let's denote the values A, B, and C, and for the primes, let's denote them as p 1 p_1 , p 2 p_2 , and p 3 p_3 .

Secondly, the problem itself is really asking if we can satisfy this system of equations :

{ A + B = p 1 B + C = p 2 C + A = p 3 \begin{cases} A + B = p_1\\ B + C = p_2\\ C + A = p_3 \end{cases}

The very first step to figuring that out is first considering that all prime numbers except 2 are odd numbers. Now, consider that two odd numbers added together always equals an even number and that one odd plus one even is always odd:

  1. O d d \color{#D61F06}Odd + O d d \color{#D61F06}Odd = E v e n \color{#3D99F6}Even
  2. O d d \color{#D61F06}Odd + E v e n \color{#3D99F6}Even = O d d \color{#D61F06}Odd

Considering that all sums like statement 1 will result in an even number greater than 2 given the conditions of the problem, it is safe to say that so far, it is impossible to have the system above satisfied.

It is much trickier when we consider sums like statement 2, though once again, let's consider our system of equations:

{ A + B = p 1 B + C = p 2 C + A = p 3 \begin{cases} A + B = p_1\\ B + C = p_2\\ C + A = p_3 \end{cases}

Since we are looking for an odd number for values p 1 p_1 , p 2 p_2 , and p 3 p_3 , Let's say A is an even number:

{ E v e n + B = p 1 B + C = p 2 C + E v e n = p 3 \begin{cases} Even + B = p_1\\ B + C = p_2\\ C + Even = p_3 \end{cases}

At this point, the only possible way to make \(p_1 a prime, and p_2 a prime is by making B and C odds, assuming both sums already make a prime number. Now comes the second case in the system of equations, if we already said that B and C are both odds, that raises a red flag that p_2 will end up being even, and greater than 2. We will come to this same predicament regardless of what value A, B, or C, we choose to be even.

\(\begin{cases} A + Even = p_1\\ Even + C = p_2\\ C + A = p_3 \end{cases}\)

{ A + B = p 1 B + E v e n = p 2 E v e n + A = p 3 \begin{cases} A + B = p_1 \\ B + Even = p_2 \\ Even + A = p_3 \end{cases}

Therefore, it is i m p o s s i b l e \boxed{impossible} to fill in the diagram with the set conditions.

Well if the number 2 is a prime, then putting the number 1 in each circle would make it possible. Am I wrong?

Emanuel Valen - 3 years, 10 months ago

Log in to reply

The problem asks for distinct numbers in each corner, so in this case, we can't just put a one in all of the corners.

Deva Craig - 3 years, 10 months ago
Áron Bán-Szabó
Jul 26, 2017

It is clear that it is not possible, to add two distinct positive integers to get 2. So if it is possible, then the sum of any two numbers is an odd prime number, because 2 is the only even prime number. But that's not possible, because there will be two numbers, which are both even or both odd, so the sum of them is even.

Good job on carefully treating 2 seperately

Agnishom Chattopadhyay - 3 years, 10 months ago
Maxime Weill
Aug 1, 2017

if you consider 0 as positive, you could have 0,2,3.

here where i live in france, 0 is by definition positive (also negative, but 0 is not strictly positive nor strictly negative). So by this convention, the answer to this problem would be yes, because 0+2 = 2, 0+3=3, 2+3=5 and they are all primes.

maxime weill - 3 years, 10 months ago

Log in to reply

It's an interesting convention. Thanks for sharing your view.

However, in modern mathematical literature, 0 is not considered positive.

Agnishom Chattopadhyay - 3 years, 10 months ago

0 is not considered a positive integer. Everything strictly greater than 0 is positive.

Agnishom Chattopadhyay - 3 years, 10 months ago
M M
Jul 30, 2017

In any set of 3 positive numbers, either two of them will be even or two of them will be odd (Pigeonhole Principle). In both cases, you'll have one pair of numbers that sum to an even number. In order for the even sum to be prime, the sum of this pair would have to be 2 (since the only even prime is 2). But it is impossible to add two, different, positive numbers to get 2, so the task before us is impossible.

Yep. Neat observation.

Agnishom Chattopadhyay - 3 years, 10 months ago
Venkatachalam J
Jul 30, 2017

Other than "2" all prime numbers are Odd numbers. (odd + even =odd, odd + odd =even & even + even=even)

we are not able to have this kind of combination for distinct three positive integers.(odd + even =odd)

So It is not possible the pair of adjacent circles adds up to a prime number.

I think what you want to point out here is that one of the edges must have an even-even or an odd-odd pair.

Agnishom Chattopadhyay - 3 years, 10 months ago
Ji Vid
Aug 10, 2017

The only prime even number is 2, any other even number would be divisible by two. This means that the only way this could be solved is if you could use 1 twice, but that's not possible. So, you'll either use 2 even numbers or 2 odd numbers (other than 1) which will result in an even number

Oli Hohman
Aug 6, 2017

Fact 1: The sum of two distinct odd numbers is even (and not prime). Fact 2: The sum of two even numbers is even (also not prime).

We need to show that, in every possible case, at least one of the three pairwise sums will be composite. Let's examine all possible cases. There are four cases: I) All odd, II) all even, III) 2 even & 1 odd, and IV) 1 even & 2 odd.

Case I fails by Fact 1. Case II fails by Fact 2. Case III fails because the pairwise sum with both even numbers is necessarily even (i.e. Fact 2 again). Case IV fails because the pairwise sum with both odd numbers is necessarily even (i.e. Fact 1 again).

None of the four cases have it so that all three pairwise sums are prime. Therefore, it is impossible to fill in the circles such that each pair of adjacent circles adds up to a prime number.

Ok, I'm not a mathematician like some of you guys so I had to brute force logic lol. Here's how I solved it:

OK I confess, I know some math. Enough to be nearly dangerous, like an old lady with a skillet. So here are my Axioms:

1.) All Prime Numbers are odd (Except that little devil # 2)

2.) (<- There he is, that piece of -) Odd numbers can be expressed as (2^n)-1 for n >= 0 or (2^n)+1 for n > 0 where n is a real integer. Why is the second one for n > 0? Because it would define 2 as odd (which I think it is! It fits the description of being only divided by itself and 1 but semantics and what-ever don't need angry nerds kicking down my door today)

3.) Here's a cool one. Historian and Amateur Mathematician Christian Goldbach discovered (yet unproven, though I feel like it can easily be shown) that all even numbers greater that 2 can be shown as the sum of two primes. This conjecture is important to my solution.

Ok so because of #1 we know that only odd plus an even (2+3 = 5. Ok so maybe 2 IS even. Great...) will get us a prime. Why? well if we add two primes expressed as (2^n) + 1 (see #2 if irked about 2 being odd) we see that ((2^n)+1) + ((2^n)+1) => (2^n)+(2^n) +1+1 = (2^n)+(2^n) + 2 which is obviously even. I mean look at all those twos (That piece of-)! Also we know we can take the log base 2 of this sum and get a nice integer proving it to have a divisor of 2. Now if we add an even and an odd: (2^n) + (2^n)+1 => (2^(n+1)) +1 => (2^m) + 1 which is odd since it fits axiom #2. (But Shawn that doesn't mean it's a Prime) YES I KNOW THAT POINT DEXTER! It just states the * possibility * that is is prime and it can only be a prime when the sum is odd (see #1).

So we know two odds equal a even. So the only way we can construct this triangle of love... Ehem, of numbers is to have an odd number, some weird quasi even number like 2 (You piece of -! THAT'S RIGHT PEOPLE! Comedy comes in Threes!) and an even number to prevent two odds from adding up. BUT WAIT! 2 is a * real * work of art, and we know that in this triangle it will add up with that other even number which would be (2+ (2^n)) which we know will be even (LOOK AT ALL THOSE TWOS!) and thus not odd and thus not prime. So we logically can't do this.

Mo H
Aug 6, 2017

Since there are 3 different numbers we know that they can be: odd, odd, even or even, even, odd. Any other combination will lead to there being more than one even sum which means two different even primes which is impossible. We know that one of the sums must be even which means one of sums must be the only even prime 2.

Therefore the even, even, odd combination must contain 2,0 to make the 2 and another prime to complete the trio. The prime is infact the lesser of any twin prime pair. However, of course 0 is not a positive integer. Hence this is not valid.

The other combination odd, odd, even, the odd, odd must add up to 2. But there does not exist two odd integers which are positive and less than 2. Hence there is no such combination.

This means the statement is false for any 3 distinct positive integers.

Doron Brenner
Aug 5, 2017

Don't over think it! All prime numbers are odd. Try to add any odd/even mix and get all odd numbers. Can't be done.

Nope. Your logic is wrong. 2 is not an odd number.

Pi Han Goh - 3 years, 10 months ago
Ananya Nayak
Aug 5, 2017

Let the three numbers be x, y and z. The three primes be p1, p2 and p3. p1, p2 and p3 cannot be even. The only even prime is 2. Because the numbers are needed to be distinct and positive. So p1, p2 and p3 is odd. x + y = p1. Since p1 is odd, then x is odd and y is even, or x is even and y is odd. y + z = p2. y is even and z is odd, or y is odd z is even. This will lead us to a resultant of 2 odd numbers out of x, y and z. Two odd numbers will add up to give an even number. As we know that, all even numbers except 2 are composite, thus, the above question will never have a solution.

Sap Tm
Aug 4, 2017

Only one of the numbers in the corners can be even in order to have sums attached to it are odd and prime. It means that two other numbers are odd therefore their summation is even and is not prime. So the answer is NO

John Kelly
Aug 4, 2017

Two prime numbers must add up to an even number, which cannot be prime, since it's divisible by 2.

Robert DeLisle
Aug 3, 2017

It is not possible if the numbers are distinct.

At least one pair of numbers will be both even or both odd.

Either way the sum of those two will be even, not prime.

The only way to get 3 prime sums is with 1,1,2 summing to 2,3,3 but that violates the requirement for distinct numbers.

Brian Krouse
Aug 2, 2017

Consider the parity of the three numbers at the vertices of the triangle:

Since the sum of two even integers is even, and the sum of two odd integers is also even, we can see that no matter the choices for parity of the three numbers, at least one sum must be even.

However, the only even prime number is 2 -- and since we cannot place the number 1 at two separate vertices (the numbers at the vertices must be distinct), there can be no solution.

Nice solution. Good job on treating 2 carefully.

Agnishom Chattopadhyay - 3 years, 10 months ago
Sam Dave
Aug 2, 2017

a much easier approach. by hit and trial we deduce that 2 cannot be any of that positive integer and so two cannot be an answer .now as two cannot be the required prime two of those circles m ust contain odd positive integers but odd + odd =even and 2 as the only prime is not an answer ..results in a contradiction

Why must the numbers in the circles be odd?

Agnishom Chattopadhyay - 3 years, 10 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...