MHB Solve Polynomial Challenge: Prove $(x-1)(x-2)(x-3)(x-4)(x-5)(x-6)=720$

AI Thread Summary
The discussion centers on proving that the equation (x-1)(x-2)(x-3)(x-4)(x-5)(x-6)=720 has only two real solutions. Participants share their methods for solving the problem, with one user expressing appreciation for another's fast and effective approach. Both users mention utilizing computational tools to assist with the calculations involved in the solution. The conversation highlights collaboration and the exchange of problem-solving techniques. Ultimately, the focus remains on the mathematical proof of the equation's solutions.
anemone
Gold Member
MHB
POTW Director
Messages
3,851
Reaction score
115
Prove that there are only two real numbers such that $(x-1)(x-2)(x-3)(x-4)(x-5)(x-6)=720$.
 
Mathematics news on Phys.org
My solution:

Given that $6!=720$ we can see that:

$$x=0,\,7$$

And so, we may look at the number of real roots for:

$$f(x)=\frac{(x-1)(x-2)(x-3)(x-4)(x-5)(x-6)-720}{x(x-7)}=x^4-14x^3+77x^2-196x+252$$

$$f'(x)=2(2x-7)\left(x^2-7x+14 \right)$$

The discriminant of the quadratic factor is negative, hence there is only 1 critical value:

$$x=\frac{7}{2}$$

$$f''(x)=12x^2-84x+154=3(2x-7)^2+7$$

Thus, the function is concave up for all $x$, and we find:

$$f\left(\frac{7}{2} \right)=\frac{945}{16}$$

And therefore $$0<f(x)$$ for all $x$, hence the original equation has no real roots beyond the two found by inspection.
 
Thanks MarkFL for participating and your solution is awesome and...you're FAST! I used essentially the same method as yours to solve this problem too...:o
 
I had a little help from the computer with the grunt work of dividing, differentiating and factoring...(Bandit)
 
Addendum to my solution:

After dividing, we found:

$$f(x)=x^4-14x^3+77x^2-196x+252$$

We may write this as:

$$\left(x^2-7x \right)^2+28\left(x^2-7x \right)+252=\left(x^2-7x+14 \right)^2+56$$

This is enough to show that this function as no real roots.
 
MarkFL said:
Addendum to my solution:

After dividing, we found:

$$f(x)=x^4-14x^3+77x^2-196x+252$$

We may write this as:

$$\left(x^2-7x \right)^2+28\left(x^2-7x \right)+252=\left(x^2-7x+14 \right)^2+56$$

This is enough to show that this function as no real roots.

Hey MarkFL, I like this method even more!(Nerd)
 
Seemingly by some mathematical coincidence, a hexagon of sides 2,2,7,7, 11, and 11 can be inscribed in a circle of radius 7. The other day I saw a math problem on line, which they said came from a Polish Olympiad, where you compute the length x of the 3rd side which is the same as the radius, so that the sides of length 2,x, and 11 are inscribed on the arc of a semi-circle. The law of cosines applied twice gives the answer for x of exactly 7, but the arithmetic is so complex that the...
Back
Top