18
$\begingroup$

The title says it, basically. My question is $-$ for $ n \ge 2 $, can $n!!$ be a perfect square, where $!!$ represents the double-factorial? My conjecture is no, but I can't seem to be able to find a good proof for this.

$\endgroup$
1
  • 2
    $\begingroup$ Can a factorial be a perfect square? $\endgroup$
    – Inceptio
    Oct 7, 2014 at 18:42

1 Answer 1

22
$\begingroup$

No, for odd $n,$ there is a prime between $(n-1)/2$ and $n.$ The exponent of this prime in factoring $n!!$ is one, that is, odd.

Edit. looking at even numbers and the definition, it appears $$ (2n)!! = 2^n n! $$ in which case we ignore the exponent of $2$ and concentrate on $n!,$ which cannot be a square either for this $n \geq 3,$ also because of an odd prime. See here.

$\endgroup$
4
  • 7
    $\begingroup$ Just want to note that he used Bertrand's postulate. Very nice argument. $\endgroup$ Oct 7, 2014 at 18:25
  • $\begingroup$ Beautiful; thank you very much! $\endgroup$ Oct 7, 2014 at 18:43
  • $\begingroup$ I don't understand your dividing-out strategy. Are you claiming that if $n$ is even, then $n!!=2^mk!!$ for some integer $m$ and odd $k$? $\endgroup$
    – TonyK
    Oct 7, 2014 at 18:57
  • 2
    $\begingroup$ @TonyK, never used $n!!$ for even $n$ before. The definition seems to say $(2n)!! = 2^n n!$ Then the same argument applies to $n!$ $\endgroup$
    – Will Jagy
    Oct 7, 2014 at 19:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.