Figurate Numbers

Algebra Level 2

Prove using algebraic proof that there is only 1 1 integer that is in all of the figurate number sequences.

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.

3 solutions

Chris Lewis
May 12, 2020

It seems there's a little confusion over exactly what is counted as a figurate number, but it's simple to show there is at most one positive integer that can appear in all figurate number sequences. Simply consider the polygonal numbers , which are a subset of the figurate numbers. The first n n -gonal number is always 1 1 ; the second is always n n .

If any integer k > 1 k>1 were to appear in all figurate number sequences, it would have to appear in all polygonal number sequences; but it doesn't appear in the k + 1 k+1 -gonal number sequence. So the only positive integer that could possibly appear in all figurate sequences is 1 1 . Then it comes down to definitions as to whether 0 0 should be included as well.

@Chris Lewis, if I may (no offence): the pronic number's first two terms: 0 0 , 2 2 when n = 0 n = 0 or 1 1 respectively. Therefore, 0 should be the right answer.

A Former Brilliant Member - 1 year, 1 month ago

Since the algebraic proof is so long (took me 3 3 - 3.5 3.5 hrs to complete it fully):

Figurate Number Wiki

Go to the bottom of the page once you click on the link, press show where it says Figurate Numbers, open all the links in a new tab, note down all of the formulas, set them equal to each other and split it into 9 9 stages:

S 1 1 : Do the fractions with denominator of 2 2 - simplify it to one equation (name it S 1 1 finalistic equation)

S 2 2 : Do the fractions with denominator of 3 3 - simplify it to one equation - then set the S 2 2 simplified equation equal to the S 1 1 finalistic equation and simplify it (name it S 2 2 finalistic equation)

S 3 3 : Do the fractions with denominator of 6 6 - simplify it to one equation - then set the S 3 3 simplified equation equal to the S 2 2 finalistic equation and simplify it (name it S 3 3 finalistic equation)

S 4 4 : Set the S 3 3 finalistic equation equal to the pentatope number formula and simplify (name it S 4 4 finalistic equation)

S 5 5 : Set all of the formulas (excluding the hypercube number formulas and both the pentagon and centered tetrahedral number formulas) equal to each and simplify that to one equation - then set the S 5 5 simplified equation equal to the S 4 4 finalistic equation and simplify it (name it S 5 5 finalistic equation)

S 6 6 : Set both the pentagon and centered tetrahedral number formulas equal to each other and simplify it - then set the S 6 6 simplified equation equal to the S 5 5 finalistic equation and simplify it (name it S 6 6 finalistic equation)

S 7 7 : Set the hypercube number formulas equal to each other ( n 2 , n 3 , n 4 , n 5 , n 6 , n 7 , n 8 n^2, n^3, n^4, n^5, n^6, n^7, n^8 and simplify it (this took so long - will explain it in the Figurate Numbers note in case any of you are confused) - then set the S 7 7 simplified equation equal to the S 6 6 finalistic equation and simplify it (name it S 7 7 finalistic equation)

S 8 8 : Set the S 7 7 finalistic equation equal to y y and go to Desmos Polynomial Graph Calculator and note down the turning point (in case you don't know what the equation is: n 8 6 n 7 + 15 n 6 20 n 5 + 16 n 4 + 143 n 3 + 1880 n 2 + 1120 n + 753 n^8 - 6n^7 + 15n^6 - 20n^5 + 16n^4 + 143n^3 + 1880n^2 + 1120n + 753 ). Then set the x x co-ordinate equal to n n ( n = 0.308 n = -0.308 ). Then since it needs to be an integer, n 0 n \approx 0 .

S 9 9 : Substitute n = 0 n = 0 into all of the figurate number formulas and you should get: 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0 .

Therefore, 0 0 is the only number that is in all the figurate number sequences. Therefore, using algebraic proof, there is a number that is in all the figurate numbers, therefore, the answer is Yes.

The r r -topic number sequence is given by

( n + r 1 r ) n+r-1\choose r .

The only member which appears in all these sequences is ( n 1 0 ) n-1\choose 0 , which is 1 1 .

But, @Alak Bhattacharya , when n = 1, n(n + 1), 1(1 + 1) = 1(2) = 2 for the pronic numbers. Therefore 1 is false.

A Former Brilliant Member - 1 year, 1 month ago

Log in to reply

Another way, @Alak Bhattacharya , to prove that 1 is false:

0, 2, 1, 1, 0.25, 1, 1, 1, 1, 1, 1, 0, 11, 1, 1, 1, 1 ,10/3, 9, 22, 26/3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1

1 appears only 29 times out of the 38 formulas. However, when n = 0:

0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0

0 appears in all of the formulas.

Therefore, 1 is false.

A Former Brilliant Member - 1 year, 1 month ago

Log in to reply

How do you define figurate numbers? (e. g., linear numbers, triangular numbers, tetrahedral numbers etc.).

A Former Brilliant Member - 1 year, 1 month ago

Log in to reply

@A Former Brilliant Member https://en.wikipedia.org/wiki/Figurate_number - then go to the bottom of the page and click show where it says Figurate Numbers - that's how I define figurate numbers (and their formulas)

A Former Brilliant Member - 1 year, 1 month ago

1 pending report

Vote up reports you agree with

×

Problem Loading...

Note Loading...

Set Loading...