Let d be the greatest common divisor of m and n, i.e. m=dm′ and n=dn′, where m′ and n′ are relatively prime positive integers of different parity.
Now we need to prove that
3d2n′2+dm′n′3d2m′2+5d2m′n′=n′(m′+3n′)m′(3m′+5n′)
is not a positive integer.
Note that 3m′+5n′ and m′+3n′ are both odd.
If m′ is odd and n′ is even, the even n′(m′+3n′) clearly cannot divide the odd m′(3m′+5n′).
Otherwise, let the odd k be the greatest common divisor of 3m′+5n′ and m′+3n′. Then we have
kk∣3⋅(3m′+5n′)−5⋅(m′+3n′),∣1⋅(3m′+5n′)−3⋅(m′+3n′), i.e. k i.e. k∣4m′,∣−4n′,
from which it follows that k divides both m′ and n′, so k=1 and both factors in
n′m′⋅m′+3n′3m′+5n′
are irreducible fractions.
Since m′+3n′>m′, the proof is finished.