Kök varlığı (ara değer teoremi ile): polinomalar tüm noktalarda sürekli ve türevlenebilirdir. f(-1)=-1 f(0)=1 dir. Her c€(-1,1) için f(c)=c olacak şekilde en az bir c€(-1,0) vardır.
Teklik (Rolle teoremi ile): f:[a,b] —> R sürekli olsun.Eğer f fonksiyonu türevlenebilir ve f(a)=f(b) ise en az bir c€f’(c)=0 vardır.
Varsayalım ki kök tek olmasın ve bu kökler z ve y olsun f(z)=0 ve f(y)=0 olsun.f’(x)= 6(x^2)+2x+1 => c€(z,y) vardır.f’(c)= 6(c^2)+2c+1=0 olacak şekilde c olmayıp çelişki bulunur.O halde iki kök mevut olmayıp kök tektir.
Tarzında bir çözüm yaptım.(İlk fırsatta latex öğrenip düzgün bir şekilde yazım yapacağım.)