Tau-tal ( -tal , eng. refactorable number ) er et heltal, der er deleligt med antallet af dets divisorer , eller, algebraisk set, sådan at . De første par tau-numre [1] :
1 , 2 , 8 , 9 , 12 , 18 , 24 , 36 , 40 , 56 , 60 , 72 , 80 , 84 , 88 , 96 .For eksempel har 18 seks faktorer (1 og 18, 2 og 9, 3 og 6) og er delelig med 6.
Tau-tal har en asymptotisk tæthed på nul. Ingen tre på hinanden følgende heltal kan være tau-tal [2] Colton beviste, at intet tau-tal er perfekt . Ligningen (hvor er den største fælles divisor og ) har kun en løsning, hvis er et tau-tal.
Flere problemer er stadig uløste med hensyn til tau-numre:
Tau-tal blev først defineret af Curtis Cooper og Robert Kennedy i 1990 [3] , som fandt ud af, at tau-tal har nul asymptotisk tæthed. De blev senere genopdaget af Simon Colton ved hjælp af et program han skrev til at opfinde og teste forskellige definitioner inden for talteori og grafteori [4] . Colton navngav disse numre på engelsk. refactorable . Selvom computerprogrammer har opdaget beviser før, var det første gang, at et program havde fundet en ny eller tidligere ubemærket idé. Colton beviste mange resultater om tau-tal, der viste uendeligheden af deres antal og flere betingelser for deres fordeling.