Lambert’s Solution to x^m + x = q Explained

ho.history-overviewsequences-and-seriestranscendence

I've been thinking about Lambert's Trinomial Equation quite a bit, and I want to see his solution. The only solution I could find was in Euler's form, and I still don't quite understand how he got from one equation to the other. Lambert's solution is probably somewhere in here, since this is the paper that was cited in the first link, but this text is absolutely foreign to me; I can't make heads or tails of it. He's using the long "s" and I don't speak latin, and algebra was pretty different back then. I asked this on MSE but I didn't get any answers yet. Is this the sort of question that's appropriate on this site, since it has to do with research? Thanks!

Best Answer

I understand your question as a historical one: how did Lambert solve the trinomial equation? Let me try to walk you through his derivation in his 1758 paper "Observationes variae in mathesin puram".

In paragraph 35 (see here) Lambert first explains his method of successive inequalities for the simplest case $m=1$, so to solve $x+px=q$ for $x$. He considers separately the cases $p<1$ (left column of inequalities) and $p>1$ (right column). He thus arrives at the series

$x=q-pq+p^2q-p^3q+p^4q+\cdots$ for $p<1$ (notice the typo in the sign of the fourth term)

$x=q/p -q/p^2+q/p^3-q/p^4+\cdots$ for $p>1$.

Both series converge to $q/(1+p)$, which is indeed the solution.

He then goes on in paragraph 36 to apply the same method to the case $m=2$, solving $x^2+px=q$, concluding in paragraph 39 with the general case $x^m+px=q$:

$$x=q/p-q^m/p^{m+1}+mq^{2m-1}/p^{2m+1}-\tfrac{1}{2}m(3m-2)q^{3m-2}/p^{3m+1}+\cdots$$

(The paragraphs where this general solution is given are missing from the scanned version of his paper that you found online.)

In paragraph 40 he gives the convergence criterium for the series as $(m-1)^{m-1}p^m>m^m q^{m-1}$. [note]

For historical background on Lambert and the discovery of the method of Lagrange inversion, see "A Historian Looks Back" by Judith Grabiner, page 52 and following.


[note added October 2014] Grabiner gives a weaker convergence criterion, $p^m>q^{m-1}$, but as Tom Copeland noted, the original Lambert criterion is consistent with the answer to this MSE question (for $m=4$, $p=1$).