— 232 — 
somma dei valori precedenti 
«(« + »), 
ma questo valore è più piccolo del vero. Infatti si ha 
f/& 2 cos 2 i -f- & 2 sen 2 / = a cosH -f- &sen 2 / -\- 
sen 2 / cos 2 / 
+ (a — bf 
acosH + &sen 2 / -f- / a?cos 2 / + & 2 sen 2 / 
e sostituendo in (1), ed eseguiti i calcoli indicati, si ha 
sen 2 / cos 2 / dt 
(4) E=Tr(« + &) + 4(a — bf f 2 sqn^cc 
* 0 <2Cos 2 i-|-&sen 2 i-f^ 
a 2 cosH -)- & 2 sen 2 / 
e siccome il secondo termine è positivo, si conchiude E > ri{a + b). 
Si possono trovare dei limiti entro cui è compreso l’integrale di 
destra; invero si ha 
quindi 
2 b 
> 
b < a cos 2 / b senH < a, 
b < /a* cos 2 it -|- & 2 sen 2 / < a, 
1 
a cosH + b sen 2 / -j- /a 2 cosH + b 2 sen 2 / 
> 
2 a ’ 
si moltiplichi per sen 2 / cos 2 / dt, o si integri fra Oe y. Osservando 
che 
( 2 sen 2 / cos 2 / dt — 
J A 16’ 
si deduce 
W > J 
sen 2 / cos 2 / dt 
0 acosH 4- &sen 2 / -j- /a 2 cosH 4- b 2 sen 2 / > 32 a