Matematické Fórum

Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.

Nástěnka
22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

Nejste přihlášen(a). Přihlásit

#26 22. 08. 2015 18:22

liamlim
Příspěvky: 220
Škola: MFF UK
Pozice: student
Reputace:   
 

Re: collatzova domnenka

↑↑ check_drummer:

Já to myslel takto:  Máme číslo dělitelné 3. Další číslo je v rozkladu je buď znovu dělitelné 3 (to pokud původní číslo bylo sudé) nebo číslo nedělitelné 3. Konkrétně 3k+1. I pokud je ale další číslo dělitelné 3, nutně se dostaneme časem k číslu nedělitelnému 3 - nemůžeme dělit 3 donekonečna. Z tohoto důvodu pro platnost collatzovy domněnky stačí ukázat pro čísla nedělitelná 3. Ta jsou ale zastoupena právě v tom novém rozkladu (který vlastně jen přidává nějaká čísla navíc a mění chování pro čísla dělitelná 3 - která ale nejsou podstatná).

Ono uvědomil jsem si že celé to co jsem provedl výše je vlastně zbytečné. Jen komplikuji co komplikovat nemusím. K tomu samému bych se dostal když bych sledoval v collatzově rozkladu jen čísla tvaru 3k+1

↑↑ Kdosi:
Je možné, že u těch rozkladů bude záležet na prvočíselnosti ale osobně si neumím vůbec představit jak. Ano dokázat zmíněné je snadné. Když už jsme u těch prvočísel tak těch o ty se zajímám teď taky. Jak jsem říkal prázdniny jsou po maturitě až moc dlouhé tak to chce nějak ten čas vyplnit.

Offline

 

#27 22. 08. 2015 18:56

check_drummer
Příspěvky: 5563
Reputace:   106 
 

Re: collatzova domnenka

↑ liamlim:
Zaleží co je myšleno tím, že čísla dělitelná 3 nejsou podstatná. jedna věc je, že tím můžeš myslet to, že zkoumáš jen čísla nedělitelná 3, která se periodicky vyskytují, ale podle mého to neznamená, že můžeš definovat libovolně další člen pro x dělitelný 3. jak jsem psal, podle tvé definice je zřejmé, že 2^n-1 dělitelné 3 dospěje k 1 - ovšem pro collatzovu hypotézu to zřejmé není. Tak se totiž může stít, že v collatzově posloupnosti budou čísla nedělitelná 3 stále větší a větší a ve tvé nově definovaná půjde o čísla 1,4,2,1,... (ktrreá rovněž nejsou dělitelná 3).


"Máte úhel beta." "No to nemám."

Offline

 

#28 22. 08. 2015 19:20

liamlim
Příspěvky: 220
Škola: MFF UK
Pozice: student
Reputace:   
 

Re: collatzova domnenka

↑ check_drummer:

Tak tady se asi stal mirny error. Děkuji za upozornění.

Asi přejdu k něčemu jinému, protože pochybuji že vůbec středoškolák může k něčemu u tohoto rozkladu dojít.

Offline

 

#29 22. 08. 2015 19:28

check_drummer
Příspěvky: 5563
Reputace:   106 
 

Re: collatzova domnenka

↑ liamlim:
Co je jasné ,ale co nesouvisí s tvým postupem:
krok 3x+1 se nemůže aplikovat 2x po sobě - peorože jej aplikuješ jen na liché x a tedy tím získáě sudé 3x+1. naopak krok x/2 může být aplikován i vícekrát - a zbavuješ se tak mocnin 2 v rozkladu čísla x. To by vysvětlovalo heuristicky proč koeficienty 1/2 můžou nakonec "přebít" koeficient 3: Poztřebuju totiž v průměru na každou jednu aplikaci koeficentu 3 použít n aplikací koeficientu 1/2, kde n splňuje $(\frac{1}{2})^n.3=1$. Tedy n je cca 1.585, tzn. po prvním provedení kroku x/2 musí průměrně proběhnout ještě dalších 0.585 kroků. Když to vezmeme pravděpodobnostně, tak průměrný počet kroků x/2 bude dán očekávaným počtem dělitelů, které jsou mocniny 2, tj. tento počet bude $\sum_{i=0}^{\infty}{2^{-i}.(i+1)}$, což je 4 a to je o dost více než těch 1.585. Jenže to samozřejmě nezohledňuje to, že pro nějaké číslo to nemusí vycházet tak pěkně...


"Máte úhel beta." "No to nemám."

Offline

 

#30 23. 08. 2015 12:49

check_drummer
Příspěvky: 5563
Reputace:   106 
 

Re: collatzova domnenka

Myslím, že v sovislosti s collatzovou domněnkou vznikl i tento příspěvek:
http://forum.matweb.cz/viewtopic.php?id=23722
no ale už si nepamatuju souvislosti. :-)


