ディオファントス方程式
In 1875, Lucas posed a challenge to prove that the only solution of the Diophantine equation: