Processing math: 100%

Thursday, 8 December 2022

Sums of Squares Pattern

I watched an interesting video that describes a pattern involving sums of squares. The property can be stated as follows:n2+(n+1)2+n2(n+1)2=(n(n+1)+1)2where both sides are equal to n4+2n3+3n2+2n+1The author of the video arrives at the pattern by considering specific numerical examples and doesn't look at the underlying algebra.

The pattern is more meaningful when we look at some specific examples:12+22+22=3222+32+62=7232+42+122=13242+52+202=21252+62+302=312Looking at this property the other way, we can say that for any integer a:a2=(a1)2+x2+(x+1)2where x is an integer such that x(x+1)=a1 if such integers exist, which of course will not often be the cause.

However, number of the form x(x+1) are pronic and members of OEIS A002378:


 A002378



Oblong (or promic, pronic, or heteromecic) numbers: a(n)=n(n+1).   
              

0, 2, 6, 12, 20, 30, 42, 56, 72, 90, 110, 132, 156, 182, 210, 240, 272, 306, 342, 380, 420, 462, 506, 552, 600, 650, 702, 756, 812, 870, 930, 992, 1056, 1122, 1190, 1260, 1332, 1406, 1482, 1560, 1640, 1722, 1806, 1892, 1980, 2070, 2162, 2256, 2352, 2450, 2550, ...

Thus for every number that is one more than a pronic number, there will always be an integer value of x to satisfy a2=(a1)2+x2+(x+1)2. Looking at the list of pronic numbers above, let's take 2550 as an example. We will then have:25512=25502+x2+(x+1)2x2+(x+1)2+2550225512=0x2+x2+2x+1+5101(1)=02x2+2x5100=0(2x100)(x+51)=0x=50 or 51Thus, choosing the positive solution, we have 25512=25502+512+502.

Of course, only numbers that are not equal to 7 mod 8 can be represented as a sum of three squares and we find that 25512mod81. In fact, this value of 1 holds for all such square numbers whose square roots are one more than a pronic number. Thus we can say that if n is a pronic number then  (n+1)2mod81

There's nothing earth shattering in these observations. The connection with pronic numbers caught my attention after watching the video and I thought I'd follow up on it. Of course, numbers like 25512=6507601 can be expressed as a sum of three squares in probably thousands of ways and the pattern described earlier is just one these.

No comments:

Post a Comment