Ok, ho fatto una vaccata da terza media, probabilmente. Riprovo. Sfrutto che hanno stesso modulo e che \(z\overline{z} = |z|^2\):
\( \displaystyle \frac{a_1}{a_2} + \frac{a_2}{a_1} = \frac{a_1\overline{a_2}}{|a_2|^2} + \frac{a_2\overline{a_1} }{|a_1|^2} = \frac{a_1 \overline{a_2} + a_2 \overline{a_1} }{|a_1|^2} \geq -2 \ \ \Leftrightarrow\ \ \ a_1 \overline{a_2} + a_2 \overline{a_1} +2|a_1|^2 \geq 0 \)
Proseguo (stacco per problemi di espacio):
\(a_1 \overline{a_2} + a_2 \overline{a_1} + |a_1|^2 + |a_2|^2 = a_1 \overline{a_2} + a_2 \overline{a_1} + a_1 \overline{a_1} + a_2 \overline{a_2} \geq 0 \)
Continuo a scomporre:
\( (a_1 + a_2)(\overline{a_1} + \overline{a_2}) = (a_1+a_2)\overline{(a_1+a_2)} = |a_1+a_2|^2 \geq 0 \ \ \ \Rightarrow \ \ \ \) WIN

\( \displaystyle \sigma(A,G) \ \ = \sum_{Y \in \mathscr{P}(A) } \dot{\chi_{|G|} } (Y) \) bum babe