Cosa sono le equazioni diofantee e come si risolvono? grazie Federico

Un’equazione diofantea (lineare) classica è un’equazione della forma ax+by=c, con a,b,c numeri interi. Lo scopo è quello di cercare soluzioni intere dell’equazione data.

Lemma: Condizione necessaria affinchè l’equazione ax+by=c abbia soluzioni intere è che MCD(a,b)|c. (con MCD denoto il massimo comun divisore mentre con  | denoto il simbolo “divide”, ovvero la divisione è senza resto).

Dimostrazione: Supponiamo che ax+by=c abbia soluzioni intere; allora , posto d=MCD(a,b), si ha che d|(ax+by) per ogni x,y interi, per cui d|c.

Teorema: Sia data l’equazione diofantea ax+by=c, e sia MCD(a,b)|c; allora l’equazione data ha soluzione e tutte le soluzioni sono date da x=x0+kβ, y=y0-kα, dove (x0,y0) è una soluzione particolare, k varia in Z, mentre

α=a/ MCD(a,b) e β=b/ MCD(a,b).

Dimostrazione: Sia d=MCD(a,b); per ipotesi d|c per cui esistono x1 e y1 interi tali che ax1+by1=d.  Ora d|a, d|b e d|c per cui a=dα, b=dβ e c=dγ; allora a(x1γ)+b(y1γ)=c, per cui (x1 γ,y1 γ) è una soluzione particolare dell’equazione data. Poniamo quindi x0= x1 γ e y0=y1 γ. Si verifica subito che x=x0+kβ, y=y0-kα sono ancora soluzioni; infatti

ax+by=a(x0+kβ)+b(y0-kα)=ax0+by0+dαkβ-dβkα=c.

L’ultima cosa che resta da dimostrare è che tutte le soluzioni sono in questa forma. Sia  x,y una soluzione; allora ax+by=c da cui αx+βy=γ e αx0+βy0=γ, da cui

α(x-x0)=β(y0 -y).   (1)

Osserviamo che MCD(α,β)=1, per cui α|(y0-y) e β|(x-x0). Dunque si ha y0-y=αk e x-x0=hβ, con h,k interi. Sostituendo nella (1) si trova subito k=h, da cui la conclusione.

Osservazione: La teoria fornita dal Teorema precedente si applica tutte le volte che MCD(a,b)=1.

Esempio: L’equazione diofantea 2x+6y=7 non ammette soluzione, essendo MCD(2,6)=2 che non divide 7.
Esempio: L’equazione diofantea x-5y=4 ammette infinite soluzioni date dal Teorema; una soluzione particolare è x=9, y=1, per cui tutte le soluzioni saranno date da x=9-5k e y=1-k, al variare di k in Z.