"Máte úhel beta." "No to nemám."

Offline

 

#31 25. 08. 2015 22:21

liamlim
Příspěvky: 220
Škola: MFF UK
Pozice: student
Reputace:   
 

Re: collatzova domnenka

Tak jsem zase něco málo odvodil. Není to nic moc ale stejně to sem napíši.

Mějmě nějaké číslo $a$ pro které platí, že se aplikací collatzova pravidla dostaneme zpět k $a$. Existují minimálně 3 taková $a$ vzhledem k cyklu 1 - 4 - 2 - 1.

Během tohoto cyklu využíváme pravidla $3k+1$ přesně $a_3$-krát a pravidla $k / 2$ přesně $a_2$-krát. Pak pro libovolné $x$ platí, že se z čísla $2^{a_2}x + a$ dostaneme v rozkladu k číslu $3^{a_3}x + a$.

Př pro hodnotu $a = 1$ : Z čísla  $4x + 1$ se dostaneme v rozkladu až k číslu $3x+1$. To si můžeme ověřit lehce propočítáním rozkladu.

To, co je zajímavé je to, že můžeme zvolit $a$ záporné. Podívejme se např. na hodnotu $a = -5$. Pak máme

-5  ->   -14   ->  -7   ->  -20   ->  -10  ->  -5

Máme tedy cyklus! Platí tedy následující:

Z čísla $8x-5$ se vždy dostaneme na číslo $9x-5$. Zase to lze snadno ověřit aplikací Collatzova pravidla. Ale tentokrát by odvození podobného vztahu bylo problematické.

Zároveň si všimněme, že pokud v Collatzově pravidle pro lichá nahradíme $3k+1$ výrazem $3k-1$ pak dostaneme nové pravidlo, které se chová pro 5 naprosto stejně jako již uvedený cyklus. Toto nové pravidlo teď označím třeba A pravidlo. To je celkem jedno.

Všimněme si, že A pravidlo ovlivňuje pravidlo Collatzovo. Množství cyklů v A pravidle nám umožňuje nalézt dvojice čísel podobných $8x-5$ a $9x-5$ kdy z jednoho nutně Collatzovým rozkladem dojdeme k druhému. Co je zajímavé, úplně stejně by množství cyklů v Collatzově pravidle ovlivňovalo počet podobných čísel u A pravidla.

To vše píši jen tak pro zajímavost. Pochybuji, že to k něčemu je.

Offline

 

#32 27. 08. 2015 22:15

check_drummer
Příspěvky: 5563
Reputace:   106 
 

Re: collatzova domnenka

↑ liamlim:
Ahoj, je to zajímavé. Ale také nevím, zda to k něčemu je. Možná kdyby se podařilo nalézt mnoho dvojic tvaru "ax+b jde na cx+d", že by se pak z toho dalo něco odvodit...
Ještě mě napadlo rozšířit definiční obor na racionální nebo gaussova čísla a zkoumat ty iterace tam, zda to něco nepřinese...


"Máte úhel beta." "No to nemám."

Offline

 

#33 27. 08. 2015 23:07

liamlim
Příspěvky: 220
Škola: MFF UK
Pozice: student
Reputace:   
 

Re: collatzova domnenka

↑ check_drummer:

hmm taky si myslím že to na nic není. Nicméně i přesto jsem to trochu zobecnil (mě vždy jak nějaké zobecnění provedu přijde natolik lehké, že nechápu jak jsem na něj nemohl přijít dřív, ach jo).

V minulém jsem uvedl, že pokud v Collatzově rozkladu z $a$ narazíme na $a$ po $a_2$ děleních a $a_3$ násobeních, pak platí nějaký vztah. No a ono prostě platí i

Jestliže v Collatzově rozkladu z $a$ narazíme na $b$ po $a_2$ děleních a $a_3$ násobeních, pak platí, že se z čísla (pro libovolné $x$ ) $2^{a_2}x + a$ dostaneme vždy k číslu $3^{a_3}x+b$.

Offline

 

#34 27. 08. 2015 23:21 — Editoval liamlim (28. 08. 2015 00:04)

liamlim
Příspěvky: 220
Škola: MFF UK
Pozice: student
Reputace:   
 

Re: collatzova domnenka

teď mě napadá, že lze využít toho cyklu 4 2 1 takto:

Nechť $a$ je libovolné číslo, pro které Collatzova domněnka platí - tzn dostaneme se k 1. (Po $a_2$ děleních a $a_3$ násobeních ). Potom ale taky platí, že se k 1 dostaneme po $a_2 + 2$ děleních a $a_3 + 1$ násobeních - jendoduše se nezastavíme na 1 ale půjdeme ještě jednou k 1. A tak dále... celkově se k 1 dostaneme po $a_2 + 2k$ děleních  a $a_3 + k$ násobeních - pro libovolné nezáporné celé $k$.


