diskriminantın üç durumunu inceledim ben. D > 0 için kökler mutlak değerce 1'den büyük oluyor. yani |b| > 2a halinde kökler birim çember üzerinde değildir.
D = 0 için çakışık kökler vardır. yani |b| = 2a halinde kökler açıkça 1 ya da -1 dir.
D < 0 için karmaşık kökler vardır. b
2 - 4a
2 < 0 dersek buradan |b| < 2a durumunu incelemek gerekiyor. ikinci dereceden denklemin köklerini veren bağıntıyı yazıp mutlak değerini 1'e eşitledim. Özdeş olarak sağlanıyor. Yani 1 = 1 çıkıyor. Demek ki |b| < 2a iken karmaşık kökler elde edilir ve daima birim çember üzerine bulunurlar, dedim

Bunların hepsini birleştirirsek ax
2 + bx + a = 0 denkleminde köklerin birim çember üzerinde olması için gerek ve yeter şart |b|
< 2a (köçük veya eşit olabilir) eşitsizliğinin sağlanmasıdr.