Если две стороны одного треугольника пропорциональны двум сторонам другого треугольника, а углы, заключенные между этими сторонами равны, то треугольники подобны.
Дано: ∠А = ∠А₁; АВ : А₁В₁ = АС : А₁С₁ . Доказать: ΔАВС подобен ΔА₁В₁С₁. Доказательство: Достроим на стороне АС треугольник АВ₂С, в котором углы, прилежащие к стороне АС, равны углам в треугольнике А₁В₁С₁ (как на рисунке) . Тогда ΔАВ₂С подобен ΔА₁В₁С₁ по двум углам. Запишем отношение сторон в этих треугольниках: АВ₂ : А₁В₁ = АС : А₁С₁. Сравним полученную пропорцию с данной в условии: АВ : А₁В₁ = АС : А₁С₁ Значит, АВ₂ = АВ. Но тогда ΔАВС = ΔАВ₂С по двум сторона и углу между ними (АС - общая, АВ₂ = АВ и ∠А = ∠А₁ = ∠1 по условию). Итак, ΔАВС = ΔАВ₂С, а ΔАВ₂С подобен ΔА₁В₁С₁, значит ΔАВС подобен ΔА₁В₁С₁. Доказано.
Треугольники, образованные боковыми рёбрами, их проекциями на плоскость основания и высотой пирамиды, равны так как все они прямоугольные, боковые рёбра равны и высота пирамиды - общая для них сторона, значит проекции боровых рёбер равны. Проекции равны, значит основание высоты пирамиды равноудалено от вершин основания пирамиды, значит основание высоты пирамиды лежит в центре описанной около основания пирамиды окружности. Если центр описанной около треугольника окружности лежит на его стороне, то треугольник прямоугольный. По условию основание высоты пирамиды лежит на стороне основания, основание высоты - центр описанной окружности, значит в основании пирамиды лежит прямоугольный треугольник. Доказано.
Дано: ∠А = ∠А₁; АВ : А₁В₁ = АС : А₁С₁ .
Доказать: ΔАВС подобен ΔА₁В₁С₁.
Доказательство:
Достроим на стороне АС треугольник АВ₂С, в котором углы, прилежащие к стороне АС, равны углам в треугольнике А₁В₁С₁ (как на рисунке) .
Тогда ΔАВ₂С подобен ΔА₁В₁С₁ по двум углам. Запишем отношение сторон в этих треугольниках:
АВ₂ : А₁В₁ = АС : А₁С₁.
Сравним полученную пропорцию с данной в условии:
АВ : А₁В₁ = АС : А₁С₁
Значит, АВ₂ = АВ.
Но тогда ΔАВС = ΔАВ₂С по двум сторона и углу между ними (АС - общая, АВ₂ = АВ и ∠А = ∠А₁ = ∠1 по условию).
Итак, ΔАВС = ΔАВ₂С, а ΔАВ₂С подобен ΔА₁В₁С₁, значит
ΔАВС подобен ΔА₁В₁С₁.
Доказано.