# Disuguaglianza di Weitzenböck

In matematica, la disuguaglianza di Weitzenböck o disuguaglianza di Ionescu-Weitzenböck è un teorema riguardante la relazione tra i lati di un triangolo.

## Il teorema

Qualunque triangolo di lati $a$, $b$ e $c$ e superficie $\Delta$ soddisfa la disuguaglianza di Weitzenböck:
    $a^{2}+b^{2}+c^{2}\geq 4{\sqrt {3}}\Delta .$
Il caso di uguaglianza si verifica se e solo se il triangolo è equilatero.

### Dimostrazione

Si vuole dimostrare la veridicità della disuguaglianza in modo diretto utilizzando solo qualche nozione di trigonometria. Indichiamo con $\gamma$ l'angolo opposto al lato $c.$ Dal teorema:
    $a^{2}+b^{2}+c^{2}-4{\sqrt {3}}\Delta \geq 0.$
In accordo con due noti teoremi di trigonometria, possiamo esprimere il lato $c$ e la superficie $\Delta$ del triangolo in funzione dei lati $a$ e $b$ e dell'angolo $\gamma$ mediante le seguenti espressioni:
    $c^{2}=a^{2}+b^{2}-2ab\cos \gamma \quad$ (si veda teorema del coseno),
    $\Delta ={\frac {ab\sin \gamma }{2}}.$
Sostituendo nella disuguaglianza otteniamo:
    $a^{2}+b^{2}+\left(a^{2}+b^{2}-2ab\cos \gamma \right)-2ab{\sqrt {3}}\sin \gamma \geq 0.$
Sviluppando i conti in modo molto semplice:
    $2a^{2}+2b^{2}-2ab\left(\cos \gamma +{\sqrt {3}}\sin \gamma \right)\geq 0,$
    $2a^{2}+2b^{2}-4ab\left({\frac {1}{2}}\cos \gamma +{\frac {\sqrt {3}}{2}}\sin \gamma \right)\geq 0.$
Ricordando che ${\frac {1}{2}}=\cos {\frac {\pi }{3}}$ e ${\frac {\sqrt {3}}{2}}=\sin {\frac {\pi }{3}}$:
    $2a^{2}+2b^{2}-4ab\left(\cos {\frac {\pi }{3}}\cos \gamma +\sin {\frac {\pi }{3}}\sin \gamma \right)\geq 0.$
Ora, applicando la formula del coseno per una differenza di angoli in modo inverso:
    $2a^{2}+2b^{2}-4ab\cos \left(\gamma -{\frac {\pi }{3}}\right)\geq 0.$
Sommando e sottraendo da $4ab$ si ottiene:
    $2a^{2}-4ab+2b^{2}+4ab-4ab\cos \left(\gamma -{\frac {\pi }{3}}\right)\geq 0,$
    $2(a-b)^{2}+4ab\left(1-\cos {\left(\gamma -{\frac {\pi }{3}}\right)}\right)\geq 0.$
Siccome si tratta di una somma di due quantità sempre positive, ottengo che la disuguaglianza è vera per ogni $a,b,\gamma$.
Si nota inoltre che l'uguaglianza perviene solo quando i due lati sono uguali e l'angolo pari a ${\frac {\pi }{3}}$

## Storia

La disuguaglianza venne pubblicata per la prima volta nel 1897 nella rivista di matematica romena Gazeta Matematică. Infatti, il seguente problema (Problema 273) venne proposto da Ion Ionescu:
«Dimostrare che non esiste un triangolo tale che $4S{\sqrt {3}}>a^{2}+b^{2}+c^{2}$»
(Ion Ionescu)
Una soluzione del problema venne pubblicata sulla stessa rivista l'anno successivo. Tuttavia, Roland Weitzenböck pubblicò nel 1919 un articolo su Mathematischen Zeitschrift dal titolo "Über eine Ungleichung in der Dreiecksgeometrie". Della seguente disuguaglianza vennero date diverse dimostrazioni e generalizzazioni:
«Sia S l'area di un triangolo di lati a,b,c. Allora vale: ${\tfrac {S}{a^{2}+b^{2}+c^{2}}}\leq {\tfrac {1}{12}}{\sqrt {3}}$.»
(Roland Weitzenböck)
Nel 1961 la disuguaglianza venne proposta come secondo problema nella terza edizione delle Olimpiadi Internazionali di Matematica:
«Siano a, b, c i lati di un triangolo e sia S la sua area. Dimostrare che $a^{2}+b^{2}+c^{2}\geq 4{\sqrt {3}}S$. In quale caso vale l'uguaglianza?»