Любой многочлен степени n вида представляется произведением постоянного множителя при старшей степени и n линейных множителей , i=1, 2, …, n, то есть , причем , i=1, 2, …, n являются корнями многочлена.
Эта теорема сформулирована для комплексных корней , i=1, 2, …, n и комплексных коэффициентов , k=0, 1, 2, …, n. Она является основой для разложения любого многочлена на множители.
Если коэффициенты , k=0, 1, 2, …, n – действительные числа, то комплексные корни многочлена ОБЯЗАТЕЛЬНО будут встречаться комплексно сопряженными парами.
К примеру, если корни и многочлена являются комплексно сопряженными, а остальные корни действительные, то многочлен представится в виде , где
Далее, по теореме косинусов, находим косинус угла между хордами из точки A: cos∠A = (7²+15²-20²)/(2*7*15)=-3/5
Теперь рассмотрим угол, который лежит по другую сторону от хорды BC. Поставим по другую сторону от этой хорды точку A'. Тогда ∠A' = 180°-∠A. Поэтому cos∠A' = -cos∠A=3/5, sin∠A'=sin∠A=√(1-(-3/5)²)=4/5. Центральный угол BOC равен удвоенному углу A': ∠ABOC=2∠A'.
sin(∠BOC) = 2*sin∠A' * cos∠A' = 2 * 4/5 * 3/5 = 24/25.
Тогда, из теоремы синусов, BC = 2R*sin(∠BOC) = D*sin(∠BOC), откуда D = 20/(24/25) = 125/6.