P(x) in gerçel kökü yoksa, P(P(x)) in hiç gerçel kökü olamayacağı kolay.
Öyleyse, @weierstrass ın başladığı gibi, P(x)=(x−x1)(x−x2) olsun.
P(P(x))=(P(x)−x1)(P(x)−x2) olur.
Bu çarpanların (her ikisi de 2. derece) ortak kökü olmayacağını (P(P(x)) in 3 farklı kökü oluşundan) görmek zor değil.
Öyleyse, @weierstrass ın de yaptığı gibi, birinci çarpan için Δ=0, 2. çarpan için Δ>0 varsayabiliriz.
Bunlar bize, x1<x2 olduğunu da söyler.
(x1+x2)2=4(x1x2−x1) olur. Düzenlenirse,
(x1−x2)2=−4x1 olur. Buradan, x1<0 olduğunu görürüz.
Bu eşitliği, x2 için çözersek, (x1<x2 idi) x2=x1+2√−x1 bulunur.
x1+x2=2(x1+√−x1) olur.
x1<0 iken bu ifadeyi, x1=−14 maksimum yapar.
x2=34 olur ve @Vezirh5 in çözümünü doğrular (orada, köklerin birinin pozitif, diğerinin negatif olması açıklanmamış, ama çözüm sırasında kullanılmış).