Square of product of successive naturals

I’ve been working on an interesting task from a regional math contest:

Prove that the product of 8 successive naturals cannot be a natural number to the power of 4.

To prove this, we will first take a look at two other theorems (and prove them), and then use them to prove the original statement.

I. \sqrt{x} irrational \implies \sqrt{\sqrt{x}} irrational

To prove this, it suffices proving the contrapositive:
\sqrt{\sqrt{x}} rational \implies \sqrt{x} rational.

We have that for some a, b, a/b = \sqrt{\sqrt{x}}

Square both sides to get a^2/b^2 = \sqrt{x}. Thus, \sqrt{x} is rational.

II. \sqrt{x(x+1)} is irrational

To prove this, note that x and (x+1) need to be squares. Consider for some a, x = a^2. Further, for some b, x + 1 = b^2.

Now, b^2 - a^2 = (b - a)(b + a) = 1. But the only way this is possible if b - a = 1/(b + a).

Since a and b are positive naturals, we reach a contradiction for the identity above and thus either x or x+1 have no squares. In either case, \sqrt{x(x+1)} is irrational.

III. Prove that there is no y s.t. y^4 = x(x+1)(x+2)(x+3)(x+4)(x+5)(x+6)(x+7) = *

We will assume that such y exists and reach a contradiction.

Rewrite as y = \sqrt{\sqrt{*}} and suppose y is rational.

From I we have that it suffices to only prove that \sqrt{*} is rational.

From II we have that either x or (x+1) is irrational. At least one of the 8 elements has no square, and we reach a contradiction. Thus y is irrational.


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s