Per la legge dell'annullamento del prodotto, almeno uno tra i 3 fattori deve essere uguale a zero.
Quindi tutte le soluzioni sono date date:
per ogni $ x=y $ dove ovviamente $ (x,y)\in \mathbb{N}^2 $, uguagliando invece: $ (x+\frac{4y+1}{2})=0 $
otterremmo come soluzione $ x+2y=-\frac{1}{2}=>(x,y)\not \in \mathbb{N}^2 $
Edit: anticipato di un nanosecondo.
« Due cose hanno soddisfatto la mia mente con nuova e crescente ammirazione e soggezione e hanno occupato persistentemente il mio pensiero: il cielo stellato sopra di me e la legge morale dentro di me. »
Uguale al tuo modo soltanto che $ 2x+4y+1 $ ho raccolto il fattore due, nulla di speciale, anzi quasi inutile. La tua soluzione che sfrutta i moduli delle congruenze è molto più olimpica della mia, che si basa, invece, semplicemente sulla somma di naturali.
« Due cose hanno soddisfatto la mia mente con nuova e crescente ammirazione e soggezione e hanno occupato persistentemente il mio pensiero: il cielo stellato sopra di me e la legge morale dentro di me. »