salam
p divise ab , supposons p divise a ; comme p divise a+b =====> p divise b
====> a=pa' ; b = pb'
===>p² = pgcd(a+b,ab) =p.pgcd(a'+b',a'b')
===> pgcd(a'+b',a'b')= p
on recommence le même scénario
a'=pa" et b'=pb" ====> pgcd(a"+b",a"b")=1
donc pgcd(a,b) = p².pgcd(a",b").
___________
soit d un diviseur commun à a" et b" ====> d divise (a"+b") et a"b" ===> d=1
donc pgcd(a,b) = p²
________________________________________