Tedy platí, že se pro libovolnou dvojici celého $x$ a nezáporného celého $k$ dostaneme z čísla $2^{a_2 + 2k}x + a$ na číslo $3^{a_3 + k}x + 1$.

edit.:
Z toho taky plyne, že se z $4^kx+1$ vždy dostaneme k číslu $3^kx + 1$

Offline

 

#35 28. 09. 2015 16:27 — Editoval liamlim (28. 09. 2015 16:28)

liamlim
Příspěvky: 220
Škola: MFF UK
Pozice: student
Reputace:   
 

Re: collatzova domnenka

edit: omlouvám se za divné značení

Díval jsem se na členy Collatzova rozkladu modulo 11. Došel jsem k zajímavé věci (  [k] budu označovat zbytky po dělení 11) . Pak pouze dělením vznikne následující:


[1] -> [6] -> [3] -> [7] -> [9] -> [10] -> [5] -> [8] -> [4] -> [2] -> [1]

jediné číslo, které není v tomto cyklu je [0] -> [0]


Naopak pokud budu uvažovat jen zvětšování (např 2k + 1 -> 6k + 4 -> 3k + 2) je pro mě nyní jeden krok, protože po vynásobení 3 a zvětšení o 1 nutně nastává dělení 2.

[1] +> [2] +> [9] +> [3] +> [5] +> [8] +> [7] +> [0] +> [6] +> [4] -> [1]

Teď zase dostaneme cyklus, který neobsahuje pro změnu [10] +> [10]

Mě jde o to, že existuje jeden "dělící" cyklus a jeden "násobící" cyklus. Každý collatzův rozklad je kombinací těchto. Např rozklad čísla 7 (mod 11).

7 +> 11 +> 17 +> 26 -> 13 +> 20 -> 10 -> 5 +> 8 -> 4 -> 2 -> 1
[7] +> [0] +> [6] +> [4] -> [2] +> [9] -> [10] -> [5] +> [8] -> [4] -> [2] -> [1]

O co mi jde. Zvládl by někdo dokázat, že pro "hodně" čísel existují podobné dva cykly? Za pomocí počítače jsem zjistil, že dělící cyklus existuje skoro vždy (pro mod nedělitelný 3). mod dělitelný dvěma se taky chová divně. Pokud je mod dělitelný 5 pak velký násobící cyklus neexistuje. Jindy se mi zdá, že existují vždy! A vždy existuje u násobícího cyklu prvek podobný 10 kdy  [10] +> [10]. A vždy existuje prvek [0] -> [0].

Myslím si, a mám takovou myšlenku, že by tohoto mohlo jít využít. Ale neumím dokázat, že opravdu ty cykly obsahuji všechna čísla kromě 0 a mod-1.

Offline

 

#36 28. 09. 2015 22:03

check_drummer
Příspěvky: 5563
Reputace:   106 
 

Re: collatzova domnenka

↑ liamlim:
Ahoj, to dělení: Podle mě to např. pro mod 7 neplatí. Bude to dle mého platit pro ta n, pro která 2 generuje multiplikativní grupu {1,..,n-1} - ale neznám kritaria, zda lze snadno pro dané n určit, zda je 2ka generátorem.


"Máte úhel beta." "No to nemám."

Offline

 

#37 16. 10. 2015 11:00

jarrro
Příspěvky: 5490
Škola: UMB BB Matematická analýza
Reputace:   303 
Web
 

Re: collatzova domnenka

ahoj tak ma napadlo . platí
$\(n\stackrel{f}{\mapsto}\frac{3^{\frac{1-\(-1\)^n}{2}}n+\frac{1-\(-1\)^n}{2}}{2^{\frac{1-\(-1\)^n}{2}}}\)\Rightarrow\(\(\(\forall n\in\mathbb{N}\setminus\{1\}\)\(\exists k\in \mathbb{N}\)\(f^{k}{\(n\)}=1\)\)\Leftrightarrow \(\(\forall n\in\mathbb{N}\setminus\{1\}\)\(\exists k\in\mathbb{N}\)\(f^k{\(n\)}< n\)\)\)$
?
ja si myslím, že áno, lebo 1<n pre n>1 a ak sa niekedy každé číslo väčšie ako 1 zmenší tak pre 2 platí, že sa dostane na jednotku a ak sa všetky čísla menšie ako nejaké n dostanú na jednotku tak n sa niekedy zmenší aspoň na jedno z nich a to sa dostane na jednotku . je niekde v mojich úvahách chyba?


MATH IS THE BEST!!!

Offline

 

#38 19. 11. 2023 20:20 Příspěvek uživatele COMBOTHX byl skryt uživatelem COMBOTHX. Důvod: zjištění chyby v generování čísel,Přetečená hodnota

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson