Diophantine Equation Article Index for
Diophantine 		Website Links For
Diophantine 		 

Information About

Diophantine Equation
  CATEGORIES ABOUT DIOPHANTINE EQUATION
   
diophantine equations
   
SHOPPER'S DELIGHT
 
Shop For:  
Department
Price Minimum:
Price Maximum:
      



The word ''Diophantine'' refers to the Hellenistic Mathematician of the 3rd Century CE , Diophantus of Alexandria , Egypt who made a study of such equations and was one of the first mathematicians to introduce Symbolism into Algebra . The mathematical study of Diophantine problems Diophantus initiated is now called "Diophantine analysis".

A linear Diophantine equation is an equation between two sums of Monomials of degree zero or one.


EXAMPLES OF DIOPHANTINE EQUATIONS


  • ''ax'' + ''by'' = 1: See Bézout's Identity ; this is a linear Diophantine.

  • ''x''''n'' + ''y''''n'' = ''z''''n'': For ''n'' = 2 there are infinitely many solutions (''x'',''y'',''z''), the Pythagorean Triple s. For larger values of ''n'', Fermat's Last Theorem states that no positive integer solutions ''x'', ''y'', ''z'' satisfying the above equation exist.

  • ''x''2 - ''n'' ''y''2 = 1: ( Pell's Equation ) which is named, mistakenly, after the English mathematician John Pell . It was studied by Brahmagupta in the 6th century and much later by Fermat .

  • \sum_{i=0}^n{a_i x^i y^{n-i}} = c, where n \geq 3 and c

    • ot= 0: These are the Thue Equations , and are, in general, solvable.



DIOPHANTINE ANALYSIS



Traditional questions


The questions asked in Diophantine analysis include:

  • Are there any solutions?

  • Are there any solutions beyond some that are easily found by inspection?

  • Are there finitely or infinitely many solutions?

  • Can all solutions be found, in theory?

  • Can one in practice compute a full list of solutions?


These traditional problems often lay unsolved for centuries, and mathematicians gradually came to understand their depth (in some cases), rather than treat them as puzzles.


Diophantine analysis in India


The India n interest in integral solutions of Diophantine equations can be traced back to the Sulba Sutras , which were Indian Mathematical texts written between 800 BC and 500 BC. Baudhayana (circa 800 BC) finds two sets of positive integral solutions to a set of simultaneous Diophantine equations, and also attempts simultaneous Diophantine equations with up to four unknowns. Apastamba (circa 600 BC) attempts simultaneous Diophantine equations with up to five unknowns.

Diophantine equations were later extensively studied by mathematicians in medieval India, who were the first to systematically investigate methods for determination of integral solutions of Diophantine equations. Systematic methods for finding integer solutions of Diophantine equations could be found in Indian texts from the time of Aryabhata ( 499 CE ). The first explicit description of the general integral solution of the linear Diophantine equation ay + bx = c occurs in his text ''Aryabhatiya''. This algorithm is considered to be one of the most signicant contributions of Aryabhata in pure mathematics. The technique was applied by Aryabhata to give integral solutions of simulataneous Diophantine equations of first degree, a problem with important applications in astronomy.

Aryabhata describes the algorithm in just two stanzas of ''Aryabhatiya''. His cryptic verses were elaborated by Bhaskara I (6th century) in his commentary ''Aryabhatiya Bhasya''. Bhaskara I illustrated Aryabhata's rule with several examples including 24 concrete problems from astronomy. Without the explanation of Bhaskara I, it would have been difficult to interpret Aryabhata's verses. Bhaskara I aptly called the method ''kuttaka'' (pulversisation). The idea in kuttaka was later considered so important by the Indians that initially the whole subject of algebra used to be called ''kuttaka-ganita'', or simply ''kuttaka''.

Brahmagupta (628) handled more difficult Diophantine equations - he discovered Pell's Equation , and in his ''Samasabhavana'' he laid out a procedure to solve Diophantine equations of the second order, such as 61x2 + 1 = y2. These methods were unknown in the west, and this very equation was posed as a problem in 1657 by the French mathematician Pierre De Fermat - however, its solution was found only seventy years later by Euler . Meanwhile, many centuries ago, the solution to this equation was recorded by Bhaskara II (1150), using a modified version of Brahmagupta's method, and also found the solution to Pell's Equation .


17th and 18th centuries


In 1637, , but it wasn't until 1994 that it was proven by British mathematician Andrew Wiles .

In 1657, Fermat attempted the Diophantine equation 61x2 + 1 = y2 (solved by Brahmagupta over 1000 years earlier). The equation was eventually solved by Euler in the early 18th century, who also solved a number of other diophantine equations.


Hilbert's tenth problem


In 1900, in recognition of their depth, Hilbert proposed the solvability of all Diophantine problems as the tenth of his Celebrated Problems . In 1970, a novel result in Mathematical Logic known as Matiyasevich's Theorem settled the problem negatively: in general Diophantine problems are unsolvable.

The point of view of Diophantine geometry, which is the application of Algebraic Geometry techniques in this field, has continued to grow as a result; since treating arbitrary equations is a dead end, attention turns to equations also having a geometric meaning. The central idea of Diophantine geometry is that of a '''rational point''', namely a solution to a polynomial equation or system of Simultaneous Equations , which is a vector in a prescribed Field ''K'', when ''K'' is ''not'' Algebraically Closed .


Modern research


One of the few general approaches is through the Hasse Principle . Infinite Descent is the traditional method, and has been pushed a long way.

The depth of the study of general Diophantine equations is shown by the characterisation of Diophantine Set s as Recursively Enumerable .

The field of Diophantine Approximation deals with the cases of ''Diophantine inequalities'': variables are still supposed to be integral, but some coefficients may be irrational numbers, and the equality sign is replaced by upper and lower bounds.


EXPONENTIAL DIOPHANTINE EQUATIONS


If a Diophantine equation has as an additional variable or variables some integer(s) occurring as Exponent s, it is an exponential Diophantine equation. Such equations do not have a general theory; particular cases such as Mihăilescu's Theorem have been tackled.


EXTERNAL LINKS