wykazanie nierówności
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij
-
- Guru
- Posty: 17549
- Rejestracja: 09 lis 2010, 07:38
- Lokalizacja: Warszawa
- Podziękowania: 41 razy
- Otrzymane podziękowania: 7435 razy
- Płeć:
Re: wykazanie nierówności
\(\sqrt{x^4+7x^3+x^2+7x}+3\sqrt{3x}\ge10x-x^2 \iff \\
\sqrt{x(x^2+1)(x+7)}+3\sqrt{3x}\ge x(10-x) \So x \in \left<0, \infty \right)\)
mamy już dziedzinę.
Teraz zgodnie ze wskazówkami Kacpra:
jeśli \(10x-x^2 \le 0\) czyli \(x \in \left(- \infty ,0 \right> \cup \left<10, \infty \right)\) to nierówność jest spełniona w sposób oczywisty.
Pozostało więc wykazać nierówność tylko dla \(x \in \left(0,10 \right)\).
W tym celu podnieśmy obie (dodatnie) strony nierówności do kwadratu:
\(x(x^2+1)(x+7)+27x+ 6 \sqrt{3}x \sqrt{(x^2+1)(x+7)} \ge x^2(10-x)^2 \iff\)
\((x^2+1)(x+7)+27+ 6 \sqrt{3} \sqrt{(x^2+1)(x+7)} \ge x(10-x)^2 \iff\)
\(x^3+7x^2+x+34+ 6 \sqrt{3} \sqrt{(x^2+1)(x+7)} \ge 100x-20x^2+x^3 \iff\)
\(27x^2-99x+34+ 6 \sqrt{3} \sqrt{(x^2+1)(x+7)} \ge 0 \iff\)
no i to rzeczywiście liczy się dość podle ale prawdziwe jest. Na styk, ale jest : Niestety, jeśli chodzi o dowód metodami tradycyjnymi wiele nie wskóraliśmy. Jak była nierówność stopnia 4 , tak jest. Myślę, że metoda Kacpra - niedobra
\sqrt{x(x^2+1)(x+7)}+3\sqrt{3x}\ge x(10-x) \So x \in \left<0, \infty \right)\)
mamy już dziedzinę.
Teraz zgodnie ze wskazówkami Kacpra:
jeśli \(10x-x^2 \le 0\) czyli \(x \in \left(- \infty ,0 \right> \cup \left<10, \infty \right)\) to nierówność jest spełniona w sposób oczywisty.
Pozostało więc wykazać nierówność tylko dla \(x \in \left(0,10 \right)\).
W tym celu podnieśmy obie (dodatnie) strony nierówności do kwadratu:
\(x(x^2+1)(x+7)+27x+ 6 \sqrt{3}x \sqrt{(x^2+1)(x+7)} \ge x^2(10-x)^2 \iff\)
\((x^2+1)(x+7)+27+ 6 \sqrt{3} \sqrt{(x^2+1)(x+7)} \ge x(10-x)^2 \iff\)
\(x^3+7x^2+x+34+ 6 \sqrt{3} \sqrt{(x^2+1)(x+7)} \ge 100x-20x^2+x^3 \iff\)
\(27x^2-99x+34+ 6 \sqrt{3} \sqrt{(x^2+1)(x+7)} \ge 0 \iff\)
no i to rzeczywiście liczy się dość podle ale prawdziwe jest. Na styk, ale jest : Niestety, jeśli chodzi o dowód metodami tradycyjnymi wiele nie wskóraliśmy. Jak była nierówność stopnia 4 , tak jest. Myślę, że metoda Kacpra - niedobra
-
- Fachowiec
- Posty: 2946
- Rejestracja: 20 gru 2013, 21:41
- Lokalizacja: Radom
- Otrzymane podziękowania: 1556 razy
- Płeć:
Re: wykazanie nierówności
Może tak .
Konieczne do wykonania grubsze rachunki : to drugie pochodne pewnych funkcji.Oraz wartości pierwszych pochodnych w pewnym punkcie.
Idea dowodu : pokazuje istnienie wspólnej stycznej do dwóch wykresów pewnych funkcji , tak że jeden jest w górnej półpłaszczyźnie a drugi w dolnej .
.....................................................................................................................
Dziedzina nierówności =\([0, \infty )\)
Dla \(\\)\(x=0\) nierówność jest prawdziwa.
Dla \(\\)\(x>0\) pomnóżmy obustronnie nierówność przez \(\frac{1}{ \sqrt{x} }\) i nieco przekształćmy i dostaniemy:
\(\sqrt{x^3+7x^2+x+7} \ge \sqrt{x} \cdot (10-x)- \sqrt{27}\)
Nazwijmy : \(f(x)= \sqrt{x^3+7x^2+x+7} ,x \in (0, \infty )\) \(\\) ,\(\\) \(g(x)= \sqrt{x} \cdot (10-x)- \sqrt{27} , x \in (0, \infty )\) i obie są w swojej dziedzinie klasy \(\\) \(C^ \infty\)
Sprawdzamy rachunkiem ( sprawdź), że \(\forall\)\(x \in (0, \infty )\)\(\\)\(f''(x)>0\) , skąd jest,że styczna do wykresu funkcji w każdym punkcie \((x_0,f(x_0) )\) gdzie \(x_0>0\) leży poniżej wykresu :
czyli \(\forall x_0>0\) \(\\) \(\forall x>0\) \(\\) \(\\)\(f(x) \ge f'(x_0) \cdot (x-x_0) +f(x_0)\).
Podobnie jest dla drugiej funkcji :
Sprawdzamy rachunkiem ( sprawdź), że \(\forall\)\(x \in (0, \infty )\)\(\\)\(g''(x)<0\) , skąd jest,że styczna do wykresu funkcji w każdym punkcie \((x_0,g(x_0) )\) gdzie \(x_0>0\) leży powyżej wykresu :
czyli \(\forall x_0>0\) \(\\) \(\forall x>0\) \(\\)\(\\) \(g(x) \le g'(x_0) \cdot (x-x_0) +g(x_0)\).
Teraz wystarczy wskazać wspólną styczną dla obu wykresów .
Faktycznie sprawdzamy rachunkiem ,że dla \(x_0=\frac{4}{3}\) jest \(f(x_0)=g(x_0)\) , oraz \(f'(x_0)=g'(x_0)\) . Czyli ta wspólna styczna która rozcina płaszczyznę tak ,że powyżej niej jest wykres \(y=f(x)\) a poniżej \(y=g(x)\) , jest wystawiana w punkcie o odciętej \(x_0=\frac{4}{3}\).
Wtedy \(x_0=\frac{4}{3}\) \(\\)\(\forall x>0\)\(\\)\(\\)\(f(x) \ge f'(x_0) \cdot (x-x_0) +f(x_0)= g'(x_0) \cdot (x-x_0) +g(x_0) \ge g(x)\)\(\\)\(\\) czyli żądana nierówność.
Konieczne do wykonania grubsze rachunki : to drugie pochodne pewnych funkcji.Oraz wartości pierwszych pochodnych w pewnym punkcie.
Idea dowodu : pokazuje istnienie wspólnej stycznej do dwóch wykresów pewnych funkcji , tak że jeden jest w górnej półpłaszczyźnie a drugi w dolnej .
.....................................................................................................................
Dziedzina nierówności =\([0, \infty )\)
Dla \(\\)\(x=0\) nierówność jest prawdziwa.
Dla \(\\)\(x>0\) pomnóżmy obustronnie nierówność przez \(\frac{1}{ \sqrt{x} }\) i nieco przekształćmy i dostaniemy:
\(\sqrt{x^3+7x^2+x+7} \ge \sqrt{x} \cdot (10-x)- \sqrt{27}\)
Nazwijmy : \(f(x)= \sqrt{x^3+7x^2+x+7} ,x \in (0, \infty )\) \(\\) ,\(\\) \(g(x)= \sqrt{x} \cdot (10-x)- \sqrt{27} , x \in (0, \infty )\) i obie są w swojej dziedzinie klasy \(\\) \(C^ \infty\)
Sprawdzamy rachunkiem ( sprawdź), że \(\forall\)\(x \in (0, \infty )\)\(\\)\(f''(x)>0\) , skąd jest,że styczna do wykresu funkcji w każdym punkcie \((x_0,f(x_0) )\) gdzie \(x_0>0\) leży poniżej wykresu :
czyli \(\forall x_0>0\) \(\\) \(\forall x>0\) \(\\) \(\\)\(f(x) \ge f'(x_0) \cdot (x-x_0) +f(x_0)\).
Podobnie jest dla drugiej funkcji :
Sprawdzamy rachunkiem ( sprawdź), że \(\forall\)\(x \in (0, \infty )\)\(\\)\(g''(x)<0\) , skąd jest,że styczna do wykresu funkcji w każdym punkcie \((x_0,g(x_0) )\) gdzie \(x_0>0\) leży powyżej wykresu :
czyli \(\forall x_0>0\) \(\\) \(\forall x>0\) \(\\)\(\\) \(g(x) \le g'(x_0) \cdot (x-x_0) +g(x_0)\).
Teraz wystarczy wskazać wspólną styczną dla obu wykresów .
Faktycznie sprawdzamy rachunkiem ,że dla \(x_0=\frac{4}{3}\) jest \(f(x_0)=g(x_0)\) , oraz \(f'(x_0)=g'(x_0)\) . Czyli ta wspólna styczna która rozcina płaszczyznę tak ,że powyżej niej jest wykres \(y=f(x)\) a poniżej \(y=g(x)\) , jest wystawiana w punkcie o odciętej \(x_0=\frac{4}{3}\).
Wtedy \(x_0=\frac{4}{3}\) \(\\)\(\forall x>0\)\(\\)\(\\)\(f(x) \ge f'(x_0) \cdot (x-x_0) +f(x_0)= g'(x_0) \cdot (x-x_0) +g(x_0) \ge g(x)\)\(\\)\(\\) czyli żądana nierówność.
- kacper218
- Expert
- Posty: 4078
- Rejestracja: 02 paź 2009, 14:33
- Lokalizacja: Radzymin
- Podziękowania: 6 razy
- Otrzymane podziękowania: 1382 razy
- Płeć:
Ja jestem ciekaw na jakim poziomie nauki jest to zadanie
Ja tego nie liczyłem, ale byłem przekonany, że jak to jest z podręcznika do lo (tutaj jest temat) to pójdzie standardowo i łatwo
Ja tego nie liczyłem, ale byłem przekonany, że jak to jest z podręcznika do lo (tutaj jest temat) to pójdzie standardowo i łatwo
Pomogłem? Daj plusika
Masz pytania? Napisz priv
Przepisywanie prac do \(\LaTeX- a\)
Korepetycje Radzymin i okolice.
Masz pytania? Napisz priv
Przepisywanie prac do \(\LaTeX- a\)
Korepetycje Radzymin i okolice.