Analyse - Hypotese, trenger bevis

Mange finner bevis vanskelig. Her er rom for spørsmål vedrørende bevis, og for å dele dine bevis med andre. Vi tenker først og fremst videregående nivå, men det er ingen begrensninger her.

Moderatorer: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa

Svar
espen180
Gauss
Gauss
Innlegg: 2578
Registrert: 03/03-2008 15:07
Sted: Trondheim

Jeg har her en hypotese jeg kom på selv, men jeg har vanskeligheter med å bevise den rent matematisk.

Hypotesen:
[tex]P(x)\geq 0\vee P(x) \leq 0 \forall x \Rightarrow \exist x: P^\prime (x)=0\,,\, P(x)=\sum_{i=0}^n a_ix^i[/tex]

Hvis et polynom holder seg over eller under førsteaksen skjærer den deriverte til polynomet førsteaksen minst en gang.

Noen som klarer å lage et bevis for påstanden, eller eventuellt motbevise den?

Takk på forhånd.
Gommle
Grothendieck
Grothendieck
Innlegg: 857
Registrert: 21/05-2007 20:05

For at et polynom ikke skal passere x-aksen, må jo grafen snu slik at den ikke treffer x-aksen?

Og hvis grafen snur, krysser jo selvfølgelig den deriverte x-aksen.

Tenker jeg rett nå? I såfall tror jeg du tenker litt vel komplisert.
espen180
Gauss
Gauss
Innlegg: 2578
Registrert: 03/03-2008 15:07
Sted: Trondheim

Ja, så langt har jeg også kommet, men jeg leter etter en ren matematisk, ikke en rent logisk forklaring.
edahl
Cantor
Cantor
Innlegg: 142
Registrert: 23/12-2008 19:32

Hvis f(x) || 0 => f'(x)=0 for alle x, fordi f(x+dx)-f(x) = 0 for alle x, der f(x+dx)=f(x).

Hvis f(x) > 0 eller f(x) < 0 => f(x)=x^y. (er vel iofs. en ganske svak uttalelse)

En ting jeg lurer på da er om det er mulig med en serie asymptoter g(x) som holder seg over eller under grafen, for vil ikke det implisere at g'(x) > 0 eller g'(x) < 0 for alle x, hvis g(x) vokser for alle verdier av x?

EDIT: Eller er det der et punkt i f'(x) mellom x1 og x2, hvor x1 er før, og x2 er etter en asymptotisk vekst i f(x), slik at f'(x) < 0?
espen180
Gauss
Gauss
Innlegg: 2578
Registrert: 03/03-2008 15:07
Sted: Trondheim

Kan du bruke latex? Det var litt vanskelig å holde følge med argumentene dine.

Også, polynomer har da ikke asymptoter...?
Realist1
Euclid
Euclid
Innlegg: 1993
Registrert: 30/01-2007 20:39

Du tenker for avansert, ja. Enten må det være en konstant, som alltid er lik 0 når den er derivert, eller en funksjon som har toppunkt eller bunnpunkt, som selvfølgelig blir 0 derivert.

Men om jeg forstår deg rett: P(x)=1/x
=)
Descartes
Descartes
Innlegg: 447
Registrert: 09/05-2007 22:41

Hvis et polynom ikke treffer førsteaksen er det av grad 2n for en eller annen hel n. Den deriverte er da av grad 2n-1, som er odd, og har derfor minst en rot.
[tex]\int_0^3 \frac{\left(x^3(3-x)\right)^{1/4}}{5-x}\, \mathrm{d}x = \frac{\pi}{2\sqrt{2}}\left(17-40^{3/4}\right)[/tex]
FredrikM
Poincare
Poincare
Innlegg: 1367
Registrert: 28/08-2007 20:39
Sted: Oslo
Kontakt:

Men om jeg forstår deg rett: P(x)=1/x
Denne er dog ikke et polynom.
Cube - mathematical prethoughts | @MatematikkFakta
Med forbehold om tullete feil. (både her og ellers)
espen180
Gauss
Gauss
Innlegg: 2578
Registrert: 03/03-2008 15:07
Sted: Trondheim

=) skrev:Hvis et polynom ikke treffer førsteaksen er det av grad 2n for en eller annen hel n. Den deriverte er da av grad 2n-1, som er odd, og har derfor minst en rot.
Der ja. Flott!

Takk, =). :)
edahl
Cantor
Cantor
Innlegg: 142
Registrert: 23/12-2008 19:32

espen180 skrev:Kan du bruke latex? Det var litt vanskelig å holde følge med argumentene dine.

Også, polynomer har da ikke asymptoter...?
Kan gjøre det fra nå av. Det bidro nok ikke så mye uansett ^^. Det siste visste jeg ikke, heh ..
=)
Descartes
Descartes
Innlegg: 447
Registrert: 09/05-2007 22:41

Kommer an på hva du legger i asymptote.
[tex]\int_0^3 \frac{\left(x^3(3-x)\right)^{1/4}}{5-x}\, \mathrm{d}x = \frac{\pi}{2\sqrt{2}}\left(17-40^{3/4}\right)[/tex]
Svar