Authors: Hayder R. Hashim

Consider the system x 2 − ay 2 = b, P (x, y) = z 2, where P is a given integer polynomial. Historically, the integer solutions of such systems have been investigated by many authors using the congruence arguments and the quadratic reciprocity. In this paper, we use Kedlaya’s procedure and the techniques of using congruence arguments with the quadratic reciprocity to investigate the solutions of the Diophantine equation 7X 2 + Y 7 = Z 2 if (X, Y) = (L n , F n ) (or (X, Y) = (F n , L n )) where {F n } and {L n } represent the sequences of Fibonacci numbers and Lucas numbers respectively.