MathDB
Bounding Diophantine Equation

Source: China Additional TST for IMO 2020, P4

October 20, 2020
number theoryDiophantine equation

Problem Statement

Show that the following equation has finitely many solutions (t,A,x,y,z)(t,A,x,y,z) in positive integers t(1A2)(1x2)(1y2)(1z2)=(1+x1)(1+y1)(1+z1)\sqrt{t(1-A^{-2})(1-x^{-2})(1-y^{-2})(1-z^{-2})}=(1+x^{-1})(1+y^{-1})(1+z^{-1})