Poyova hypotéza

Aktuální verze stránky ještě nebyla zkontrolována zkušenými přispěvateli a může se výrazně lišit od verze recenzované 20. srpna 2020; kontroly vyžadují 2 úpravy .

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

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 .

Poznámky

  1. Weisstein, Eric W. Pólya Conjecture  na webu Wolfram MathWorld .
  2. OEIS sekvence A028488 _

Odkazy