Для решения этой задачи нам потребуется вспомнить определение наклонной к плоскости, проекции наклонной и теорему о соотношении между наклонными и их проекциями.
а) Если наклонные равны, то равны и их проекции.
Пусть из точки A проведены две наклонные AB и AC к плоскости α, причем AB = AC. Пусть B' и C' — проекции точек B и C на плоскость α соответственно. Таким образом, AB' и AC' — проекции наклонных AB и AC на плоскость α.
Рассмотрим прямоугольные треугольники ABB' и ACC'. У них:
Следовательно, треугольники ABB' и ACC' равны по гипотенузе и катету. Из равенства треугольников следует равенство соответствующих катетов: BB' = CC'.
Таким образом, проекции AB' и AC' равны, то есть AB' = AC'.
б) Если проекции наклонных равны, то равны и наклонные.
Теперь предположим, что AB' = AC'. Рассмотрим те же прямоугольные треугольники ABB' и ACC'. У них:
Следовательно, треугольники ABB' и ACC' равны по двум катетам. Из равенства треугольников следует равенство гипотенуз: AB = AC.
Таким образом, наклонные AB и AC равны.
в) Если наклонные не равны, то большая наклонная имеет большую проекцию.
Пусть AB > AC. Рассмотрим прямоугольные треугольники ABB' и ACC' снова.
По теореме Пифагора:
Вычтем второе уравнение из первого:
AB2 - AC2 = (AB')2 - (AC')2
Так как AB > AC, то AB2 > AC2, следовательно, AB2 - AC2 > 0. Значит, (AB')2 - (AC')2 > 0, что означает (AB')2 > (AC')2.
Поскольку AB' и AC' — длины, они положительны, поэтому из (AB')2 > (AC')2 следует, что AB' > AC'.
Таким образом, большая наклонная AB имеет большую проекцию AB'.