**Ühisteguriteta arvud** on täisarvud {\displaystyle A} ja {\displaystyle B}, mille ainus ühistegur on arv 1. Sellest järeldub, et ükskõik milline algarv, mis jagub esimene täisarvu, ei jaga teise täisarvu.

Täisarvud {\displaystyle a} ja {\displaystyle b} on ühisteguriteta arvud kui nende suurim ühistegur (GCD) on {\displaystyle 1}.

Lugeja ja nimetaja taandatud murruosas on ühisteguriteta arvud. Näiteks {\displaystyle 2,3} on ühisteguriteta arvud, sest mõlemad arvud jaguvad {\displaystyle 1}-ga. {\displaystyle 10,15} ei ole ühisteguriteta arvud, sest neid saab jagada {\displaystyle 5}-ga. {\displaystyle 3,4,11} on ühisteguriteta arvud, sest ei leidu ühistegurit, mis ei ole 1 ja mis jagab kõik kolm numbrit.

Ühisteguriteta arvude {\displaystyle a} ja {\displaystyle b} standardne esitus on {\displaystyle gcd(a,b)=1} ja {\displaystyle (a,b)=1}. GCD leidmiseks saab kasutada Eukleidese algoritmi.

Kui {\displaystyle a} ja {\displaystyle b} on ühisteguriteta arvud ja {\displaystyle gcd(a,b)=1}, siis nende notatisoon on {\displaystyle a\perp b}.

Ühisteguriteta arvud hulkadel
-----------------------------

Hulk {\displaystyle H=\{a\_{1},a\_{2},...a\_{n}\}}, kus {\displaystyle a\_{n}}on täisarvud, saab olla ühisteguriteta hulk või kindlalt ühisteguriteta, kui hulga elementide suurim ühistegur on 1. Näiteks hulk, mille elemendid on {\displaystyle 7,9,13} on ühisteguriteta arvud, sest ei leidu ühistegurit, mis ei ole {\displaystyle 1} ja mis jagab kõik numbrid ja sellest järeldub, et hulk on kindlalt ühisteguriteta.

Kui täisarvude hulgas on kaks suvalist täisarvu ühisteguriteta arvud, siis need arvud on paarikaupa ühisteguriteta arvud ja hulk on paarikaupa ühisteguriteta hulk. Hulgas {\displaystyle {6,7,9}} leidub kaks arvu, kus iga arv on ühisteguriteta arv {\displaystyle (6,7)}, aga kõik hulga elemendid pole paarikaupa ühisteguriteta arvud, sest {\displaystyle 6,9} ei ole ühisteguriteta arv. Iga paarikaupa ühisteguriteta hulk, mis on lõplik, on kindlalt ühisteguriteta hulk, aga kindlalt ühisteguriteta hulk ei ole paarikaupa ühisteguriteta hulk.

Lõpmatu hulga elemendid on ühisteguriteta arvud, kui kõik hulga elemendid on {\displaystyle a\_{n}=a\_{1}...a\_{n}+1}.

Paarikaupa ühisteguriteta arvud saavad olla lõpmatu hulgas. Märkimisväärsed näited on hulk Sylvester'i jadas, kus kõik elemendid on Fermat' arvud ja hulk, kus kõik elemendid on Mersenne'i arvud.

Omadused
--------

Kui {\displaystyle a} ja {\displaystyle b} on ühisteguriteta arvud, siis järgmised tingimused on samaväärsed:

* Ei leidu algarvu, mis jagub {\displaystyle a} ja {\displaystyle b}.
* Leiduvad täisarvud {\displaystyle x} ja {\displaystyle y} nii, et {\displaystyle ax+by=1} (*Bézout'i identiteet*).
* Arvude {\displaystyle a} ja {\displaystyle b} vähim ühiskordne on {\displaystyle ab}.
* Kui {\displaystyle a} on {\displaystyle bc} jagaja ning {\displaystyle a} ja {\displaystyle b} on ühisteguriteta arvud, siis {\displaystyle a} on c jagaja.

Esimesest punktist järeldub, et {\displaystyle a^{k}}ja {\displaystyle b^{m}} on ühisteguriteta arvud.

Pilt 1. 4 ja 9 on ühisteguriteta arvud. Seetõttu diagonaal ei sisalda tippe täisarvu koordinaatidega
Täisarvud {\displaystyle a} ja {\displaystyle b} on ühisteguriteta arvud siis ja ainult siis, kui diagonaal punktist {\displaystyle (0,0)} punkti {\displaystyle (a,b)} Descarter’i koordinaatsüsteemis ei sisalda tippe täisarvu koordinaatidega (vt Pilt 1).

Kaks naturaalarvu {\displaystyle a} ja {\displaystyle b} on ühisteguriteta arvud siis ja ainult siis, kui numbrid {\displaystyle 2^{a}-1} ja {\displaystyle 2^{b}-1} on ühisteguriteta arvud.

Ühisteguriteta arvu tõenäosus
-----------------------------

Oletame, et on täisarvud {\displaystyle a} ja {\displaystyle b}, ja tahame leida tõenäosus, et mõlemad arvud on ühistegurite arvud.

Oletame, et {\displaystyle q} on tõenäosus sellest, et kaks juhuslikult valitud täisarvud on ühisteguriteta arvud. Oletame, et oli võetud juhuslikult valitud täisarv {\displaystyle k}. Tõenäosus sellest, et {\displaystyle k} jagub {\displaystyle a} on {\displaystyle {\frac {1}{k}}}. Tõenäosus sellest, et {\displaystyle k} jagub {\displaystyle b} on sama. Sellest järeldub, et tõenäosus sellest, et {\displaystyle k} jagub {\displaystyle a} ja {\displaystyle b} on {\displaystyle {\frac {1}{k^{2}}}}. Tõenäosus sellest, et {\displaystyle gcd({\frac {a}{k}},{\frac {b}{k}})=1} on {\displaystyle q}, aga {\displaystyle gcd({\frac {a}{k}},{\frac {b}{k}})=1} ja {\displaystyle gcd(a,b)=k} on samaväärsed. Kui oletada, et on sündmuste sõltumatus, siis tõenäosus, et {\displaystyle gcd(a,b)=k} on {\displaystyle {\frac {1}{k^{2}}}\centerdot q={\frac {q}{k^{2}}}}. Sest sündmused {\displaystyle gcd(a,b)} on üksteist välistavad ja tõenäosus sellest, et on {\displaystyle gcd} on {\displaystyle 1} järeldub järgmisele:

{\displaystyle 1=\sum \_{k=1}^{\infty }{\frac {q}{k^{2}}}}, mis tähendab, et {\displaystyle q=[\sum \_{k=1}^{\infty }{\frac {1}{k^{2}}}]^{-1}={\frac {6}{\pi ^{2}}}}.

Vastastikuste algarvude paaride genereerimine
---------------------------------------------

Kõik positiivsete vastastikuste algarvude paarid {\displaystyle (m,n)}, kus {\displaystyle m>n}, saab organiseerida kahe tähelised puudega, kus puul iga tipu lehtede arv on väiksem kui {\displaystyle 4}. Üks puu algus on punktis {\displaystyle (2,1)} (kõik paaris-paaritu ja paaritu-paaris paarid) ja teise puu alguspunkt on {\displaystyle (3,1)}(kõik paaritu-paaritu paarid). Iga veeru {\displaystyle (m,n)} lehed genereeritakse nii:

* Serv 1: {\displaystyle (2m-n,m)}
* Serv 2: {\displaystyle (2m+m,m)}
* Serv 3: {\displaystyle (m+2n,n)}

Viited
------

1. ↑  Hardy, G.H. , Wright, E.M. (2008). *An Introduction to the Theory Of Numbers*. Lk 64.`{{raamatuviide}}`: CS1 hooldus: mitu nime: autorite loend (link)
2. ↑  Vineet Kumar. "Prime number generation and factor elimination" (PDF).
3. ↑  Oystein O. (1948). *Number Theory & its History McGraw-Hill*. Lk 47.
4. ↑  A. D. Abrams, M. J. Paris (1992). *The Probability that (a,b)=1*. College Mathematics Journal. Lk 47.
5. ↑  Saunders, Robert & Randall, Trevol (juuli 1994). *The family tree of the Pythagorean triplets revisited*. Mathematical Gazette. Lk 190–193.`{{raamatuviide}}`: CS1 hooldus: mitu nime: autorite loend (link)
6. ↑  Mitchell, Douglas W. (juuli 2001). *An alternative characterisation of all primitive Pythagorean triples*. Mathematical Gazette. Lk 273-275.