Triangle Squares

A square-triangular number is a perfect square that is also a triangular number . The first three square-triangular numbers are 0, 1, and 36.

What is the 6 th 6^\text{th} square-triangular number?


Note: For example, 0 2 = 0 , 1 2 = 1 , 2 2 = 4 , 3 2 = 9 , . . . 0^2=0, 1^2=1, 2^2=4, 3^2=9, ... are perfect squares and 0 , 1 , 1 + 2 = 3 , 1 + 2 + 3 = 6 , . . . 0, 1, 1+2=3, 1+2+3=6, ... are triangular numbers.


The answer is 1413721.

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.

2 solutions

Mark Hennings
Oct 21, 2017

We want 1 2 n ( n + 1 ) = m 2 \tfrac12n(n+1) = m^2 , and this equation becomes ( 2 n + 1 ) 2 2 ( 2 m ) 2 = 1 (2n+1)^2 - 2(2m)^2 \; = \; 1 The non-negative integer solutions of Pell's equation x 2 2 y 2 = 1 x^2 - 2y^2 = 1 are obtained by the formula x k + y k 2 = ( 1 + 2 ) 2 k = ( 3 + 2 2 ) k x_k + y_k\sqrt{2} = (1 + \sqrt{2})^{2k} \; = \; (3 + 2\sqrt{2})^k for all k 0 k \ge 0 . Note that x k x_k will always be odd, and y k y_k will always be even. With x 5 = 3363 x_5 = 3363 and y 5 = 2378 y_5 = 2378 we obtain n = 1681 n = 1681 and m = 1189 m = 1189 , making the answer 1 2 n ( n + 1 ) = 1413721 \tfrac12n(n+1) = \boxed{1413721}

Pedro Cardoso
Oct 20, 2017

Were looking for a pair of natural numbers ( a , b ) (a,b) such that a 2 = b ( b + 1 ) 2 a^2=\frac{b\left(b+1\right)}{2} In order to apply Vieta root-jumping , we'll make a = b k a=b-k . Substituting and reorganizing, we have b 2 4 b k b + 2 k 2 = 0 b^2-4bk-b+2k^2=0 If we have a solution ( b 1 , k 1 ) (b_1,k_1) we can fix b = b 1 b=b_1 , which gives us 2 k 2 ( 4 b 1 ) k + ( b 1 2 b 1 ) = 0 2k^2-\left(4b_1\right)k+\left(b_1^2-b_1\right)=0 And from Vieta's formula applied to the constant term, we know that if k 1 k_1 is an integer solution, then there exists another integer solution k 2 k_2 such that k 2 = b 1 2 b 1 2 k 1 k_2=\frac{b_1^2-b_1}{2k_1} In an analogous procedure, fixing k = k 2 k=k_2 , and reorganizing the equation so it becomes a polinomyal in b, we will find soluutions b 1 b_1 (which we already found earlier) and b 2 b_2 such that b 2 = 2 k 2 2 b 1 b_2=\frac{2k_2^2}{b_1} Now, the reason we first fixed b = b 1 b=b_1 instead of k = k 1 k=k_1 is we want to get greater and greater solutions, by fixing b = b 1 b=b_1 first, we would end up at the solution b = 0 , k = 0 b=0,k=0 , you can try it for yourself and check it.

For the same reason, the "intermediate" solution ( b 1 , k 2 ) (b_1,k_2) doesn't work for us, because k 2 b 1 = b 1 k 1 k_2-b_1=b_1-k_1 , and remember, a = b k a=b-k .

Both previous statements seem a bit out of the blue, but they become obvious if you graph 2 y 2 ( 4 x ) y + ( x 2 x ) = 0 2y^2-\left(4x\right)y+\left(x^2-x\right)=0 along with y = x y=x and look at where these solutions are, remember: vieta jumping finds solutions by jumping in 90 o { 90 }^{ o } angles between the hyperbola's "arms".

Summarizing what we've done: if we have a solution ( b 1 , k 1 ) (b_1,k_1) , we can find another solution ( b 2 , k 2 ) (b_2,k_2) , where b 2 b_2 and k 2 k_2 are given by the expressions discussed earlier. Now, we can put b 3 = 8 b_3=8 and k 3 = 2 k_3=2 and jump between the solutions until we get to ( b 6 , k 6 ) (b_6,k_6) . I've done this and organized the values found in this table:

n n b n b_n k n k_n
1 0 0
2 1 0
3 8 2
4 49 14
5 288 84
6 1681 492

Finally, the number we want is ( b 6 k 6 ) 2 (b_6-k_6)^2 which is 118 9 2 1189^2 which is

1413721

For the same reason, the "intermediate" solution ( b 1 , k 2 ) (b_1,k_2) doesn't work for us, because k 2 b 1 = b 1 k 1 k_2-b_1=b_1-k_1 , and remember, a = b k a=b-k .

I think this statement needs clarification:

From 2 k 2 ( 4 b ) k + ( b 2 b ) = 0 2k^2-\left(4b\right)k+\left(b^2-b\right)=0 We can conclude that 2 b 1 = 2 k 1 2 + b 1 2 + b 1 2 k 2b_1=\frac{2k_1^2+b_1^2+b_1}{2k} Which is exactly the same thing you'd get by adding k 1 k_1 with the expression for k 2 k_2 . Therefore, k 1 + k 2 = 2 b 1 k_1+k_2=2b_1 The rest is simple algebra

Pedro Cardoso - 3 years, 7 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...