The diagram above shows four orange circles and white circles on each of the edges, where is a strictly positive integer. A distinct integer from to is placed in each circle on the tetrahedral graph, such that the sum of of them along each edge is equal to the sum of the numbers at vertices. In other words, all sums are .
What are the choices of for each edge that work for this puzzle?
If you find finite number of solutions, input the sum of all 's as your answer.
If you find infinitely many solutions, input as your answer.
If you believe all positive integers of don't work, input as your answer.
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.
Finding ( x 1 + x 2 + x 3 + x 4 )
Let y j 's denote the white circles in the graph and x i 's denote { v 1 , v 2 , v 3 , v 4 } .
The sum of all integer values in the puzzle is ∑ i = 1 4 x i + ∑ j = 1 6 k y j = 2 1 ( 1 + 4 + 6 k ) ( 4 + 6 k ) = ( 2 + 3 k ) ( 5 + 6 k ) Since the value in each of the vertices occur three times in the sum, and there are 6 edges in the graph (representing the sum), the total of all sums is 3 i = 1 ∑ 4 x i + j = 1 ∑ 6 k y j = 6 i = 1 ∑ 4 x i where 6 ∑ i = 1 4 x i denote 6 times the edge sum that equals ( x 1 + x 2 + x 3 + x 4 ) . Elementary algebra shows that since j = 1 ∑ 6 k y j = 3 i = 1 ∑ 4 x i and j = 1 ∑ 6 k y j = ( 2 + 3 k ) ( 5 + 6 k ) − i = 1 ∑ 4 x i the magic sum is 4 1 ( 2 + 3 k ) ( 5 + 6 k )
Solving for k
There are several restrictions of the value of the magic sum that occurs in the puzzle:
From the first remark, the minimum is 1 0 (which is easily found by adding all integers from 1 to 4 ), whereas the maximum is 2 1 ( 1 + 6 k + 4 + 6 k ) ( 4 + 6 k − ( 1 + 6 k ) + 1 ) = 2 ( 5 + 1 2 k ) Evaluating the following inequality: 1 0 ≤ 4 1 ( 2 + 3 k ) ( 5 + 6 k ) ≤ 2 ( 5 + 1 2 k ) we see that the possible integer candidates of k is between 1 and 4 . Checking by substitution shows that k = 2 is the only solution that works since ( 2 + 3 ⋅ 2 ) ( 5 + 6 ⋅ 2 ) ≡ 0 m o d 4
Note : There exist such tetrahedral graphs that work! See my fun challenge under my response.