8
$\begingroup$

When searching for the originator of the method of removing radicals from equations I found the following remark by D. Mooney:

"In the 97th Section of his Analysis, Doctor Hales shews the method of taking quadratic surds out of an equation, provided the number of terms be not greater than four, but if there be a fifth term, whether rational or surd, he is of opinion that the equation cannot, by that method, be cleared from surds.
Were this the case, we would have no other alternative, than to recur to the method of Monsieur Fermat, by seigning the surds equal to an assumed letter, and thence by means of as many simple equations, as there are surds, to take these letters out of the equation; but this is a work of so much labour, that it is sufficient to deter a person slightly acquainted with algebra.
"

and then details his method of removing an arbitrary number of square roots from an equation by repeated squaring (I assume "surds" are square roots).


The description of Fermat's method seems to indicate that he is the original source of the technique of reducing the problem of removing square roots (or even general radicals) from equations to solving a linear system of equations, where the monomials of radicals are the unknowns.

Question:
what kind of problem did Fermat exactly solve and how has that influenced later work of other mathematicians; apparently Moivre solved the general case?

$\endgroup$
1
  • $\begingroup$ Could this method of Fermat's in essence be considered the first proof, or almost proof, that algebraic numbers (i.e. roots of polynomials) form a field? I've been wondering when historically that became known, in some sense of the word "known". $\endgroup$ Commented May 3 at 12:45

1 Answer 1

3
$\begingroup$

Fermat developed his method of clearing radicals to solve the problem of finding the maximum and minimum of a polynomial, as an application of differential calculus "avant la lettre". A 19th century source describes the method as follows:

In his method of maxima and minima, for instance, in the function which is to become a maximum, he substitutes for the independent variable $x$, the same increased by a certain quantity $e$; and as the condition of the maximum requires, that when $e$ is infinitely diminished, or zero, these two expressions should be equal, he equates them, clears the equation of surds and radicals, and, striking out the common terms, the whole becomes divisible by $e$, after which $e$ is made zero and the equation of the maximum obtained.

As explained here, Fermat's method (developed around 1629 but published only in his collected works) was extended by Newton in his development of calculus. This is consistent with the text by Mooney quoted in the OP, which continues on page 226 with "The example proposed by Newton, where he mentions M. Fermat's method".

The procedure for treating surd expressions which Fermat developed in Methode de maximis et minimis is explained in a more modern text here (page 59).

$\endgroup$
3
  • $\begingroup$ That more modern text is Kirsti Andersen, The mathematical technique in Fermat's deduction of the law of refraction, Historia Mathematica Volume 10, Issue 1, February 1983, Pages 48-62. $\endgroup$ Commented Aug 27, 2017 at 1:55
  • $\begingroup$ @GerryMyerson, Carlo Beenaker I double post the following comment to the original question, in case one of you may know the answer: Could this method of Fermat's in essence be considered the first proof, or almost proof, that algebraic numbers (i.e. roots of polynomials) form a field? I've been wondering when historically that became known, in some sense of the word "known". $\endgroup$ Commented May 3 at 12:47
  • $\begingroup$ @Yaakov, better, I think, to post that as a new question (possibly at the history of science and math site, rather than at MathOverflow) than to hide it here as a comment on a question from 2017. $\endgroup$ Commented May 3 at 22:34

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .