Dowód na różnowartościowość

Własności wielomianów; pierwiastki, współczynniki. Dzielenie wielomianów. Wzory Viete'a. RÓWNANIA I NIERÓWNOŚCI wielomianowe (wyższych stopni). Rozkład na czynniki.
Awatar użytkownika
praevisa
Użytkownik
Użytkownik
Posty: 1
Rejestracja: 27 paź 2024, o 13:01
Płeć: Mężczyzna
wiek: 18
Podziękował: 1 raz

Dowód na różnowartościowość

Post autor: praevisa »

Zadanie brzmiało: Uzasadnić równowartościowość funkcji na wskazanych zbiorach.
\(\displaystyle{ f(x) = x^{5} }\), zbiór to liczby rzeczywiste.
Dowód nie wprost:
Zakładamy, że funkcja \(\displaystyle{ f(x) = x^{5} }\) nie jest różnowartościowa, \(\displaystyle{ x_{1} \neq x_{2}, f(x _{1}) = f(x _{2}) }\)
Postawiam pod \(\displaystyle{ f(x _{1}), f(x _{2}) }\) ze wzoru \(\displaystyle{ x^{5} }\) dla \(\displaystyle{ x_{1}, x_{2} }\)
\(\displaystyle{ x _{1} ^{5} = x _{2} ^{5} /-x _{2} ^{5}}\)
\(\displaystyle{ x _{1} ^{5} - x _{2} ^{5} = 0 }\)
Rozkładamy lewą stronę korzystając ze wzoru na różnicę piątych potęg:
\(\displaystyle{ (x _{1}-x _{2})(x _{1}^{4} + x _{1}^{3} x_{2} + x_{1}^{2}x_{2}^{2} + x_{1}x_{2}^{3} + x_{2}^{4})=0}\)
No i wychodzi sprzeczność, która udowadnia nie wprost równowartościowość f(x), ponieważ jeden i drugi czynnik nie są zerem, jednak nie umiem dowieść, że drugi czynnik jest zawsze dodatni tak jak mówi odpowiedz zadania, które robię. Byłbym wdzięczny za pomoc!
Ostatnio zmieniony 27 paź 2024, o 14:27 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Niepoprawnie napisany kod LaTeX-a. Proszę zapoznaj się z http://matematyka.pl/viewtopic.php?t=178502 .
Jan Kraszewski
Administrator
Administrator
Posty: 36039
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 6 razy
Pomógł: 5340 razy

Re: Dowód na różnowartościowość

Post autor: Jan Kraszewski »

praevisa pisze: 27 paź 2024, o 13:56 Zadanie brzmiało: Uzasadnić równowartościowość funkcji na wskazanych zbiorach.
\(\displaystyle{ f(x) = x^{5} }\), zbiór to liczby rzeczywiste.
Najprościej użyć pochodną...
praevisa pisze: 27 paź 2024, o 13:56 Zakładamy, że funkcja \(\displaystyle{ f(x) = x^{5} }\) nie jest różnowartościowa, \(\displaystyle{ x_{1} \neq x_{2}, f(x _{1}) = f(x _{2}) }\)
Dokładniej:

Zakładamy, że funkcja \(\displaystyle{ f(x) = x^{5} }\) nie jest różnowartościowa, czyli istnieją \(\displaystyle{ \red{ x_{1}, x_{2}\in\RR}}\) takie, że \(\displaystyle{ x_{1} \neq x_{2}}\) i \(\displaystyle{ f(x _{1}) = f(x _{2}).}\)
praevisa pisze: 27 paź 2024, o 13:56Postawiam pod \(\displaystyle{ f(x _{1}), f(x _{2}) }\) ze wzoru \(\displaystyle{ x^{5} }\) dla \(\displaystyle{ x_{1}, x_{2} }\)
\(\displaystyle{ x _{1} ^{5} = x _{2} ^{5} /-x _{2} ^{5}}\)
\(\displaystyle{ x _{1} ^{5} - x _{2} ^{5} = 0 }\)
Rozkładamy lewą stronę korzystając ze wzoru na różnicę piątych potęg:
\(\displaystyle{ (x _{1}-x _{2})(x _{1}^{4} + x _{1}^{3} x_{2} + x_{1}^{2}x_{2}^{2} + x_{1}x_{2}^{3} + x_{2}^{4})=0}\)
No i wychodzi sprzeczność, która udowadnia nie wprost równowartościowość f(x), ponieważ jeden i drugi czynnik nie są zerem,
A skąd wiesz, że drugi czynnik nie jest zerem?
praevisa pisze: 27 paź 2024, o 13:56jednak nie umiem dowieść, że drugi czynnik jest zawsze dodatni tak jak mówi odpowiedz zadania, które robię.
\(\displaystyle{ x _{1}^{4} + x _{1}^{3} x_{2} + x_{1}^{2}x_{2}^{2} + x_{1}x_{2}^{3} + x_{2}^{4}=x_1^2\left( x_1+\frac{x_2}{2}\right)^2+x_2^2\left( x_2+\frac{x_1}{2}\right)^2 +\frac12x_1^2x_2^2.}\)

JK
ODPOWIEDZ