Điều kiện: {x2+y>0x+y>0
Ta có log3(x2+y)≥log2(x+y)⇔x2+y≥3log2(x+y)⇔x2+y≥(x+y)log23
x2−x≥(x+y)log2(3)−(x+y)(1)
Đặt t=x+y,(t>0) thì (1) trở thànhx2−x≥tlog23−t(2)
Với mỗi x nguyên cho trước có không quá 127 số nguyên y thỏa mãn bất phương trình (1) tương đương với bất phương trình (2) có không quá 127 nghiệm t nguyên dương.
Ta có hàm số f(t)=tlog23−t đồng biến trên [1;+∞) nên nếu x2−x>128log23−128=2059 thì sẽ có ít nhất 127 nghiệm nguyên t≥1
Do đó yêu cầu bài toán tương đương với x2−x≤2059⇔−44≤x≤45 (do x nguyên)
Vậy có 90 số nguyên x