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
    Commented 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$ Commented Oct 7, 2014 at 18:25
  • $\begingroup$ Beautiful; thank you very much! $\endgroup$ Commented 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
    Commented 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
    Commented Oct 7, 2014 at 19:00

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .