Olympic Toán học Quốc tế IMO 2007 — Đề chính thức Câu hỏi 5

Đặt $a$ và $b$ là số nguyên dương. Chứng minh rằng nếu $4ab - 1$ là ước của $(4a^2 - 1)^2$ thì $a = b$.