Siano $ x, y, z $ degli interi tali che $ {1 \over x} - {1 \over y} = { 1 \over z} $. Sia $ M $ il massimo comun divisore di $ x, y, z $. Si dimostri che $ Mxyz $ e $ M(y-x) $ sono dei quadrati.
(spero solo di aver messo il topic nel posto giusto...)
miscellanea 103 II ed.
Poniamo $ x=Ma $, $ y=Mb $, $ z=Mc $.
Il testo si riscrive come $ c(b-a) = ab $, con $ (a, b, c)=1 $, la tesi come $ M^4abc $ e $ M^2(b-a) $ quadrati, ovvero $ abc $ e $ (b-a) $ quadrati.
Notiamo anche che le due condizioni sono equivalenti: si può vedere scrivendo il testo come $ c^2(b-a) = abc $.
Possiamo quindi dimostrarne solo una, facciamo abc.
Abbiamo $ bc - ca = ab $, dunque nessun intero può dividere solo uno tra $ a $, $ b $ e $ c $, ma d'altra parte nessun intero li divide tutti e tre (il loro MCD è 1), per cui ogni fattore compare esattamente due volte nel prodotto $ abc $. Fine.
Il testo si riscrive come $ c(b-a) = ab $, con $ (a, b, c)=1 $, la tesi come $ M^4abc $ e $ M^2(b-a) $ quadrati, ovvero $ abc $ e $ (b-a) $ quadrati.
Notiamo anche che le due condizioni sono equivalenti: si può vedere scrivendo il testo come $ c^2(b-a) = abc $.
Possiamo quindi dimostrarne solo una, facciamo abc.
Abbiamo $ bc - ca = ab $, dunque nessun intero può dividere solo uno tra $ a $, $ b $ e $ c $, ma d'altra parte nessun intero li divide tutti e tre (il loro MCD è 1), per cui ogni fattore compare esattamente due volte nel prodotto $ abc $. Fine.