Gość (37.30.*.*)
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.
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~#$.
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~#$).
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~#$.
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.
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.
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!
Jeśli masz dane ~$(a+b+c)^2 = 36~#$ i zakładasz dodatniość liczb:
To proste podejście pozwala błyskawicznie analizować zachowanie funkcji bez konieczności rysowania wykresów czy liczenia pochodnych.