# To prove : Perfect square

I need to prove the following, but I am not able to do it, this is not homework, nor something related to research, this question came in my exam and so I would want to have a solution which is possible in minutes(Exam)

Q. If $n = 1 + m$, where $m$ is the product of four consecutive positive integers, prove that $n$ is a perfect square.

Now since $m = p(p+1)(p+2)(p+3)$;

$p = 0, n = 1$ Perfect Square

$p = 1, n = 25$ Perfect Square

$p = 2, n = 121$ Perfect Square

Is there any way to prove the above without induction. My approach was to expand $m = p(p+1)(p+2)(p+3)$ into a 4 degree equation, and then try making $n = m + 1$ as a perfect square, but I wasn't able to do it. Any idea if it is possible?

-
I assume you posted this from your smartphone in the bathroom during your exam ;) –  Wipqozn Jun 7 '12 at 13:57
Sorry dude, but this happens to be from a mock test for an exam called CAT(For Indian MBA colleges), which happens to take place in November, and where there no bathroom breaks, smartphones aren't even allowed inside. And seriously I don't give a damn about mocks, that I would care so much as to post a question and that too with so much formatting, a question which is just worth 1 mark.So don't judge people on your own. –  Kartik Anand Jun 7 '12 at 14:02
@KartikAnand I was just joking, hence the ;) –  Wipqozn Jun 7 '12 at 14:16
@Wipqozn no worries ;) (I knew :P ) –  Kartik Anand Jun 8 '12 at 11:13
haha, you had me worried there with your comment :P –  Wipqozn Jun 8 '12 at 11:16

## 10 Answers

Your technique should have worked, but if you don't know which expansions to do first you can get yourself in a tangle of algebra and make silly mistakes that bring the whole thing crashing down.

The way I reasoned was, well, I have four numbers multiplied together, and I want it to be two numbers of the same size multiplied together. So I'll try multiplying the big one with the small one, and the two middle ones.

$$p(p+1)(p+2)(p+3) + 1 = (p^2 + 3p)(p^2 + 3p + 2) + 1$$

Now those terms are nearly the same. How can we force them together? I'm going to use the basic but sometimes-overlooked fact that $xy = (x+1)y - y$, and likewise $x(y + 1) = xy + x$.

\begin{align*} (p^2 + 3p)(p^2 + 3p + 2) + 1 &= (p^2 + 3p + 1)(p^2 + 3p + 2) - (p^2 + 3p + 2) + 1 \\ &= (p^2 + 3p + 1)(p^2 + 3p + 1) + (p^2 + 3p + 1) - (p^2 + 3p + 2) + 1 \\ &= (p^2 + 3p + 1)^2 \end{align*} Tada.

-
Wow you did it, but tell me one thing.You said "I have four numbers multiplied together, and I want it to be two numbers of the same size multiplied together. ", but why? I mean 1 is still being added to expression. –  Kartik Anand Jun 7 '12 at 9:50
Well, I was kind of ignoring the 1 for the time being; I wanted two numbers roughly the same, and I thought the details likely to work themselves out :) –  Ben Millwood Jun 7 '12 at 9:56
Slightly smoother: When you are at $(p^2+3p)(p^2+3p+2)+1$, let $x=p^2+p+1$, We are looking at $(x-1)(x+1)+1=x^2-1+1=x^2$. –  André Nicolas Jun 7 '12 at 10:14
@AndréNicolas make it 3p in the expression for x –  Kartik Anand Jun 7 '12 at 10:19
This goes by what I like to call the 'Mathematics of wishful thinking' : there is a solution, we sort of know what it should look like, and so we go and hope that everything works out. +1 –  mixedmath Jun 7 '12 at 19:29

$(n-1)(n+1)+1 = n^{2}$.

Note that $(n+1)-(n-1)=2$.

With this in mind

\begin{align*} p(p+1)(p+2)(p+3)+1 &= (p^{2}+3p)(p^{2}+3p+2)+1 \\ &= [(p^{2}+3p+1)-1][(p^{2}+3p+1)+1]+1 \\ &= (p^{2}+3p+1)^2 \end{align*}

-
Some simple observations oft lead to marvelous discoveries, greatly confirmed here. –  awllower Jun 7 '12 at 14:23
That's beautiful! –  Chris Cudmore Jun 7 '12 at 18:39

Below I present a generalization.  Using the abbreviations$\rm\ \ c = a\!+\!b,\ \ \color{red}d = ab/2\:\$ we compute

$$\rm\begin{eqnarray} &&\rm\qquad\quad\ \color{blue}{(x\!+\!a)\,(x\!+\!b)}\,(x\!+\!c)\,x &=&\rm\, \color{blue}{(x^2\!+cx\ \ +\ \ ab\ \ \ \, )}\,(x^2+cx\:\!) \\ && &=&\rm\, (x^2\!+cx+d\ \,\color{red}{+\, d})\,(x^2+cx+d\, \color{red}{-\,d}) \\ && &=&\rm\, (x^2\!+cx+d)^2\! \color{red}{- d^2} \\ \rm b=2\quad &\Rightarrow&\rm\quad\ \ \ \ x(x+a)(x\!+\!2)(x\!+\!a\!+\!2) &=&\,\rm (x^2\!+(a\!+\!2)\,x+a)^2 -a^2 \\ \rm a=1\quad &\Rightarrow&\rm\qquad\quad\ \ \ x(x\!+\!1)(x\!+\!2)(x\!+\!3) &=&\rm\, (x^2\!+3\:\!x+1)^2 -1\ \ \ as\ sought. \end{eqnarray}$$

