Tìm các số nguyên dương x,y sao cho \(\dfrac{x^3+1}{3xy-1}\) là một số nguyên

Cho đường tròn tâm O,đường AB cố định.H là điểm cố định thuộc đoạn OA (H ko trùng O và A).Qua H vẽ đường thẳng vuông góc với AB cắt đường tròn O tại C và D.Gọi K là điểm tùy ý thuộc cung lớn CD(K ko trùng các điểm C,D và B).I là giao điểm của AK và CD Chứng Minh : khi K thay đổi trên cung lớn CD của đường tròn tâm O thì tâm đường tròn ngoại tiếp tam giác KCI luôn thuộc 1 đường thẳng cố định