Доказательство:
Рассмотрим треугольники A₁CB₁ и ACB:
Для доказательства подобия треугольников A₁CB₁ и ACB нам нужно показать, что ∠CA₁B₁ = ∠CAB или ∠CB₁A₁ = ∠CBA.
В четырёхугольнике A₁ABB₁ углы ∠AA₁B и ∠BB₁A прямые (90°), следовательно, сумма оставшихся углов ∠A и ∠B₁A₁B равна 180°. Это означает, что четырёхугольник A₁ABB₁ - вписанный (сумма противоположных углов равна 180°).
Углы ∠CAB и ∠CA₁B₁ опираются на одну и ту же дугу CB₁ в окружности, описанной вокруг четырёхугольника A₁ABB₁. Следовательно, эти углы равны: ∠CAB = ∠CA₁B₁.
Таким образом, у треугольников A₁CB₁ и ACB есть общий угол ∠C и равные углы ∠CA₁B₁ = ∠CAB. Следовательно, треугольники подобны по двум углам.
Вывод: треугольники A₁CB₁ и ACB подобны.