salam
par l'absurde
1er cas : xy et x+y , pairs
--------------------------------------
====> x(x+y) pair ===> x(x+y) - xy pair
===> x^2 pair ===> xpair et par symétrie y pair ===> 2 divise x et y
contraie à l'hypothèse.
2e cas : xy et x+y , impairs
-----------------------------
xy impair ===> x impair et y impair ===> x+y pair absurde.
---------------
conclusion : si pgcd(x,y) = 1 ===> xy et x+y de parité différentes
---------------
remarque: il y a un résultat intéressant aussi
si pgcd(x,y) =1 =====> pgcd(xy , x+y ) = 1
--