Có thể phân tích thành (x + y + z + t )^2 + (y + z -t)^2 + (z - t)^2 + t^2 = 12 <=> (x + y + z + t )^2 + (y + z -t)^2 + (z - t)^2 + t^2 = 4 + 4 +1 + 1.
Đến đây có thể xét các bộ số để tìm x, nhưng mình lại không biết cách loại nghiệm cho bớt đi chứ nhiều quá.