Calcolo della probabilità
di un MCD dato

[Graphics:Images/index_gr_1.gif]

Costruiamo un programma che conti le coppie (i,j) di interi positivi <= n tali che MCD(i,j)=1, MCD(i,j)=2, ..., MCD(i,j)=d (con d<=n).
Il risultato è una lista c di lunghezza di d. Per accelerare il conto delle coppie per cui MCD(i,j)=d, contiamo solo le coppie (i,j) con i<j. Quindi moltiplichiamo per 2 e aggiungiamo 1 (per contare le coppie (i,j) con i>j, e la singola coppia (d,d)).

[Graphics:Images/index_gr_2.gif]

Ecco il conto delle coppie di interi tra 1 e n=200, con MCD di valore i=1 oppure 2 ... oppure 5.

[Graphics:Images/index_gr_3.gif]
[Graphics:Images/index_gr_4.gif]

[Graphics:Images/index_gr_5.gif]

Questa formula prevede una probabilità di [Graphics:Images/index_gr_6.gif] che il MCD tra due numeri sia i=1, una probabilità di [Graphics:Images/index_gr_7.gif] che il MCD tra due numeri sia i=2, una probabilità di [Graphics:Images/index_gr_8.gif] che il MCD tra due numeri sia i=3, e così via.

[Graphics:Images/index_gr_9.gif]
[Graphics:Images/index_gr_10.gif]
[Graphics:Images/index_gr_11.gif]

Scriviamo i risulati ottenuti e quelli previsti sotto forma di tabella.

[Graphics:Images/index_gr_12.gif]
[Graphics:Images/index_gr_13.gif]
[Graphics:Images/index_gr_14.gif]

La differenza tra il numero di coppie previsto:

                 [Graphics:Images/index_gr_15.gif], [Graphics:Images/index_gr_16.gif], [Graphics:Images/index_gr_17.gif], ...
                 
(con n=200) e quello ottenuto è difficilmente visibile a occhio nudo.

[Graphics:Images/index_gr_18.gif]
[Graphics:Images/index_gr_19.gif]

[Graphics:Images/index_gr_20.gif]

[Graphics:Images/index_gr_21.gif]

Controlliamo che la somma delle probabilità previste per i possibili valori di MD(n,m) faccia uno:

[Graphics:Images/index_gr_22.gif]
[Graphics:Images/index_gr_23.gif]

Solo per curiosità, aggiungiamo un grafico a densità dei valori di MCD(n,m), e del sottoinsieme degli (n,m) con MCD(n,m)=1 (delle coppie (n,m) di coprimi). La distribuzione appare intricata e priva di regolarità evidenti; tanto più ci sorprende il fatto che la percentaule delle con MCD(n,m) sia esprimibile con una formula così semplice,

[Graphics:Images/index_gr_24.gif]
[Graphics:Images/index_gr_25.gif]

[Graphics:Images/index_gr_26.gif]

[Graphics:Images/index_gr_27.gif]
[Graphics:Images/index_gr_28.gif]
[Graphics:Images/index_gr_29.gif]

[Graphics:Images/index_gr_30.gif]

[Graphics:Images/index_gr_31.gif]


Converted by Mathematica      March 2, 2003