Si D est un diviseur commun à A et à B, cela veut dire que A est multiple de D. Il existe un entier a tel que A=Da, non ? a=A/D : c'est le quotient de A par D, bien sûr !
De même si B=Db, alors b=B/D : c'est le quotient de B par D, bien sûr !
Et si D est le plus grand de tous les diviseurs communs à A et à B, c'est-à-dire le PGCD de A et B, alors le PPCM est abD.
abD est multiple de A puisque abD=aDb=(aD)b=Ab
abD est multiple de B puisque abD=a(bD)=aB
Et on montre que c'est le plus petit : le plus petit commun multiple, ou PPCM !