Теорема Морлея, доказательство Штейнгарца

Лемма 1. Биссектрисы треугольника ABC пересекаются в точке O. Доказать, что угол COB на 90° больше, чем половина угла A.

Лемма 2 (обратная к лемме 1). Внутри треугольника ABC взята точка O так, что угол COB на 90° больше, чем угол CAO, а угол COA на 90° больше, чем угол CBO. Доказать, что AO, BO и CO — биссектрисы треугольника ABC.

Лемма 3. На сторонах OA1 и OB1 равностороннего треугольника A1OB1 построили внешним образом треугольники A1OA и B1OB так, что угол B1OB на 60° больше, чем угол A1AO, а угол A1OA на 60° больше, чем угол B1BO. Прямые AA1 и BB1 пересекаются в точке C. Доказать, что AO, BO и CO — биссектрисы треугольника ABC.

Лемма 4. На сторонах равностороннего треугольника A1B1C1 построили внешним образом треугольники A2B1C1, A1B2C1 и A1B1C2 так, что:
∠B1A2C1 = α; ∠A2B1C1 = γ+60°; ∠A2C1B1 = β+60°;
∠A1B2C1 = β; ∠B2A1C1 = γ+60°; ∠B2C1A1 = α+60°;
∠A1C2B1 = γ; ∠C2B1A1 = α+60°; ∠C2A1B1 = β+60°;
Доказать, что A2B1, A2C1, B2A1, B2C1, C2A1 и C2B1 — трисектрисы треугольника ABC.