Encore une expression trop imprécise.
On commence effectivement comme ça :
Soit

. Si

, alors il existe des entiers

premiers entre eux, avec

(puisque

), tels que

, autrement dit
b^2=na^2)
.
Pourquoi

et

devraient-ils être impairs ? (Je vois bien une raison arithmétique, je voudrais être sûr que c'est celle que tu as trouvée).
Pour aller plus loin, il faut faire de l'arithmétique avec l'égalité ci-dessus (utiliser par exemple le fait qu'on a pris

et

premiers entre eux).