Pour la première question c'est ça.
Pour la seconde, tu as montré que ln est concave, donc la propriété sur les barycentres est que ln(t*a + (1-t)*b) >= t*ln(a) + (1-t)*ln(b)
Tu généralise à n points :
n*ln(somme des xi/n) >= n*[somme des ln(xi)/n] >= somme des ln(xi) >= ln(x1x2...xn) par propriété du ln.
T'as plus qu'à passer à l'exponentiel.