Poyova domněnka je domněnka v teorii čísel navržená Györgym Poyou v roce 1919 a vyvrácená Hazelgroveem v roce 1958 . Hodnota nejmenšího protipříkladu k němu - 906 150 257 - se často používá jako ilustrace toho, že i hypotézy testované na obrovských číselných intervalech lze vyvrátit a vyžadují rigorózní důkazy.
Hypotéza říká, že alespoň polovinu přirozených čísel menších než jakékoli předem stanovené číslo lze rozložit na lichý počet prvočinitelů, přičemž se vezme v úvahu násobnost, to znamená, že pro jakékoli platí nerovnost :
,kde je Liouvilleova funkce , která má hodnotu , pokud je rozložena na sudý počet prvočinitelů, přičemž se bere v úvahu násobnost, a jinak. Fráze „vzít v úvahu mnohost“ zde znamená, že každý faktor je brán v úvahu tolikrát, kolikrát se rovná jeho stupni rozkladu.
Tato domněnka byla vyvrácena v roce 1958 Hazelgroveem, který ukázal, že existuje protipříklad a odhadl jej na asi . První konkrétní protipříklad našel Sherman-Lehman v letech 1960 - 906 180 359 . V roce 1980 byl vypočten nejmenší protipříklad - 906 150 257 . Hypotéza je nepravdivá pro většinu čísel mezi 906150257 a 906488079 ; maximum, kterého v tomto rozmezí dosahuje, je 829 (pro 906 316 571 ). Není známo, zda [1] změní znaménko nekonečněkrát .
Nuly funkce jsou rozloženy extrémně nerovnoměrně, jejich sekvence začíná následovně [2] :
2; čtyři; 6; deset; 16; 26; 40; 96; 586; 906 150 256 ; 906 150 294 ; 906 150 308 ; 906 150 310 ; 906 150 314 , …Pomalý růst pokračuje, dokud termín 252 není 906488080 a další termín je již 351100332278250 .
Hypotézy o prvočíslech | |
---|---|
Hypotézy |