Gehe einfach nach dem Tipp vor:
Für n=1 ist es sicherlich richtig.
Es gelte für ein n (Ind.vor) und man muss zeigen,
dass es dann auch für n+1 gilt.
Seien also x1,x2,...xn,xn+1 nur n+1 pos. reelle Zahlen,
deren Produkt 1 ist.
Wenn alle gleich sind, sind alle gleich 1, also ist deren Summe
genau n+1 und das ist ≥ n+1 .
Wenn sie nicht alle gleich sind können nicht alle kleiner 1 sein; denn
dann wäre das Produkt < 1 . Ebenso können nicht alle größer 1 sein.
Ebenso kann es nicht nur welche geben, die kleiner 1 sind, und die anderen etwa
alle gleich 1 und mit größer 1 entsprechend.
Also gibt es mindestens einen (etwa xn), der kleiner
und einen (etwa xn+1) der größer 1 ist.
Setze nun yn = xn*xn+1 .
Dann ist das Produkt x1*x2*…*xn-1*yn = x1*x2*...*xn*xn+1 =1
Die linke Seite erfüllt also die Ind.vor. denn pos. ist yn sicher auch.
Also folgt x1+x2+....+xn-1+yn ≥ n
<=> x1+x2+....+xn-1+xn*xn+1 ≥ n #
Aus xn < 1 < xn+1 folgt xn ^2< xn < xn+1 * xn
Also kannst du bei # einsetzen und hast
x1+x2+....+xn-1+xn ≥ n | + xn+1
x1+x2+....+xn-1+xn +xn+1 ≥ n + xn+1
und weil xn+1 größer 1 ist, hast du das, was zu zeigen ist.
zu b) siehe https://de.wikipedia.org/wiki/Ungleichung_vom_arithmetischen_und_geometrischen_Mittel#Beweis_mittels_Hilfssatz