Sysop: Masivní vylepšení

2016-04-26T13:04:06Z

Masivní vylepšení

← Starší verze		Verze z 26. 4. 2016, 13:04
Řádka 1:		Řádka 1:
-	~~{{Wikipedia-cs\|~~Spřátelená čísla\|~~700}}~~	+	'''Spřátelená čísla''' (též '''přátelská''', '''svázaná''') jsou dvě [[přirozené číslo\|přirozená čísla]] taková, že [[sčítání\|součet]] všech kladných [[dělitel]]ů jednoho čísla (kromě čísla samotného) se rovná druhému číslu a naopak – součet všech [[dělení\|dělitelů]] druhého čísla (kromě něho samotného) se rovná prvnímu. Na podobném základu stojí [[dokonalé číslo\|dokonalá čísla]], která se rovnají přímo součtu všech svých dělitelů.

		+	Nejmenším párem spřátelených čísel je dvojice [[220 (číslo)\|220]] a 284. Všichni kladní dělitelé 220 kromě 220 samotné jsou 1, 2, 4, 5, 10, 11, 20, 22, 44, 55 a 110, jejich součet je roven 284. Obráceně všechny dělitelé 284 jsou 1, 2, 4, 71 a 142, jejichž součet je roven 220.
		+
		+	Několik prvních párů spřátelených čísel: (220, 284), (1184, 1210), (2620, 2924), (5020, 5564), (6232, 6368) (sekvence [http://www.research.att.com/~njas/sequences/A063990 A063990] v [[On-Line Encyclopedia of Integer Sequences\|OEIS]]).
		+
		+	== Historie ==
		+	Spřátelená čísla byla známa již pythagorejcům, kteří jim přisuzovali mystické vlastnosti. První obecný vzorec, ze kterého se dala spřátelená čísla tvořit zaznamenal roku 830 arabský astronom a matematik Thābit ibn Qurra (826–901). Dalšími arabskými matematiky, kteří se zabývali spřátelenými čísly byli al-Majriti († 1007), al-Baghdadi (980–1037) a al-Fārisī (1260–1320). [[Írán]]ský matematik Muhammad Baqir Yazdi (16. století) objevil pár (9363584, 9437056), ačkoliv to bývá často přisuzováno René Descartovi. Mnoho práce matematiků z Východu v této oblasti bylo zapomenuto.
		+
		+	Thābitův vzorec byl znovu objevem Pierre de Fermatem (1601–1665) a René Descartem (1596–1650), kterému je tato skutečnost někdy připisována, a rozšířen Leonhardem Eulerem (1707–1783). To dále rozšířil Borho v roce [[1972]]. Fermat s Descartem taktéž znovu objevili páry spřátelených čísel známé již arabským matematikům. Euler pak objevil desítky nových párů. Zajímavostí je, že druhý nejmenší pár, (1184, 1210), objevil až v roce 1866 tehdy ještě ani ne dvacetiletý [[B. Nicolò I. Paganini]]. Dřívější matematici tento pár přehlédli.
		+
		+	V roce [[1946]] bylo známo 390 párů. Rozvoj počítačů však od té doby umožnil objevení tisíců dalších. Důkladná hledání byla provedená k nalezení párů menších než nějaká daná hodnota — ta byla zvýšena z původních 10<sup>8</sup> v roce [[1970]], na 10<sup>10</sup> v roce [[1986]], 10<sup>11</sup> v roce [[1993]] a na ještě větší hodnoty dnes.
		+
		+	== Společenská čísla ==
		+	'''Společenská čísla''' jsou řetězce čísel, je jich 3 a víc a když sečteme dělitele jednoho čísla, vznikne druhé, pode stejného pravidla vytvoříme třetí atd., součet posledního čísla se rovná prvnímu číslu.
		+	Jedna řada se skládá z čísel 12 496, 14 288, 15 472, 14 536 a 14 264.
		+	Nejdelší tenkrát známý řetězec společenských čísel má 28 členů a jeden z nich je 14 316.
		+
		+	== Pravidla pro generování spřátelených čísel ==
		+	Thābitovo pravidlo říká, že když
		+	: ''p'' = 3 × 2<sup>''n'' − 1</sup> − 1,
		+	: ''q'' = 3 × 2<sup>''n''</sup> − 1,
		+	: ''r'' = 9 × 2<sup>2''n'' − 1</sup> − 1,
		+	kde ''n'' > 1 je přirozené číslo ''p'', ''q'', a ''r'' jsou [[prvočíslo\|prvočísla]], pak 2''<sup>n</sup>pq'' a 2''<sup>n</sup>r'' je pár spřátelených čísel. Tento vzorec dává páry (220, 284) (n=2), (17296, 18416) (n=4), a (9363584, 9437056) (n=7), ale žádné další nejsou známy. Čísla tvaru 3 × 2<sup>''n''</sup> − 1 jsou známa jako Thābitova čísla. Aby Thābitův vzorec vyprodukoval spřátelený pár, musí dvě po sobě jdoucí Thābitova čísla být prvočísly; to výrazně omezuje možné hodnoty ''n''.
		+
		+	Zobecněním tohoto je tzv. Eulerovo pravidlo, které říká, že když
		+	: ''p'' = (2<sup>(n - m)</sup>+1) × 2<sup>''m''</sup> − 1,
		+	: ''q'' = (2<sup>(n - m)</sup>+1) × 2<sup>''n''</sup> − 1,
		+	: ''r'' = (2<sup>(n - m)</sup>+1)<sup>2</sup> × 2<sup>''m'' + ''n''</sup> − 1,
		+	kde ''n''>''m''> 0 jsou přirozená čísla a ''p'', ''q'' a ''r'' jsou prvočísla, pak 2<sup>n</sup>pq a 2<sup>n</sup>r je pár spřátelených čísel. Thābitovo pravidlo odpovídá případu m=n-1. Eulerovo pravidlo vytvoří další dodatkové páry spřátelených čísel pro (m,n)=(1,8), (29,40), další nejsou známy.
		+
		+	Ačkoliv tato pravidla mohou vygenerovat některé páry spřátelených čísel, spřátelených čísel samotných je známo o mnoho více, a tak tato pravidla nejsou v žádném případě vyčerpávající.
		+
		+	== Pravidelné páry ==
		+	Nechť (''m'', ''n'') je pár spřátelených čísel, kde ''m''<''n'', a pišme ''m=gM'' a ''n=gN'' kde ''g'' je [[největší společný dělitel]] čísel ''m'' a ''n''. Pokud ''M'' a ''N'' jsou obě [[Nesoudělná čísla\|nesoudělná]] s ''g'' a nejsou násobkem žádné druhé mocniny, pak pár (''m'', ''n'') označujeme jako '''pravidelný''', v ostatních případech '''nepravidelný'''. Když (''m'', ''n'') tvoří pravidelný pár a ''M'' a ''N'' mají postupně ''i'' a ''j'' prvočíselných dělitelů, pak o páru (''m'', ''n'') říkáme, že je '''typu''' (''i'', ''j'').
		+
		+	Například pro (''m'', ''n'') = (220, 284), je největší společný násobek číslo 4, a tak M = 55 a N = 71. Tím pádem (220, 284) je pravidelný pár typu (2, 1).
		+
		+	Neexistuje pár spřátelených čísel typu (1, ''j'') pro žádné ''j''.
		+
		+	== Další poznatky ==
		+	Ve všech dosud známých případech tvoří pár spřátelených čísel buď dvě čísla [[Sudá a lichá čísla\|sudá]] nebo [[Sudá a lichá čísla\|lichá]]. Není známo, zda existují páry tvořené jedním sudým a jedním lichým číslem. Zrovna tak každý známý pár má alespoň jednoho společného dělitele. Není známo, zda existuje pár spřátelených čísel, který by byl tvořen čísly nesoudělnými. Kdyby nějaký takový byl, jeho součin by musel být větší než 10<sup>67</sup>. Také by se nedal vyjádřit Thabitovým vzorcem, ani žádným podobným.
		+
		+	== Související články ==
		+	* [[Dokonalé číslo]]
		+	== Externí odkazy ==
		+	* [http://mathworld.wolfram.com/AmicablePair.html Spřátelená čísla] v encyklopedii [[MathWorld]] (anglicky)
		+
		+
		+	{{Článek z Wikipedie}}
	[[Kategorie:Přirozená čísla]]		[[Kategorie:Přirozená čísla]]
	[[Kategorie:Teorie čísel]]		[[Kategorie:Teorie čísel]]

Sysop: 1 revizi

2013-11-15T12:29:46Z

1 revizi

← Starší verze

Verze z 15. 11. 2013, 12:29

Sysop: 1 revizi

2012-11-20T10:05:34Z

1 revizi

Nová stránka

{{Wikipedia-cs|Spřátelená čísla|700}}

[[Kategorie:Přirozená čísla]]
[[Kategorie:Teorie čísel]]

Spřátelená čísla - Historie editací

Sysop: Masivní vylepšení

Sysop: 1 revizi

Sysop: 1 revizi