m.c.m. e M.C.D.
Le due operazioni fondamentali tra numeri interi. Dalle definizioni formali alle dimostrazioni, dall'algoritmo di Euclide alle applicazioni pratiche e alla relazione MCD · mcm = a · b.
0Introduzione
Due amici vanno in piscina: Marco ogni 6 giorni, Luca ogni 8 giorni. Oggi si sono incontrati. Tra quanti giorni si rivedranno? E se volessimo dividere 24 caramelle e 36 cioccolatini in sacchetti uguali senza avanzi, quanti sacchetti potremmo fare al massimo?
Il primo problema richiede il minimo comune multiplo, il secondo il Massimo Comune Divisore. Sono due concetti complementari: l'uno cerca il più piccolo che contiene, l'altro il più grande che sta dentro.
Perché è importante? Perché MCD e mcm non sono solo "esercizi": servono per sommare frazioni, semplificare radicali, sincronizzare eventi periodici, ottimizzare risorse. In informatica, la sincronizzazione dei processi e la crittografia RSA poggiano su queste idee.
Cosa imparerai
- Le definizioni formali di MCD e mcm
- Come si calcolano con la fattorizzazione
- La relazione fondamentale MCD · mcm = a · b, con dimostrazione
- Le proprietà formali di MCD e mcm
- L'algoritmo di Euclide per il calcolo rapido
- Come si estendono a più numeri
- Le applicazioni tipiche
- Cenni alle strutture algebriche sottostanti
1Definizioni formali
Prima di tutto, definiamo in modo rigoroso di cosa stiamo parlando. Lavoriamo in ℤ, l'insieme degli interi relativi.
Osservazione: Div(n) è sempre finito (ha al massimo 2·d(n) elementi, dove d(n) è il numero dei divisori positivi). Mult(n) è sempre infinito (basta moltiplicare n per k crescenti).
Cos'è il MCD e cos'è il mcm
M.C.D.
Il Massimo Comune Divisore di a e b è il più grande intero positivo che divide entrambi.
MCD(a, b) = max { d ∈ ℕ⁺ : d | a e d | b }m.c.m.
Il minimo comune multiplo di a e b è il più piccolo intero positivo che è multiplo di entrambi.
mcm(a, b) = min { m ∈ ℕ⁺ : a | m e b | m }Differenza di "direzione":
- Il MCD cerca il più grande che "sta dentro" a entrambi (il massimo di un insieme finito).
- Il mcm cerca il più piccolo che "contiene" entrambi (il minimo di un insieme infinito).
2Il Massimo Comune Divisore
Il M.C.D. (o gcd, dall'inglese greatest common divisor) di due interi a e b, non entrambi nulli, è il più grande intero positivo che divide entrambi.
Proprietà immediate
- MCD(a, b) = MCD(b, a) — commutativa
- MCD(a, 0) = |a| (ogni intero divide 0)
- MCD(a, a) = |a|
- MCD(a, 1) = 1 per ogni a
- Se b | a, allora MCD(a, b) = |b|
Numeri coprimi
Due interi a e b sono coprimi (o primi tra loro) se MCD(a, b) = 1.
Nota importante: essere coprimi non significa essere entrambi primi! 8 e 15 non sono primi ma sono coprimi.
3Calcolo del M.C.D.
Il metodo più usato sfrutta la fattorizzazione in fattori primi e il teorema fondamentale dell'aritmetica.
4Il minimo comune multiplo
Il m.c.m. (o lcm, dall'inglese least common multiple) di due interi positivi a e b è il più piccolo intero positivo che è multiplo di entrambi.
Proprietà immediate
- mcm(a, b) = mcm(b, a) — commutativa
- mcm(a, 1) = a per ogni a
- mcm(a, a) = a
- Se a | b, allora mcm(a, b) = |b| (il più grande è multiplo del più piccolo)
- Se a e b sono coprimi, mcm(a, b) = a · b
Perché "minimo"? Perché l'insieme dei multipli comuni è infinito, quindi non ha un massimo, ma ha un minimo (positivo). Il mcm è il "punto di partenza" comune a tutte le sequenze di multipli.
5Calcolo del m.c.m.
Attenzione: nel mcm si prendono anche i fattori che compaiono in uno solo dei numeri. Nel MCD invece solo quelli comuni a tutti.
6Relazione MCD · mcm = a · b
Tra MCD e mcm esiste una delle relazioni più eleganti dell'aritmetica:
Utilità pratica: conoscendo MCD e uno dei due numeri, si calcola il mcm con una sola moltiplicazione e divisione, senza dover rifare la fattorizzazione.
Attenzione: la relazione MCD · mcm = a · b vale solo per due numeri! Con tre o più numeri non c'è una formula così semplice.
Esempio: MCD(2, 3, 4) = 1, mcm(2, 3, 4) = 12, ma 1 · 12 = 12 ≠ 2 · 3 · 4 = 24.
7Proprietà formali
MCD e mcm godono di proprietà eleganti, che permettono di semplificare i calcoli e di estenderli a più numeri.
| Proprietà | MCD | mcm |
|---|---|---|
| Commutativa | MCD(a, b) = MCD(b, a) | mcm(a, b) = mcm(b, a) |
| Associativa | MCD(a, MCD(b, c)) = MCD(MCD(a, b), c) | mcm(a, mcm(b, c)) = mcm(mcm(a, b), c) |
| Idempotenza | MCD(a, a) = a | mcm(a, a) = a |
| Elemento neutro | MCD(a, 0) = a | mcm(a, 1) = a |
| Assorbimento | MCD(a, mcm(a, b)) = a | mcm(a, MCD(a, b)) = a |
| Distributiva (rispetto all'altra) | MCD(a, mcm(b, c)) = mcm(MCD(a, b), MCD(a, c)) | mcm(a, MCD(b, c)) = MCD(mcm(a, b), mcm(a, c)) |
| Moltiplicazione | MCD(ka, kb) = k · MCD(a, b) | mcm(ka, kb) = k · mcm(a, b) |
Associatività → più numeri: grazie alla proprietà associativa, possiamo calcolare MCD e mcm di più di due numeri applicandoli in modo iterativo:
MCD(a, b, c) = MCD(MCD(a, b), c)
mcm(a, b, c) = mcm(mcm(a, b), c)
8Algoritmo di Euclide
Quando i numeri sono grandi, fattorizzarli è lento. L'algoritmo di Euclide (300 a.C. circa) calcola il MCD con una sequenza di divisioni con resto, senza mai fattorizzare.
Efficienza: l'algoritmo di Euclide richiede un numero di passi logaritmico nella dimensione dei numeri. È uno degli algoritmi più efficienti conosciuti, ed è ancora oggi usato nei calcolatori per il calcolo del MCD.
9MCD e mcm di più numeri
Come calcolare MCD e mcm di 3, 4 o più numeri? Le regole si estendono naturalmente.
MCD di più numeri
mcm di più numeri
Attenzione: la relazione MCD · mcm = a · b non si estende a più numeri. Per tre numeri, in generale MCD(a,b,c) · mcm(a,b,c) ≠ a · b · c.
10Applicazioni pratiche
MCD e mcm non sono solo "giochi" matematici: sono strumenti utili in tanti contesti.
Sincronizzazione di eventi
Due eventi periodici (bus, campanelli, semafori) si ritrovano insieme dopo un tempo pari al mcm dei loro periodi.
Divisioni in parti uguali
Per dividere due quantità in gruppi uguali più grandi possibili (senza avanzi) si usa il MCD.
Somma di frazioni
Per sommare due frazioni si porta tutto al mcm dei denominatori, che è il più piccolo denominatore comune.
Semplificazione di frazioni
Per ridurre una frazione ai minimi termini si divide numeratore e denominatore per il loro MCD.
Radici
Per semplificare espressioni con radici di indici diversi si usa il mcm degli indici.
Crittografia RSA
La sicurezza di RSA si basa sull'uso di numeri che sono prodotto di due primi coprimi molto grandi (e quindi sul MCD).
Come riconoscere quale usare?
- Se il problema chiede "quando si ritrovano insieme" o "il più piccolo che contiene entrambi" → mcm
- Se chiede "il più grande che sta in entrambi" o "dividere in gruppi uguali" → MCD
11Cenni alle strutture algebriche
MCD e mcm non sono operazioni "qualsiasi": hanno una struttura algebrica precisa, che si ritrova in molti altri contesti matematici.
Perché ci interessa? Perché capire la struttura di MCD e mcm ci permette di estenderli ad altri contesti (polinomi, numeri complessi, anelli a fattorizzazione unica) e di riconoscere quando le stesse proprietà valgono. È il cuore dell'algebra moderna.
12Esempi svolti
Esempio 1 — MCD con fattorizzazione
Calcola MCD(504, 1 320).
Esempio 2 — mcm con fattorizzazione
Calcola mcm(504, 1 320).
Esempio 3 — MCD con algoritmo di Euclide
Calcola MCD(45 045, 20 020).
Esempio 4 — Problema con mcm
Il bus A passa ogni 15 minuti, il bus B ogni 20 minuti. Sono passati insieme alle 8:00. Quando passeranno di nuovo insieme?
Esempio 5 — Problema con MCD
Vuoi dividere 72 rose e 48 tulipani in mazzi uguali con la stessa composizione. Qual è il numero massimo di mazzi?
Esempio 6 — Somma di frazioni con mcm
Calcola 1/12 + 5/18.
13Giochi interattivi
Mettiti alla prova con questi giochi rapidi su MCD e mcm!
🎯 MCD con fattorizzazione
Qual è il MCD di 48 e 180?
➕ mcm con fattorizzazione
Qual è il mcm di 12 e 18?
⚡ Relazione fondamentale
Se MCD(a, b) = 6 e mcm(a, b) = 72, quanto vale a · b?
🔢 Coprimi
Qual è il MCD di 8 e 15?
🎨 Problema con MCD
Vuoi dividere 60 caramelle e 45 cioccolatini in scatole uguali. Quante scatole al massimo?
🔔 Problema con mcm
Due fari lampeggiano ogni 4 s e ogni 6 s. Dopo quanti secondi lampeggiano insieme?
14Riepilogo
Quello che hai imparato
- MCD(a, b): il più grande intero positivo che divide entrambi
- mcm(a, b): il più piccolo intero positivo multiplo di entrambi
- Calcolo: MCD → fattori comuni con esponente minimo; mcm → tutti i fattori con esponente massimo
- Relazione fondamentale: MCD(a, b) · mcm(a, b) = a · b (solo per due numeri)
- Numeri coprimi: MCD(a, b) = 1; in tal caso mcm(a, b) = a · b
- Algoritmo di Euclide: MCD con divisioni successive, molto più veloce della fattorizzazione
- Proprietà formali: commutativa, associativa, idempotenza, assorbimento, distributiva
- MCD e mcm di più numeri: si estendono naturalmente, ma la relazione MCD · mcm = a · b non vale più
- Applicazioni: sincronizzare eventi, dividere risorse, sommare frazioni, semplificare radici, crittografia
- Strutture algebriche: MCD e mcm formano un reticolo distributivo; nella teoria degli anelli corrispondono a ideali
Prossimo passo: ora che conosci MCD e mcm in profondità, prova a risolvere i 60 esercizi interattivi su MCD e mcm per mettere alla prova quello che hai imparato!