MathDB
OA_1=OB_1 if <C=60^o, O incenter 1990 Kyiv City MO 9.3

Source:

July 18, 2021
geometryangle bisectorincenter

Problem Statement

The angle bisectors AA1AA_1 and BB1BB_1 of the triangle ABC intersect at point OO. Prove that when the angle CC is equal to 60060^0, then OA1=OB1OA_1=OB_1