MathLabs

Problem 5

The equation (x−1)(x−2)⋯(x−2016)=(x−1)(x−2)⋯(x−2016)(x-1)(x-2)\cdots(x-2016)=(x-1)(x-2)\cdots(x-2016) is written on the board, with 20162016 linear factors on each side. What is the least possible value of kk for which it is possible to erase exactly kk of these 40324032 linear factors so that at least one factor remains on each side and the resulting equation has no real solutions?
Step 1 of 6: Necessity: at least 20162016 factors must go
In plain words

A factor (x−i)(x-i) surviving unchanged on both sides makes x=ix=i an obvious real solution.

k≥2016k\ge2016
Detailed analysis

There are 20162016 common linear factors (x−1),…,(x−2016)(x-1),\dots,(x-2016) on both sides. If any one of them, say (x−i)(x-i), is left untouched on both sides, then x=ix=i solves the resulting equation. So at least one copy of every (x−i)(x-i) must be erased, meaning at least 20162016 factors must be erased in total.