: x

(m,n) = m+(m+n)
Mostrar que injetora:
Mostrar que:

(m,n) = (p,q) (m,n) = (p,q), m,n,p,q

Ou seja, m=p e n=p
Lema:

(m+n) < (m,n) < (m+n+1)

De fato, pois
(m+n) < m + (m+n) < (m+n) + 2(m+n) + 1

(m,n) = (p,q). Logo

(m+n) < (p,q) < (m+n+1). Mas
(p+q) < (p,q) < (p+q+1). Assim,
(p+q) < (m,n) < (p+q+1).
Porm,

Mas a tal que (p+q) < a < (p+q+1) (ou seja, no existe nenhum quadrado
perfeito entre dois quadrados perfeitos). Assim,

(m,n) < (m+n+1)

(m+n) < (p,q) < (m+n+1)
(p+q) < (p,q) < (p+q+1)
(p+q) < (m,n) < (p+q+1)
(m+n) <

(m+n) = (p+q).

(m+n) = (p+q) e m+(m+n) = p+(p+q) m=p

Portanto, n=q. Assim (m,n)=(p,q)