Salut,
Déjà, je te conseillerais fortement de commencer par regarder combien vallent A1,A2,A3,A4,A5 (au minimum) juste "pour comprendre comment ça marche".
Pour les "points de suspensions", si ça t'amuse, tu peut utiliser le symbole "consacré"

qui permet d'écrire que
(n+2) ... (2n-1)2n=\bigprod_{k=n+1}^{2n}k)
.
C'est peut-être un peu plus joli et un peu plus court, mais ça ne change absolument rien et ça ne risque pas de t'aider à résoudre ton problème (au contraire, la lettre suplémentaire 'k' risque de t'embrouiller)
Pour la récurrence, l'amorce ne pose aucun soucis et, pour l'hérédité, il faut voir que la phrase "

est divisible par

" signifie qu'il existe un entier

(dépendant de n) tel que

. Partant de cette hypothèse, il faut que tu montre que

pour un certain entier

.
P.S.1 : Si tu regarde par exemple n=3, tu verra qu'on a pas
(n+2)...(2n-1))
.
P.S.2 : Pour montrer un tel résultat, la récurence n'est pas forcément le plus malin, mais vu que l'on t'impose la méthode...