@ l'Apprendista_Stregone:
anch'io ho ragionato come te

. Tuttavia l'Engel la dimostra in questo modo:
poniamo $ $x = b + c - a$ $, $ $y = c + a - b$ $ e $ $z = a + b - c$ $. Poiché $ $a, b, c$ $ sono i lati di un triangolo, per la disuguaglianza triangolare allora $ $x, y, z$ $ sono tutti positivi. Dalle precedenti relazioni possiamo facilmente ricavare che:
$ $a = \frac {y + z}{2}$ $, $ $b = \frac {x + z}{2}$ $, $ $c = \frac {x + y}{2}$ $
Perciò sostituendo le espressioni trovate la disuguaglianza diventa:
$ $\frac {1}{2} \left(\frac {y}{z} + \frac {z}{y} + \frac {x}{y} + \frac {y}{x} + \frac {x}{z} + \frac {z}{x} \right) \ge 3$ $
Ora, l'LHS è sicuramente una quantità maggiore o uguale a 3; per dimostrarlo basta applicare questo semplice lemma tre volte:
$ $\frac {x}{y} + \frac {y}{x} \ge 2$ $
con $ $x, y$ $ quantità positive. Si vede anche facilmente che l'uguaglianza sussiste solo quando:
$ $x = y = z \Rightarrow b + c - a = c + a - b = a + b - c \Rightarrow a = b = c$ $
cioè quando il triangolo è equilatero

.
"[i]What is a good Olympiad problem?[/i] Its solution should not require any prerequisites except cleverness. A high scool student should not be at a disadvantage compared to a professional mathematician."