Điều kiện xác định: x+2y>0 và x2+y2>0.
Đặt log3(x+2y)=log2(x2+y2)=t.
Khi đó:
{x+2y=3tx2+y2=2t
Theo bất đẳng thức Cauchy-Schwarz:
(x+2y)2≤(12+22)(x2+y2)=5(x2+y2)
⟹(3t)2≤5⋅2t⟺9t≤5⋅2t⟺(29)t≤5⟺t≤log295≈1,07.
Suy ra x2+y2=2t≤21,07<22=4.
Do y2≤x2+y2<4 và y∈Z nên y∈{−1;0;1}.
- Với y=−1: Hệ trở thành {x−2=3tx2+1=2t⟹(3t+2)2+1=2t⟺9t+4⋅3t−2t+5=0.
+ Nếu t≤0 thì 5−2t>0, vế trái >0, phương trình vô nghiệm.
+ Nếu t>0 thì 9t>2t, vế trái >0, phương trình vô nghiệm.
Vậy y=−1 không thỏa mãn.
- Với y=0: Hệ trở thành {x=3tx2=2t⟹9t=2t⟺(29)t=1⟺t=0⟹x=1 (thỏa mãn).
- Với y=1: Hệ trở thành {x+2=3tx2+1=2t⟹(3t−2)2+1=2t.
Với t=1, ta có (3−2)2+1=2=21 (thỏa mãn), suy ra x=31−2=1.
Vậy có đúng 2 giá trị nguyên của y thỏa mãn yêu cầu bài toán là y=0 và y=1.