Diophantine equations are a certain class of equations for which solutions that consist only of integers are sought. So, for example, we know that Pythagoras’s theorem x2+y2=z2 has many sets of solutions such as the numbers x=3, y=4, z=5 or the set x=6, y=8, z=10. A lot of these problems involve existence claims such as whether any solution exists at all and if none can be found, whether it can be proved that no solution exists.
[Read more…]