Теорема

Доказательство

$4p^2\cdot OI^2 = a^2 OA^2+b^2 OB^2 + c^2 OC^2 + 2ab \overrightarrow{OA}\cdot\overrightarrow{OB} + 2bc \overrightarrow{OB}\cdot\overrightarrow{OC} + 2ac \overrightarrow{OA}\cdot\overrightarrow{OC}$

$4p^2\cdot OI^2 = R^2(a^2+b^2 + c^2) + 2ab R^2\cos{2\gamma} + 2bc R^2\cos{2\alpha} + 2ac R^2\cos{2\beta}$

$4p^2\cdot OI^2 = R^2\left(a^2+b^2 + c^2 + 2ab \cos{2\gamma} + 2bc \cos{2\alpha} + 2ac \cos{2\beta}\right)$

$4p^2\cdot OI^2 = R^2\left(a^2+b^2 + c^2 + 2ab (1-2\sin^2{\gamma}) + 2bc (1-2\sin^2{\alpha}) + 2ac (1-2\sin^2{\beta})\right)$

$4p^2\cdot OI^2 = R^2\left(a^2+b^2 + c^2+2ab+2bc+2ac- 4(ab\sin^2{\gamma} + bc\sin^2{\alpha} + ac\sin^2{\beta})\right)$

$4p^2\cdot OI^2 = R^2\left((a+b+c)^2- 4\left(ab\frac{c^2}{4R^2} + bc\frac{a^2}{4R^2} + ac\frac{b^2}{4R^2}\right)\right)$

Теорема

Доказательство

$4(p-a)^2\cdot OI^2 = a^2 OA^2+b^2 OB^2 + c^2 OC^2 - 2ab \overrightarrow{OA}\cdot\overrightarrow{OB} + 2bc \overrightarrow{OB}\cdot\overrightarrow{OC} - 2ac \overrightarrow{OA}\cdot\overrightarrow{OC}$

$4(p-a)^2\cdot OI^2 = R^2(a^2+b^2 + c^2) - 2ab R^2\cos{2\gamma} + 2bc R^2\cos{2\alpha} - 2ac R^2\cos{2\beta}$

$4(p-a)^2\cdot OI^2 = R^2\left(a^2+b^2 + c^2 - 2ab \cos{2\gamma} + 2bc \cos{2\alpha} - 2ac \cos{2\beta}\right)$

$4(p-a)^2\cdot OI^2 = R^2\left(a^2+b^2 + c^2 - 2ab (1-2\sin^2{\gamma}) + 2bc (1-2\sin^2{\alpha}) - 2ac (1-2\sin^2{\beta})\right)$

$4(p-a)^2\cdot OI^2 = R^2\left(a^2+b^2 + c^2-2ab+2bc-2ac- 4(-ab\sin^2{\gamma} + bc\sin^2{\alpha} - ac\sin^2{\beta})\right)$

$4(p-a)^2\cdot OI^2 = R^2\left((-a+b+c)^2- 4\left(-ab\frac{c^2}{4R^2} + bc\frac{a^2}{4R^2} - ac\frac{b^2}{4R^2}\right)\right)$