Poging het vermoeden van Collatz te bewijzen

Post hier al je algemene vragen over wiskunde in het voortgezetonderwijs /1ste graad ASO-TSO-BSO.
Mastrem
Vergevorderde
Vergevorderde
Berichten: 191
Lid geworden op: 13 jul 2015, 14:50

Poging het vermoeden van Collatz te bewijzen

Bericht door Mastrem » 13 jul 2015, 14:58

Hoi iedereen. Ik denk dat ik een oud wiskundeprobleem (het vermoeden van Collatz) heb opgelost, maar ik heb geen idee waar op het forum ik dat bewijs kan posten en aangezien ik op het voortgezet onderwijs zit vraag ik het hier maar.

David
Moderator
Moderator
Berichten: 4927
Lid geworden op: 14 mei 2009, 16:22

Re: waar moeten de bewijzen?

Bericht door David » 13 jul 2015, 15:11

Hier is okay. Bedankt voor het vragen!
Stap 1 van het oplossen van een probleem is te erkennen dat je een probleem hebt.
(Raffiek Torreman)

Mastrem
Vergevorderde
Vergevorderde
Berichten: 191
Lid geworden op: 13 jul 2015, 14:50

Re: waar moeten de bewijzen?

Bericht door Mastrem » 13 jul 2015, 16:03

Ik wilde het hier posten, maar het lijkt alsof LaTeX niet werkt, althans niet in het voorbeeld.

test: $\dfrac{1}{2}$

David
Moderator
Moderator
Berichten: 4927
Lid geworden op: 14 mei 2009, 16:22

Re: waar moeten de bewijzen?

Bericht door David » 13 jul 2015, 16:42

Zet er andere tags omheen, dollartekens werken hier niet,

Code: Selecteer alles

[Formule]$\frac{1}{2}$[/Formule]
geeft

Code: Selecteer alles

[tex][/tex]
werkt ook;


\dfrac werkt niet, \frac wel.
In het scherm waarop je post, staat een knop met "Formule". Als je daarop klikt, dan wordt de geselecteerde tekst (in de box waarin je typt wat je post) omringd met de formule-tags.
Stap 1 van het oplossen van een probleem is te erkennen dat je een probleem hebt.
(Raffiek Torreman)

Mastrem
Vergevorderde
Vergevorderde
Berichten: 191
Lid geworden op: 13 jul 2015, 14:50

Re: waar moeten de bewijzen?

Bericht door Mastrem » 13 jul 2015, 17:47

Neem een getal n.
Als het even is deel het dan door twee.
Als het oneven is, vermenigvuldig het dan met drie en tel er één bij op.
Herhaal dit.

Het vermoeden van Collatz: Het maakt niet uit met welk getal je begint, je komt altijd uit bij 1.


Mijn bewijs dat dit NIET waar is:

Definities:
Het proces van delen door 2 en vermenigvuldigen met 3 en 1 optellen noem ik vanaf nu 'oplossen'.
Zowel als is één stap.
Voorbeeld: 20 wordt 'opgelost' in 7 'stappen'

Bewijs:
Deel 1:
Eerst maken we twee functies.
Het aantal getallen wat kan worden opgelost in x stappen
Het aantal getallen wat kan worden opgelost in x of minder stappen

Getallen van de vorm kunnen op twee manieren bereikt worden, namelijk door en . De rest kan maar op één manier bereikt worden. dit betekent dat:

Het geometrische gemiddelde van al deze a's is A


Omdat

Daarom:


, waarbij .
B is hoger dan 1 omdat er altijd een aantal getallen zijn in f(x) van de vorm 6n+4
B is lager dan 2 omdat er altijd een aantal getallen zijn in f(x), die niet van de vorm 6n+4 zijn.

Dus:

als x naar oneindig gaat.

Deel 2:
Het is makkelijk om te zien dat er x machten van twee zijn die kunnen worden opgelost in x of minder stappen. Dit betekent dat

het deel van de oplosbare getallen is dat een macht van twee is. het gedeelte van alle getallen wat een macht van twee is is:


Als het vermoeden van Collatz waar is zijn deze gedeeltes hetzelfde en dus:

als x naar oneindig gaat

Deel 3:
In deel 2 hebben we gezien dat als het vermoeden van Collatz waar is

als x naar oneindig gaat en in deel 1 hebben we gezien dat


dit kunnen we combineren in één vergelijking.

beide kanten keer (B-1)

Omdat x naar oneindig gaat kunnen we de min één negeren

Deel beide kanten door 2^x


Omdat B < 2 en x naar oneindig gaat:

En dus:


Maar.. we hadden gezien dat B groter was dan 1, een tegenstelling.

Als er iets in dit bewijs is wat je niet snapt of wat niet klopt, zeg het dan aub.

David
Moderator
Moderator
Berichten: 4927
Lid geworden op: 14 mei 2009, 16:22

Re: waar moeten de bewijzen?

Bericht door David » 13 jul 2015, 18:18

Mastrem schreef: Het aantal getallen wat kan worden opgelost in x stappen
Het aantal getallen wat kan worden opgelost in x of minder stappen
Dus f en g zijn beiden oneindig groot voor alle x non-negatief geheel.
Je schreef:
is dan onbepaald.
Je schreef:
Wat bedoel je?
Stap 1 van het oplossen van een probleem is te erkennen dat je een probleem hebt.
(Raffiek Torreman)

Mastrem
Vergevorderde
Vergevorderde
Berichten: 191
Lid geworden op: 13 jul 2015, 14:50

Re: waar moeten de bewijzen?

Bericht door Mastrem » 13 jul 2015, 18:39

en zijn niet oneindig groot voor alle x.
voorbeeld:

f(0) = 1 (1)
f(1) = 1 (2)
f(2) = 1 (4)
f(3) = 1 (8)
f(4) = 1 (16)
f(5) = 2 (32,5)
f(6) = 2 (64,10)
f(7) = 8 (128,21,20,3)

Mastrem
Vergevorderde
Vergevorderde
Berichten: 191
Lid geworden op: 13 jul 2015, 14:50

Re: waar moeten de bewijzen?

Bericht door Mastrem » 13 jul 2015, 18:43



simpel. het aantal getallen wat kan worden opgelost in 5 of minder stappen (dus g(5)) is het aantal getallen wat wordt opgelost in één stap (dus f(1)) plus het aantal getallen wat wordt opgelost in twee stappen (dus f(2)) etc.

David
Moderator
Moderator
Berichten: 4927
Lid geworden op: 14 mei 2009, 16:22

Re: waar moeten de bewijzen?

Bericht door David » 13 jul 2015, 19:21

Mastrem schreef: en zijn niet oneindig groot voor alle x.
...
O ja, eens.
Mastrem schreef:...
Okay. Schrijf dan liever

Zie en snap je het verschil?
Mastrem schreef: Omdat

Daarom:
Kan je dit meer uitwerken?
Stap 1 van het oplossen van een probleem is te erkennen dat je een probleem hebt.
(Raffiek Torreman)

David
Moderator
Moderator
Berichten: 4927
Lid geworden op: 14 mei 2009, 16:22

Re: waar moeten de bewijzen?

Bericht door David » 13 jul 2015, 19:27

Waarom eigenlijk niet ?
Stap 1 van het oplossen van een probleem is te erkennen dat je een probleem hebt.
(Raffiek Torreman)

Mastrem
Vergevorderde
Vergevorderde
Berichten: 191
Lid geworden op: 13 jul 2015, 14:50

Re: waar moeten de bewijzen?

Bericht door Mastrem » 13 jul 2015, 19:31

Oh ja ik snap het. foutje.

Dat is iets wat ik lang geleden heb gedaan maar volgens mij gaat het zo:

Omdat:

stel dat we opschrijven in base a. dan is het 1111111.... (n enen)

stel nu dat a=5 en n=7.
dan is 5^0+5^1+5^2+5^3+5^4+5^5+5^6+5^7 11111111 in base 5.
nu vermenigvuldigen we met 4 en krijgen we 44444444.
als we er één bij optellen krijgen we 100000000 wat 5^8 in base 5 is.

Dus:


Wat simpele algebra leidt tot:


Mastrem
Vergevorderde
Vergevorderde
Berichten: 191
Lid geworden op: 13 jul 2015, 14:50

Re: waar moeten de bewijzen?

Bericht door Mastrem » 13 jul 2015, 19:39

dat met die klopt ook, het was een schrijffoutje van mij.
maar als ik alle machten optel, hoort daar ook de nulde macht bij, dus de rest klopt nog steeds

David
Moderator
Moderator
Berichten: 4927
Lid geworden op: 14 mei 2009, 16:22

Re: waar moeten de bewijzen?

Bericht door David » 13 jul 2015, 19:41

Okay.
De regel is (eerste term is a^0).
Maar de regel die je gaf is met producten in plaats van sommen . Toch?
Stap 1 van het oplossen van een probleem is te erkennen dat je een probleem hebt.
(Raffiek Torreman)

Mastrem
Vergevorderde
Vergevorderde
Berichten: 191
Lid geworden op: 13 jul 2015, 14:50

Re: waar moeten de bewijzen?

Bericht door Mastrem » 13 jul 2015, 19:45

ik en mijn schrijffouten!!!!!

het is idd som en geen product en ik heb dezelfde fout gemaakt in de definitie van g(x) m.b.v. B...
de definitie van g(x) in deel 3 is ook fout, het moet zijn:


is er een manier waarop ik mijn post kan editen?

David
Moderator
Moderator
Berichten: 4927
Lid geworden op: 14 mei 2009, 16:22

Re: waar moeten de bewijzen?

Bericht door David » 13 jul 2015, 19:57

Als er geen knop is niet. Maar is niet erg, iedereen vergist zich. Als je er klaar voor bent, kun je alles nog eens overzichtelijk neerzetten.

Ondertussen, hier is een artikel uit de OEIS met waarden van f(x);
http://oeis.org/A005186
Stap 1 van het oplossen van een probleem is te erkennen dat je een probleem hebt.
(Raffiek Torreman)

Plaats reactie