Наш многочлен имеет вид

Пусть меньший его корень равен
. Так как корни образуют арифметичекую прогрессию, можем записать:

Многочлен раскладывается на линейный множители следующим образом:

Напрашивается замена
. Тогда

Нам нужно найти минимумы этой функции, поэтому дифференцируем:

Теперь требуется найти корни этого многочлена. Используя теорему о рациональных корнях многочлена можно найти корень 
Согласно теореме Безу,
должен делиться на
. Разложим на множители, чтобы найти остальные корни:
![P'(t)=a(4t^3-6t^2-12t^2+18t+4t-6)=a[t^2(4t-6)-3t(4t-6)+(4t-6)]=a(4t-6)(t^2-3t+1)](https://tex.z-dn.net/?f=P%27%28t%29%3Da%284t%5E3-6t%5E2-12t%5E2%2B18t%2B4t-6%29%3Da%5Bt%5E2%284t-6%29-3t%284t-6%29%2B%284t-6%29%5D%3Da%284t-6%29%28t%5E2-3t%2B1%29)
Решив квадратное уравнение
, найдем корни

Расположив корни

на числовой прямой и использовав метод интервалов, узнаем, что производная меняет знак с минуса на плюс в точках
, это и есть точки минимума. Переходя обратно к многочлену от x, получаем точки

Квадрат расстояния между ними:
