abonnement Unibet Coolblue
pi_131070233
quote:
0s.gif Op woensdag 11 september 2013 19:39 schreef Riparius het volgende:

[..]

Er zit een subtiele fout in je redenering. Je zegt dat als g(x) nooit de waarde 0 aanneemt op het interval [0,1] dat dan geldt f(x) - x < 0 of f(x) - x > 0 voor elke x ∈ [0,1]. Dit is uiteraard juist, maar je kunt hier geen tegenspraak uit afleiden, want dan kan volgens je eigen aanname ook f(1) < 1 zijn en f(0) > 0 zodat er geen tegenspraak is. Je bewijs is dus onjuist. Het directe bewijs met de tussenwaardestelling zoals thenxero dat aangeeft is uiteraard wel juist.
De tegenspraak leidt je dan af uit het feit dat zowel f(x)-x<0 voor een zekere x, als f(x)-x>0 voor een zekere x, waaruit het bestaan van een c volgt zodat f(c)-c=0. Ik ging er vanuit dat Amoeba hier doorhad dat hij de tussenwaardestelling gebruikte. Bedankt voor je toevoeging.
pi_131070632
quote:
0s.gif Op woensdag 11 september 2013 19:58 schreef thenxero het volgende:

[..]

De tegenspraak leidt je dan af uit het feit dat zowel f(x)-x<0 voor een zekere x, als f(x)-x>0 voor een zekere x, waaruit het bestaan van een c volgt zodat f(c)-c=0. Ik ging er vanuit dat Amoeba hier doorhad dat hij de tussenwaardestelling gebruikte. Bedankt voor je toevoeging.
Dat is inderdaad de verborgen aanname. Als je hebt f(0) ≠ 0 en tevens f(1) ≠ 1 (omdat er anders niets meer te bewijzen is) dan is g(0) > 0 en g(1) < 0 en dan volgt het gestelde uit de tussenwaardestelling. Maar zoals Amoeba het hierboven opschrijft klopt het niet omdat de vermeende tegenspraken er dan niet zijn. Ik heb hem er via DM al op gewezen dat je niet ontkomt aan het gebruik van de tussenwaardestelling (of een stelling die daarmee equivalent is natuurlijk).
pi_131070773
quote:
0s.gif Op woensdag 11 september 2013 19:58 schreef thenxero het volgende:

[..]

De tegenspraak leidt je dan af uit het feit dat zowel f(x)-x<0 voor een zekere x, als f(x)-x>0 voor een zekere x, waaruit het bestaan van een c volgt zodat f(c)-c=0. Ik ging er vanuit dat Amoeba hier doorhad dat hij de tussenwaardestelling gebruikte. Bedankt voor je toevoeging.
Nee helaas. :N
Fervent tegenstander van het korps lasergamers.
pi_131071988
quote:
2s.gif Op woensdag 11 september 2013 20:10 schreef Amoeba het volgende:

[..]

Nee helaas. :N
Goed. De tussenwaardestelling vergeet je nu nooit meer. Leuk opwarmertje voor de hoofdstelling van de algebra:

Zij P(x) een polynoom in x van oneven graad met reële coëfficiënten. Bewijs dat P(x) tenminste één reëel nulpunt heeft.
pi_131073312
quote:
0s.gif Op woensdag 11 september 2013 20:38 schreef Riparius het volgende:

[..]

Goed. De tussenwaardestelling vergeet je nu nooit meer. Leuk opwarmertje voor de hoofdstelling van de algebra:

Zij P(x) een polynoom in x van oneven graad met reële coëfficiënten. Bewijs dat P(x) tenminste één reëel nulpunt heeft.
Ik sloot net mijn spel (ter ontspanning) af om me weer te verdiepen in Calculus. FOK! stond nog open: Riparius heeft je gequote. Mijn jongenshart gloeide van vreugde toen ik het zag!

Goed.

Ik ga hier eens over peinzen. Even pen en papier pakken. Dat zou betekenen dat x = a een nulpunt is met a ∈ ℝ

Wacht wacht

Ter verduidelijking. Zijn alle graden van x oneven of alleen de hoogste graad van x?
Fervent tegenstander van het korps lasergamers.
pi_131074529
quote:
0s.gif Op woensdag 11 september 2013 20:38 schreef Riparius het volgende:

[..]

Goed. De tussenwaardestelling vergeet je nu nooit meer. Leuk opwarmertje voor de hoofdstelling van de algebra:

Zij P(x) een polynoom in x van oneven graad met reële coëfficiënten. Bewijs dat P(x) tenminste één reëel nulpunt heeft.
Ik zou nu toch kunnen antwoorden dat complexe nulpunten in geconjugeerde paren voorkomen? Maar ik vermoed dat dit niet het antwoord is wat je wil krijgen.
ING en ABN investeerden honderden miljoenen euro in DAPL.
#NoDAPL
pi_131074671
quote:
0s.gif Op woensdag 11 september 2013 21:31 schreef Bram_van_Loon het volgende:

[..]

Ik zou nu toch kunnen antwoorden dat complexe nulpunten in geconjugeerde paren voorkomen? Maar ik vermoed dat dit niet het antwoord is wat je wil krijgen.
Dan moet je dus eerst bewijzen dat alle nulpunten complex zijn.
pi_131074674
quote:
0s.gif Op woensdag 11 september 2013 21:31 schreef Bram_van_Loon het volgende:

[..]

Ik zou nu toch kunnen antwoorden dat complexe nulpunten in geconjugeerde paren voorkomen? Maar ik vermoed dat dit niet het antwoord is wat je wil krijgen.
Of dat een n-degraads polynoom n oplossingen heeft (multipliciteit meegenomen), zodat er sowieso een even aantal complexe nulpunten zijn en dus minimaal één niet-complex nulpunt?

[ Bericht 8% gewijzigd door Amoeba op 11-09-2013 21:38:54 ]
Fervent tegenstander van het korps lasergamers.
pi_131074912
quote:
0s.gif Op woensdag 11 september 2013 21:31 schreef Bram_van_Loon het volgende:

[..]

Ik zou nu toch kunnen antwoorden dat complexe nulpunten in geconjugeerde paren voorkomen? Maar ik vermoed dat dit niet het antwoord is wat je wil krijgen.
Dat complexe nulpunten bij een polynoom met reële coëfficiënten altijd als geconjugeerde paren optreden is juist (en eenvoudig te bewijzen met wat elementaire rekenregels voor geconjugeerden), maar dan ga je ervan uit dat er nulpunten zijn. Wat nu wordt gevraagd is een existentiebewijs voor een reëel nulpunt van een polynoom van oneven graad met reële coëfficiënten.
  woensdag 11 september 2013 @ 21:39:46 #85
105018 Borizzz
Thich Nhat Hanh
pi_131075121
Kan iemand een wiskundige verklaring geven waarom een vouw in een stuk papier altijd recht is? Ik kan mij herinneren dat mijn meetkundedocent hier eens een bewijs voor wilde hebben. Maar ik kan het mij niet meer herinneren.
kloep kloep
pi_131076534
quote:
2s.gif Op woensdag 11 september 2013 21:39 schreef Borizzz het volgende:
Kan iemand een wiskundige verklaring geven waarom een vouw in een stuk papier altijd recht is? Ik kan mij herinneren dat mijn meetkundedocent hier eens een bewijs voor wilde hebben. Maar ik kan het mij niet meer herinneren.
Twee vlakken in de euclidische driedimensionale ruimte die niet evenwijdig zijn hebben een rechte lijn gemeen. Dat is een postulaat uit de (klassieke) stereometrie, dus je zult je meetkundedocent niet kunnen verblijden met een (meetkundig) bewijs.
pi_131077035
Zij P(x) een polynoom van de oneven graad met reële coëfficiënten. P(x) is continu op R.
zij P(x) = an•xn+an-1•xn-1+an-2•xn-2 .... +a0 met an, a0 ≠ 0 en n oneven.

lim(x -> ∞)(P(x)) = lim(x -> ∞)(anxn) = ∞ als an > 0 en -∞ als an < 0
lim(x -> -∞)(P(x)) = lim(x -> -∞)(anxn) = -∞ als an > 0 en ∞ als an < 0

Uit de tussenwaardestelling volgt dan dat er een waarde c bestaat zó dat P(c) = 0

Hmm?

[ Bericht 1% gewijzigd door Amoeba op 11-09-2013 22:16:35 ]
Fervent tegenstander van het korps lasergamers.
  woensdag 11 september 2013 @ 22:12:09 #88
105018 Borizzz
Thich Nhat Hanh
pi_131077250
quote:
0s.gif Op woensdag 11 september 2013 22:01 schreef Riparius het volgende:

[..]

Twee vlakken in de euclidische driedimensionale ruimte die niet evenwijdig zijn hebben een rechte lijn gemeen. Dat is een postulaat uit de (klassieke) stereometrie, dus je zult je meetkundedocent niet kunnen verblijden met een (meetkundig) bewijs.
Inderdaad, dat is eigenlijk basiskennis... toch had hij een meer praktisch iets kan ik mj herinneren. Over de structuur van het papier enzo. Maar klaarblijkelijk zat hij ons gewoon te dollen :)
kloep kloep
pi_131078238
quote:
2s.gif Op woensdag 11 september 2013 22:09 schreef Amoeba het volgende:
Zij P(x) een polynoom van de oneven graad met reële coëfficiënten. P(x) is continu op R.
zij P(x) = an•xn+an•xn+an-2•xn-2 .... +a0 met an, a0 ≠ 0 en n oneven.

lim(x -> ∞)(P(x)) = lim(x -> ∞)(anxn) = ∞ als an > 0 en -∞ als an < 0
lim(x -> -∞)(P(x)) = lim(x -> -∞)(anxn) = -∞ als an > 0 en ∞ als an < 0

Uit de tussenwaardestelling volgt dan dat er een waarde c bestaat zó dat P(c) = 0

Hmm?
Daar komt het op neer. Als |x| groot wordt dan krijgt de term anxn de overhand en omdat n oneven is is er dan een R > 0 zodanig dat het teken van anxn en daarmee van P(x) dan verschillend is voor x > R en voor x < −R zodat er een nulpunt op het interval [−R, R] ligt. Maar om dit echt netjes te bewijzen komt er nog iets meer bij kijken (haal de term anxn buiten haakjes en laat zien dat de uitdrukking binnen de haakjes positief is voor voldoend grote |x|).
pi_131079077
quote:
0s.gif Op woensdag 11 september 2013 22:26 schreef Riparius het volgende:

[..]

Daar komt het op neer. Als |x| groot wordt dan krijgt de term anxn de overhand en omdat n oneven is is er dan een R > 0 zodanig dat het teken van anxn en daarmee van P(x) dan verschillend is voor x > R en voor x < −R zodat er een nulpunt op het interval [−R, R] ligt. Maar om dit echt netjes te bewijzen komt er nog iets meer bij kijken (haal de term anxn buiten haakjes en laat zien dat de uitdrukking binnen de haakjes positief is voor voldoend grote |x|).
Goed, pff

Zij P(x) een polynoom van de oneven graad met reële coëfficiënten. P(x) is continu op R.
zij P(x) = an•xn+an-1•xn-1+an-2•xn-2 .... +a0 met an, a0 ≠ 0 en n oneven.

Dan

an•xn+an-1•xn-1+an-2•xn-2 ...) = -a0

= an•xn(1+an-2•xn-2+an-3•xn-3 ....)/an = -a0

= an•xn(1+an-2•xn-2+an-3•xn-3 ....) = -a0 want een ai is een willekeurige constante.

Nu heb je het over de driehoeksongelijkheid, maar ik weet alleen wat dat meetkundig inhoudt. Hoe moet ik hier iets van een driehoeksongelijkheid in vinden?

Ons Calculusboek is Calculus: A Complete Course by Adams & Essex *8ste druk*
Fervent tegenstander van het korps lasergamers.
pi_131080914
quote:
2s.gif Op woensdag 11 september 2013 22:41 schreef Amoeba het volgende:

[..]

Goed, pff

Zij P(x) een polynoom van de oneven graad met reële coëfficiënten. P(x) is continu op R.
zij P(x) = an•xn+an-1•xn-1+an-2•xn-2 .... +a0 met an, a0 ≠ 0 en n oneven.
Als je de term anxn buiten haakjes haalt, dan heb je

P(x) = anxn(1 + (an−1/an)x−1 + (an−2/an)x−2 + ... + (a1/an)x−(n−1) + (a0/an)x−n)

Nu moet je laten zien dat de uitdrukking tussen de haakjes positief is voor voldoend grote |x| en daarvoor heb je de driehoeksongelijkheid nodig.
quote:
Nu heb je het over de driehoeksongelijkheid, maar ik weet alleen wat dat meetkundig inhoudt. Hoe moet ik hier iets van een driehoeksongelijkheid in vinden?
De driehoeksongelijkheid ontleent haar naam uiteraard aan de meetkunde, maar je hebt ook betrekkingen tussen (de absolute waarden van) reële of complexe getallen die hiermee verband houden. Voor elk tweetal (reële of complexe) getallen a en b geldt

| a + b | ≤ | a | + | b |

Deze ongelijkheid kun je eenvoudig uitbreiden naar een willekeurig aantal termen, bijvoorbeeld

| a + b + c | ≤ | a | + | b | + | c |

Gebruik dit.

quote:
Ons Calculusboek is Calculus: A Complete Course by Adams & Essex *8ste druk*
Dat vermoedde ik al. Dank voor de bevestiging.

[ Bericht 0% gewijzigd door Riparius op 11-09-2013 23:39:54 ]
pi_131081084
Is dit wat jij zoekt Amoeba?
http://en.wikipedia.org/wiki/Cauchy%E2%80%93Schwarz_inequality


Edit: op het moment dat ik mijn reactie plaatste stond die van Riparius nog niet op mijn scherm.
ING en ABN investeerden honderden miljoenen euro in DAPL.
#NoDAPL
pi_131082030


Zie 'm niet.

EDIT: Ik zie hem wel!
Voor de liefhebbers;





[ Bericht 72% gewijzigd door jordyqwerty op 12-09-2013 00:00:21 ]
pi_131082220
quote:
2s.gif Op woensdag 11 september 2013 23:51 schreef jordyqwerty het volgende:
[ afbeelding ]

Zie 'm niet.
Je kunt teller en noemer van de breuk in het linkerlid van je vergelijking delen door 223. Wat krijg je dan?
pi_131082719
quote:
0s.gif Op woensdag 11 september 2013 23:57 schreef Riparius het volgende:

[..]

Je kunt teller en noemer van de breuk in het linkerlid van je vergelijking delen door 223. Wat krijg je dan?
Klopt, het viel me een paar seconden voor je post in ;)

Ik heb echter wel nog een andere som waar ik niet uit kom.
pi_131082782
Nog die factor verkeerd eruit gehaald ook. Slecht van me. :')

Enfin, beetje klaar mee nu. Morgen weer. :)
quote:
2s.gif Op donderdag 12 september 2013 00:14 schreef jordyqwerty het volgende:

[..]

Klopt, het viel me een paar seconden voor je post in ;)

Ik heb echter wel nog een andere som waar ik niet uit kom.
[ afbeelding ]
'

Breng alles wat onder de noemer staat is in één breuk (evenzo voor de teller) en maak dan gebruik van (a/b)/(c/d) = (a/b)*(d/c)
Fervent tegenstander van het korps lasergamers.
pi_131082986




pi_131083262
Wat doe je bij (1) naar (2)?
Fervent tegenstander van het korps lasergamers.
pi_131083465
quote:
15s.gif Op donderdag 12 september 2013 00:36 schreef Amoeba het volgende:
Wat doe je bij (1) naar (2)?
Ik kijk morgen wel, ben veels te moe. Die + mag niet
pi_131088596
quote:
9s.gif Op donderdag 12 september 2013 00:46 schreef jordyqwerty het volgende:

[..]

Ik kijk morgen wel, ben veels te moe. Die + mag niet
Je hebt gewoon op WolframAlpha gespiekt en komt zo tot het juiste antwoord, maar je weet niet hoe je het nu netjes moet doen?
Fervent tegenstander van het korps lasergamers.
abonnement Unibet Coolblue
Forum Opties
Forumhop:
Hop naar:
(afkorting, bv 'KLB')