Nierówność między średnią arytmetyczną a geometryczną (często nazywana w skrócie AM-GM od angielskich nazw Arithmetic Mean i Geometric Mean) to jedno z najpotężniejszych narzędzi w arsenale każdego miłośnika matematyki. Pozwala ona w prosty sposób wyznaczać wartości ekstremalne – minima i maksima – bez konieczności używania skomplikowanego rachunku różniczkowego. Jeśli masz dane równanie $(a+b+c)^2 = 36$, otwierają się przed Tobą fascynujące możliwości analityczne. Zobaczmy, jak krok po kroku wykorzystać tę zależność w praktyce.

Zrozumienie fundamentów: co mówi nam równanie?

Zanim przejdziemy do samej nierówności, przyjrzyjmy się Twojemu założeniu. Masz dane:
$(a+b+c)^2 = 36$

Jeśli założymy, że liczby $a, b, c$ są dodatnie (co jest standardowym wymogiem przy stosowaniu klasycznej nierówności AM-GM), możemy wyciągnąć pierwiastek z obu stron równania:
$a + b + c = 6$

To jest nasz punkt wyjścia. Suma trzech liczb wynosi 6. Rozwinięcie, które podałeś ($a^2+b^2+c^2+2ab+2bc+2ac=36$), jest matematycznie poprawne i pokazuje, jak rozkładają się poszczególne składniki kwadratu sumy, ale do samej nierówności AM-GM najwygodniej będzie nam operować na prostej sumie $a+b+c$.

Jak działa nierówność AM-GM?

Dla trzech liczb dodatnich $a, b, c$ nierówność ta wygląda następująco:
$$\frac{a + b + c}{3} \ge \sqrt[3]{abc}$$

Mówiąc prościej: średnia arytmetyczna jest zawsze większa lub równa średniej geometrycznej. Równość zachodzi tylko i wyłącznie wtedy, gdy wszystkie liczby są sobie równe ($a = b = c$).

Zastosowanie 1: Wyznaczenie maksymalnego iloczynu

Częstym pytaniem w zadaniach tego typu jest: "Jaka jest największa możliwa wartość iloczynu $abc$, jeśli ich suma wynosi 6?".

Krok 1: Podstawienie danych do wzoru
Wiemy, że $a+b+c = 6$, więc podstawiamy to do lewej strony nierówności:
$$\frac{6}{3} \ge \sqrt[3]{abc}$$

Krok 2: Uproszczenie
$$2 \ge \sqrt[3]{abc}$$

Krok 3: Podniesienie do trzeciej potęgi
$$2^3 \ge abc$$
$$8 \ge abc$$

Wynik: Maksymalna wartość iloczynu $abc$ wynosi 8. Dzieje się tak w sytuacji, gdy $a=b=c=2$.

Zastosowanie 2: Minimalizacja sumy kwadratów

Możemy również wykorzystać Twoje rozwinięcie wzoru skróconego mnożenia, aby dowiedzieć się czegoś o sumie $a^2 + b^2 + c^2$. Z nierówności AM-GM (lub bezpośrednio z nierówności między średnią kwadratową a arytmetyczną) wynika, że suma kwadratów jest najmniejsza, gdy liczby są równe.

Możemy to jednak udowodnić, korzystając z faktu, że dla dowolnych liczb rzeczywistych zachodzą nierówności:
$a^2 + b^2 \ge 2ab$
$b^2 + c^2 \ge 2bc$
$a^2 + c^2 \ge 2ac$

Sumując te trzy nierówności stronami, otrzymujemy:
$2(a^2 + b^2 + c^2) \ge 2(ab + bc + ca)$
Czyli:
$a^2 + b^2 + c^2 \ge ab + bc + ca$

Teraz spójrzmy na Twoje równanie:
$36 = (a^2 + b^2 + c^2) + 2(ab + bc + ca)$

Skoro $ab + bc + ca \le a^2 + b^2 + c^2$, to możemy zapisać:
$36 \le (a^2 + b^2 + c^2) + 2(a^2 + b^2 + c^2)$
$36 \le 3(a^2 + b^2 + c^2)$
$12 \le a^2 + b^2 + c^2$

Wynik: Minimalna wartość sumy kwadratów $a^2 + b^2 + c^2$ przy sumie $a+b+c=6$ wynosi 12.

Dlaczego to jest przydatne?

Nierówność AM-GM to nie tylko "szkolne" ćwiczenie. W rzeczywistym świecie pomaga ona w optymalizacji. Wyobraź sobie, że $a, b, c$ to wymiary prostopadłościennego pudełka. Jeśli suma jego krawędzi jest ograniczona (np. przez koszt materiału na szkielet), to AM-GM mówi nam, że największą objętość uzyskasz, budując sześcian.

Ciekawostka: Geometria w służbie algebry

Czy wiesz, że nierówność AM-GM można udowodnić geometrycznie? Dla dwóch liczb $a$ i $b$ wystarczy narysować półokrąg o średnicy $a+b$. Wysokość opuszczona na średnicę w punkcie styku odcinków $a$ i $b$ to właśnie średnia geometryczna ($\sqrt{ab}$), a promień tego okręgu to średnia arytmetyczna ($\frac{a+b}{2}$). Ponieważ promień jest zawsze najdłuższym odcinkiem pionowym w półokręgu, dowód staje się widoczny gołym okiem!

Podsumowanie obliczeń krok po kroku

Jeśli masz dane $(a+b+c)^2 = 36$ i zakładasz dodatniość liczb:

1. Ustalasz, że $a+b+c = 6$.
2. Wykorzystujesz AM-GM: $\frac{a+b+c}{3} \ge \sqrt[3]{abc}$.
3. Podstawiasz: $2 \ge \sqrt[3]{abc} \implies abc \le 8$.
4. Wnioskujesz: Największa wartość iloczynu to 8, a najmniejsza suma kwadratów to 12.

To proste podejście pozwala błyskawicznie analizować zachowanie funkcji bez konieczności rysowania wykresów czy liczenia pochodnych.