Доказательство:
Внешний угол треугольника AFC равен сумме двух внутренних углов треугольника, поэтому угол AFC можно представить как сумму угла B и угла BCF: ∠AFC = ∠AFCB + ∠BCF. Так как угол В тупой, то ∠AFCB также тупой.
В треугольнике AFC угол AFC является тупым, поэтому ∠AFC > 90 градусов. Следовательно, сторона AC (против лучшиного угла) больше стороны FC.
Итак, мы доказали, что AC > FC.