Magic Tetrahedron

Algebra Level 3

The diagram above shows four orange circles { v 1 , v 2 , v 3 , v 4 } \left\{v_1,v_2,v_3, v_4\right\} and n n white circles on each of the 6 6 edges, where n n is a strictly positive integer. A distinct integer from 1 1 to ( 4 + 6 n ) (4 + 6n) is placed in each circle on the tetrahedral graph, such that the sum of ( 2 + n ) (2 + n) of them along each edge is equal to the sum of the 4 4 numbers at 4 4 vertices. In other words, all 6 6 sums are ( v 1 + v 2 + v 3 + v 4 ) \left( v_1 + v_2 + v_3 + v_4\right) .

What are the choices of n n for each edge that work for this puzzle?

If you find finite number of solutions, input the sum of all n n 's as your answer.

If you find infinitely many solutions, input 1 -1 as your answer.

If you believe all positive integers of n n don't work, input 0 0 as your answer.


The answer is 2.

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.

1 solution

Michael Huang
Jul 8, 2017

Finding ( x 1 + x 2 + x 3 + x 4 ) (x_1 + x_2 + x_3 + x_4)


Let y j y_j 's denote the white circles in the graph and x i x_i 's denote { v 1 , v 2 , v 3 , v 4 } \{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 = 1 2 ( 1 + 4 + 6 k ) ( 4 + 6 k ) = ( 2 + 3 k ) ( 5 + 6 k ) \begin{array}{rl} \sum_{i=1}^4 x_i + \sum_{j=1}^{6k} y_j &= \dfrac{1}{2}\left(1 + 4 + 6k\right)\left(4 + 6k\right)\\ &= \left(2 + 3k\right)\left(5 + 6k\right) \end{array} Since the value in each of the vertices occur three times in the sum, and there are 6 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 3\sum_{i=1}^4 x_i + \sum_{j=1}^{6k} y_j = 6\sum_{i=1}^4 x_i where 6 i = 1 4 x i 6\sum_{i=1}^4 x_i denote 6 6 times the edge sum that equals ( x 1 + x 2 + x 3 + x 4 ) \left(x_1 + x_2 + x_3 + x_4\right) . Elementary algebra shows that since j = 1 6 k y j = 3 i = 1 4 x i \sum_{j=1}^{6k} y_j = 3\sum_{i=1}^4 x_i and j = 1 6 k y j = ( 2 + 3 k ) ( 5 + 6 k ) i = 1 4 x i \sum_{j=1}^{6k} y_j = \left(2 + 3k\right)\left(5 + 6k\right) - \sum_{i=1}^4 x_i the magic sum is 1 4 ( 2 + 3 k ) ( 5 + 6 k ) \dfrac{1}{4} (2 + 3k)(5 + 6k)


Solving for k k


There are several restrictions of the value of the magic sum that occurs in the puzzle:

  • It depends on the minimum and the maximum of i = 1 4 x i \sum_{i=1}^4 x_i .
  • Since all circles contain integers, the sum of the circles must be an integer. Otherwise, this can't happen.

From the first remark, the minimum is 10 10 (which is easily found by adding all integers from 1 1 to 4 4 ), whereas the maximum is 1 2 ( 1 + 6 k + 4 + 6 k ) ( 4 + 6 k ( 1 + 6 k ) + 1 ) = 2 ( 5 + 12 k ) \dfrac{1}{2}\left(1 + 6k + 4 + 6k\right)\left(4 + 6k - \left(1 + 6k\right) + 1\right) = 2(5 + 12k) Evaluating the following inequality: 10 1 4 ( 2 + 3 k ) ( 5 + 6 k ) 2 ( 5 + 12 k ) 10 \leq \dfrac{1}{4} (2 + 3k)(5 + 6k) \leq 2(5 + 12k) we see that the possible integer candidates of k k is between 1 1 and 4 4 . Checking by substitution shows that k = 2 \boxed{k = 2} is the only solution that works since ( 2 + 3 2 ) ( 5 + 6 2 ) 0 m o d 4 (2 + 3 \cdot 2)(5 + 6 \cdot 2) \equiv 0 \bmod 4

Note : There exist such tetrahedral graphs that work! See my fun challenge under my response.

Bonus : Prove that there exist some tetrahedral graphs of (2) white circles on each edge, where the vertex and magic sums are both 34 34 . What can we say about the numbers in the circles? Is there something interesting about them?

Note : There are distinct integers from 1 1 to 16 16 .

Michael Huang - 3 years, 11 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...