salam
je propose une solution par l'absurde:
supposons qu'il existe : p , q dans IN* tel que pgcd(p,q)=1 et An = p/q
---------------------
===> n/(n+2) = p²/q²
===> n.q² = p²(n+2)
comme pgcd(p²,q²) = 1 ====> p² divise n ( GAUSS ) ===> n = n'.p²
===> n'.p².q² = p²(n'p² +2) ===> n'.q² = n'.p² + 2
===> n'(q²-p²) = 2
===> n' = 1 ou 2
-------------------------
1er cas : n' = 1
(q+p)(q-p) = 2 ====> p+q = 2 et q-p = 1 ===> 2q=3 impossible car q E IN*
-----------------------------
2e cas : n' = 2
(p+q)(q-p) = 1 ====> p+q = q-p = 1 ===> 2p = 0 impossible car p E IN*
-------------------------------------
conclusion : An n'appartient pas à Q*.
.