Понеже [tex]\angle BB_1C=\angle AA_1C=90^\circ[/tex] => [tex]OA_1CB_1[/tex] - вписан. Аналогично [tex]AC_1OB_1[/tex] - вписан.
[tex]\angle OB_1A=\angle OCA_1[/tex], защото [tex]\angle BB_1C=\angle AA_1C=90^\circ[/tex] е вписан и ъглите се виждат под една дъга. [tex](1)[/tex].
Аналогично [tex]\angle C_1AO=\angle C_1B_1O[/tex][tex](2)[/tex], но [tex]\angle BAA_1=\angle BCC_1[/tex] [tex](3)[/tex](един прав и един общ).
Сега от [tex](1)[/tex],[tex](2)[/tex],[tex](3)[/tex]=>[tex]\angle C_1B_1B=\angle BB_1A_1[/tex]=>[tex]B_1O[/tex] е ълополовяща в [tex]\Delta A_1B_1C_1[/tex]. Аналогично [tex]C_1O[/tex] и [tex]A_1[/tex] - ъглопол => т.[tex]O[/tex] е център на вписаната в [tex]\Delta A_1B_1C_1[/tex] окръжност.
ПП Пак станаха двойни субтитри май...