A) Ta có: [tex]4m^{2}+m=5n^{2}+n[/tex]
[tex]<=> 4m^{2}+m-4n^{2}-n=n^{2}[/tex]
[tex]<=> 4(m^{2}-n^{2})+(m-n)=n^{2}[/tex]
[tex]<=> 4(m-n)(m+n)+(m-n)=n^{2}[/tex]
[tex]<=> (m-n)(4m+4n+1)=n^{2} (1) [/tex]
Giả sử [tex]m-n[/tex] và [tex]4m+4n+1[/tex] không nguyên tố cùng nhau
Gọi d là ước chung của 2 đa thức đó [tex](d \neq 1)[/tex]
Khi đó [tex]n^2 \vdots d^2 <=> n \vdots d[/tex]
Mà [tex]m-n \vdots d <=> m \vdots d[/tex]
Lại có [tex]4m+4n+1 \vdots d <=> 1 \vdots d <=> d=1[/tex] mâu thuẫn với giả thiết
Do đó [tex](m-n,4m+4n+1)=1[/tex].
Kết hợp với (1) => [tex]m-n[/tex] là số chính phương
B) Ta có: [tex]4m^{2}+m=5n^{2}+n[/tex]
[tex]<=> 5m^{2}-m^{2}+m-5n^{2}-n=0[/tex]
[tex]<=> 5(m^{2}-n^{2})+m-n=m^{2}[/tex]
[tex]<=> 5(m-n)(m+n)+m-n=m^{2}[/tex]
[tex]<=> (m-n)(5m+5n+1)=m^{2} (2) [/tex]
(Từ đây chứng minh tương tư như phần A)