-
+1 This is certainly nice, Thank you –  Kartik Anand Jun 8 '12 at 11:13

Set $p+1.5=q$. Now \begin{align*}m &= (q-1.5)(q-0.5)(q+0.5)(q+1.5)+1 \\ &= (q-1.5)(q+1.5)(q-0.5)(q+0.5)+1 \\ &= (q^2 - 2.25)(q^2-0.25)+1 \\ \end{align*}

Let $q^2 = r$.

\begin{align*} m &= (r-2.25)(r-0.25)+1\\ &= r^2-2.5a+1.5625 \\ &= (r-1.25)^2. \end{align*}

This is a perfect square since r ends in 0.25 as q ends in 0.5

Basically the substitution converted it from a fourth degree to a quadratic which made it easy to deal with.

-
I like this method. The first thing you do is try to make the equation at the top more symmetrical, which was basically my idea, but we went about it in different ways. –  Ben Millwood Jun 7 '12 at 10:10
@benmachine totally agree, but I just don't that like the number 1.5 –  zinking Jun 8 '12 at 2:18

$$1+p(p+1)(p+2)(p+3)=1+ \dots +p^4.$$

If you want a general formula, it must be a square either of the form $(p^2+cp+1)^2$ or $(p^2+cp-1)^2$ for some constant $c$.

Expand the squares and the original product and match up two terms to calculate $c$. Verify that the other coefficients are correct as well.

Details:

The expansion of the product is $p^4+6p^3+11p^2+6p+1$.

The expansions of the squares are $p^4 + 2cp^3+c^2p^2\pm2p^2\pm2cp+1$.

Comparing the coefficients of $p^3$ gives $c=3$ which evidently works with the plus sign, so we get $(p^2+3p+1)^2$.

-

Here's another way which begins by exploiting a symmetry in the expression.

Notice that if you substitute $x=p+\frac{3}{2}$, the expression becomes

$$\left(x-\frac{3}{2}\right)\left(x-\frac{1}{2}\right)\left(x+\frac{1}{2}\right)\left(x+\frac{3}{2}\right) + 1$$

Now see that the terms make the product of 2 differences of squares

\begin{align} & \quad \left(x+\frac{3}{2}\right)\left(x-\frac{3}{2}\right)\left(x+\frac{1}{2}\right)\left(x-\frac{1}{2}\right) + 1 \\&= \left(x^2-\frac{9}{4}\right)\left(x^2-\frac{1}{4}\right) + 1 \\ &= \left(x^4 - \frac{10}{4} x^2 + \frac{9}{16}\right) + 1 \\ &= x^4 - \frac{10}{4} x^2 + \frac{25}{16} \\ &= \left(x^2 - \frac{5}{4}\right)^2 \\ &= \left(p^2 + 3p + 1\right)^2 \end{align}

which is a perfect square.

-
You miss one final step; to see that it is a perfect square of an integer, you need that $x^2 - 5/4$ is an integer. In this case you could say you are "lucky" that $2 \cdot (3/2), (3/2)^2 - 5/4 \in \mathbb{N}$. –  TMM Jun 7 '12 at 19:31
@TMM: Or you could just say that it's an integer which is the perfect square of a rational number, which makes it the perfect square of an integer. –  Micah Jun 7 '12 at 23:05
Yes, I did miss the final step, but there's no luck involved - it's straightforward algebra that x^2 - 5/4 is an integer. See my edit which completes the proof. –  JTB Jun 8 '12 at 13:02

If I am missing something I will take this answer down, but the following seems responsive to your question.

If

$m = 1 + x(x+1)(x+2)(x+3)$ we can expand this as $1+6x+11x^2+6x^3+x^4$.

This is

$m = (1+3x+x^2)^2$

So when x is an integer, this shows that m is a perfect square, without induction.

-
How did you factorise the quartic? –  Ben Millwood Jun 7 '12 at 9:47
@benmachine: I basically used Phira's process (below) and guessed the constant. –  daniel Jun 7 '12 at 9:51
@benmachine you can also do $(x^2+ax+b)^2 = 1+6x+11x^2+6x^3+x^4$ and that is easy to solve for $a$ and $b$. –  picakhu Jun 7 '12 at 13:26

I think there are two issues here. One is constructing the quartic, which just depends on you doing the algebra correctly. The second is proceeding to factorise the quartic. It would be easier to factorise it if you know what the factorisation is going to be.

To discover this, I tried a few examples. For $p=7$, the quartic gives $5041=71^2$. For $p=14$, the quartic gives $57121=239^2$. I noticed that $71=72-1=8\times9-1$ and $239=15\times16-1$.

This suggested that the quartic was $((p+1)(p+2)-1)^2$.

Once you know the answer, it is easy to find it!

-

Take $p^2$ common after multiplying.
Then put $p +1/p =y$ and solve.

You will get the answer.

-

I have to add what I think is a 'dumb' way to do it by hand (with paper) as opposed to Alex B. succinct cleverness:

First, multiply out the product to get $p^4 + 6p^3 + 11p^2 + 6p + 1$.

Since this is a square, it must be a quadratic $p^2 + x p + y$.

Squaring the quadratic, ignoring a lot of the cruft, and just looking at just the second and last coefficients

$$6 = x + x$$

and

$$1 = y^2$$

and you're done.

-