<em>В треугольнике против большей стороны лежит больший угол.</em>
Доказательство:
Пусть в ΔАВС АВ > ВС. Докажем, что ∠С > ∠А.
Отложим на стороне АВ отрезок ВК = ВС. Так как АВ > ВС, то точка К будет лежать между точками А и В, тогда угол 1 будет частью угла С:
<em>∠1 < ∠С</em>.
∠2 - внешний для ΔАСК, а внешний угол треугольника равен сумме двух внутренних, не смежных с ним. Тогда ∠2 = ∠А + ∠АСК, т.е.
<em>∠2 > ∠А.</em>
И еще <em>∠1 = ∠2</em> как углы при основании равнобедренного треугольника ВСК. Получаем:
∠А < ∠2 < ∠C, значит
∠А < ∠С
Обратная теорема: <em>В треугольнике против большего угла лежит большая сторона</em>.
Доказательство:
Пусть в треугольнике АВС ∠С > ∠A. Докажем, что АВ > ВС.
Предположим, что АВ < ВС. Тогда по доказанной теореме ∠С должен быть меньше ∠А. Это противоречит условию. Значит предположение неверно, АВ > ВС.
1) Найдём АК по т Пифагора
АК^2=25-6.25
АК=2.5√3
2) АК=КВ=2.5√3
АВ=2.5√3*2=5√3
3) Т.к. АN больше NК в два раза, следует, что катет NК лежит напротив угла в 30°, значит угол NАК=30
4) в треуг АВС катет ВС лежит напротив угла 30° значит ВС=1/2АВ=2.5√3
5) АС^2=АВ^2-ВС^2
АС=7.5