I Relationship between factorials and squares of natural numbers

Prez Cannady
Messages
21
Reaction score
2
TL;DR Summary
Two equations relating factorials with squares of natural numbers. They seem to work.
Was fooling around and wrote down these two equations today that appear to work. I'm not all that bright and I'm positive these either have some proof or restate some conjecture--probably something in a textbook. Could somebody help me out?

<br /> \forall n \in \mathbb{N}_0\smallsetminus\{0\}<br />
<br /> n^2 = \frac{\left(n + 1 \right)! - n!}{\left(n - 1 \right)!} \\<br />
<br /> \left(n + 1 \right)^2 = \frac{\left(n + 1 \right)! + n!}{\left(n - 1 \right)!} + 1 \\<br />
 
Mathematics news on Phys.org
The right hand side simplifies in each case as the denominator is a factor of the numerator. E.g ##\frac{n!}{(n-1)!}=n##
 
  • Like
Likes Prez Cannady
This is basically the definition of the faculty and the distribution law. If you want to read more about the faculty, which formulas hold, and which generalizations exist, look up the Gamma function, and the Beta function.
 
  • Like
Likes Prez Cannady
Is faculty an autocorrect for factorial?
 
  • Informative
  • Like
Likes berkeman and Prez Cannady
PeroK said:
Is faculty an autocorrect for factorial?
Lost in translation, sorry. (We use the same word for both meanings.)
 
  • Like
Likes Prez Cannady
PeroK said:
The right hand side simplifies in each case as the denominator is a factor of the numerator. E.g ##\frac{n!}{(n-1)!}=n##

Indeed. Was just curious if there was a name for it or if I'm just writing down n^2 and (n + 1)^2 in a needlessly complicated fashion.
 
fresh_42 said:
Lost in translation, sorry. (We use the same word for both meanings.)
Just so I'm clear:

1. faculty -> factorial
2. distribution law -> distributive law

Is that correct?
 
Prez Cannady said:
Just so I'm clear:

1. faculty -> factorial
2. distribution law -> distributive law

Is that correct?
Yes.
 
@Prez Cannady :
This may interest you: Can you prove## n! ## is never a perfect square for ##n >1 ##?
 
  • #10
Prez Cannady said:
Indeed. Was just curious if there was a name for it or if I'm just writing down n^2 and (n + 1)^2 in a needlessly complicated fashion.
It's so easy to show that I would be surprised if it has gotten more attention.
##\frac{\left(n + 1 \right)! - n!}{\left(n - 1 \right)!} = \frac{(n+1)n(n-1)! - n(n-1)!}{(n-1)!} = \frac{n^2 (n-1)!}{(n-1)!} = n^2##

Factorial and faculty are both "Fakultät" in German.
 
  • Informative
Likes berkeman
  • #11
Interesting... Would one start by separating the expansion to the product of composite factors multiplied by the product of prime factors (the latter can never be a perfect square)?
 
  • #12
valenumr said:
Interesting... Would one start by separating the expansion to the product of composite factors multiplied by the product of prime factors (the latter can never be a perfect square)?
After having chased that rabbit hole and having thought about this more, is it not sufficient to say simply that there is a maximal prime factor with coefficient (edit) exponent 1?
 
Last edited:
  • #13
That's the easiest way to show it, using Bertrand's postulate and checking the first few cases separately.
 
  • Like
Likes valenumr

Similar threads

Back
Top