Venlige tal er to forskellige naturlige tal , hvor summen af alle rigtige divisorer af det første tal er lig med det andet tal og omvendt, summen af alle rigtige divisorer af det andet tal er lig med det første tal. Det vil sige, at et par naturlige tal kaldes venlige, hvis:
hvor er tallets divisorer , er tallets divisorer .
Disse par er ikke af stor betydning for talteorien , men de er et mærkeligt element i underholdende matematik .
Nogle gange betragtes perfekte tal som et særligt tilfælde af venskabelige tal : hvert perfekt tal er venligt over for sig selv.
Hvis vi tager højde for alle divisorer, får vi: eller en anden definition af venskabelige tal, svarende til denne. To tal kaldes et venskabeligt par , hvis de har den samme sum af alle deres divisorer, hvilket er lig med summen af disse tal.
På samme måde danner tre tal en mindelig tripel , hvis de har den samme sum af alle deres divisorer, hvilket er lig med summen af disse tal. .
Venlige tal blev opdaget af Pythagoras tilhængere ; dog lykkedes det kun at finde ét par venskabsnumre - 220 og 284.
Omkring 850 foreslog den arabiske astronom og matematiker Thabit ibn Qurra en formel til at finde nogle par venlige tal. Hans formel gjorde det muligt at finde to nye par venskabelige tal:
I det 18. århundrede fandt Euler et tilstrækkeligt kriterium til at konstruere par af venskabelige tal, og der var allerede 90 par på hans liste. Sandt nok dækker dette kriterium ikke alle par: for eksempel bemærkede Euler ikke parret (1184, 1210) - det blev opdaget allerede i det 19. århundrede. I det 20. århundrede hjalp computere med at finde titusinder af par. Men der er stadig ingen effektiv generel måde at finde alle sådanne par på.
Par af venskabsnumre danner sekvensen A063990 i OEIS , og de numre, der er mindre i deres venskabspar, er samlet i sekvensen A002025 , og de større er A002046 . Summen af tallene i hvert par danner sekvensen A180164 . Det er bemærkelsesværdigt, at alle sådanne summer, vilkårene hvor er lige, op til (summen og ) er delelige med . Summer, der ikke kan divideres med , er i A291550 .
Hvis for et naturligt tal er alle tre tal:
, , ,er primtal , derefter tallene og danner et par venskabelige tal.
Denne formel giver parrene (220, 284), ( 17296 , 18416 ) og ( 9363584 , 9437056 ) henholdsvis for , men der er ingen andre par af venskabelige tal, der kunne opnås fra denne formel for .
Euler udvidede formlen for Thabit ibn Qurra. Hvis for naturlige alle tre tal:
, , ,er primtal , derefter tallene og danner et par venskabelige tal. Thabit ibn Qurras formel er opnået fra Eulers formel ved substitution . Eulers formel tilføjede kun 2 par til listen over venskabelige tal:
Hvis for et par venlige tal af formen og tallene og er prime og ikke er delelige med , så for alle naturlige tal, for hvilke både tal og er primtal, er tallene og venskabelige.
Det vides ikke, om antallet af par af venskabelige tal er endeligt eller uendeligt. Fra april 2016 kendes mere end 1.000.000.000 par venskabsnumre [1] . Alle består af tal med samme paritet.
Det vides ikke, om der er et lige-ulige par venskabstal.
Det vides heller ikke, om der findes coprime- venlige tal, men hvis et sådant par af venskabelige tal findes, så skal deres produkt være større end 10 67 .
Et par venlige numre 1184 og 1210 blev opdaget i 1866 af en italiensk skoledreng - Niccolo Paganini - den fulde navnebror til den berømte virtuos og komponist . Det er mærkeligt, at dette par ikke blev opdaget af andre store matematikere.
Først stiger antallet af kendte venskabsnumre med n cifre overvejende og når et maksimum ved n = 111 ( 19.790.790 par venskabsnumre med 111 decimaler kendes), men falder derefter overvejende og når nul ved n = 917 (der er ingen kendte 917-cifrede par venskabsnumre). Her er antallet af cifre i et par antallet af cifre i det mindste antal af parret.
Den 30. januar 2017 blev et distribueret computerprojekt på BOINC-platformen - Amicable Numbers [2] lanceret . Søgningen efter venlige numre udføres både ved hjælp af beregninger på processoren og på videokortet .
Ordbøger og encyklopædier |
---|
Tal efter delelighedskarakteristika | ||
---|---|---|
Generel information | ||
Faktoriseringsformer | ||
Med begrænsede divisorer |
| |
Tal med mange divisorer | ||
Relateret til aliquot -sekvenser |
| |
Andet |
|