Skip to main content
Mathematics LibreTexts

1.7: Lame's Theorem

  • Page ID
    8972
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    In this section, we give an estimate to the number of steps needed to find the greatest common divisor of two integers using the Euclidean algorithm. To do this, we have to introduce the Fibonacci numbers for the sake of proving a lemma that gives an estimate on the growth of Fibonacci numbers in the Fibonacci sequence. The lemma that we prove will be used in the proof of Lame’s theorem.

    The Fibonacci sequence is defined recursively by \(f_1=1\), \(f_2=1\), and \[f_{n}=f_{n-1}+f_{n-2} \mbox{for} \ \ n\geq 3.\] The terms in the sequence are called Fibonacci numbers.

    In the following lemma, we give a lower bound on the growth of Fibonacci numbers. We will show that Fibonacci numbers grow faster than a geometric series with common ratio \(\alpha=(1+\sqrt{5})/2\).

    [lem2] For \(n\geq 3\), we have \(f_n>\alpha^{n-2}\) where \(\alpha=(1+\sqrt{5})/2\).

    We use the second principle of mathematical induction to prove our result. It is easy to see that this is true for \(n=3\) and \(n=4\). Assume that \(\alpha^{k-2}<f_k\) for all integers \(k\) where \(k\leq n\). Now since \(\alpha\) is a solution of the polynomial \(x^2-x-1=0\), we have \(\alpha^2=\alpha+1\). Hence \[\alpha^{n-1}=\alpha^2.\alpha^{n-3}=(\alpha+1).\alpha^{n-3}=\alpha^{n-2}+\alpha^{n-3}.\] By the inductive hypothesis, we have \[\alpha^{n-2}<f_n, \ \ \ \alpha^{n-3}<f_{n-1}.\] After adding the two inequalities, we get \[\alpha^{n-1}<f_{n}+f_{n-1}=f_{n+1}.\]

    We now present Lame’s theorem.

    using the Euclidean algorithm to find the greatest common divisor of two positive integers has number of divisions less than or equal five times the number of decimal digits in the minimum of the two integers.

    Let \(a\) and \(b\) be two positive integers where \(a>b\). Applying the Euclidean algorithm to find the greatest common divisor of two integers with \(a=r_0\) and \(b=r_1\), we get \[\begin{aligned} r_0&=&r_1q_1+r_2 \ \ \ \ \ 0\leq r_2<r_1, \\ r_1&=&r_2q_2+r_3 \ \ \ \ \ 0\leq r_3<r_2, \\ &.& \\ &.& \\ &.& \\ r_{n-2}&=&r_{n-1}q_{n-1}+r_{n} \ \ \ \ \ 0\leq r_{n}<r_{n-1}, \\ r_{n-1}&=&r_{n}q_{n}.\end{aligned}\] Notice that each of the quotients \(q_1,q_2,...,q_{n-1}\) are all greater than 1 and \(q_n\geq 2\) and this is because \(r_n<r_{n-1}\). Thus we have \[\begin{aligned} r_n&\geq& 1=f_2,\\ r_{n-1}&\geq& 2r_n\geq 2f_2=f_3,\\ r_{n-2}&\geq& r_{n-1}+r_n\geq f_3+f_2=f_4,\\ r_{n-3}&\geq& r_{n-2}+r_{n-1}\geq f_4+f_3=f_5,\\ &.&\\ &.&\\ &.&\\ r_2&\geq& r_3+r_4\geq f_{n-1}+f_{n-2}=f_n,\\ b&=& r_1\geq r_2+r_3\geq f_n+f_{n-1}=f_{n+1}.\end{aligned}\] Thus notice that \(b\geq f_{n+1}\). By Lemma [lem2], we have \(f_{n+1}>\alpha^{n-1}\) for \(n>2\). As a result, we have \(b>\alpha^{n-1}\). Now notice since \[\log_{10}\alpha>\frac{1}{5},\] we see that \[log_{10}b>(n-1)/5.\] Thus we have \[n-1<5log_{10}b.\] Now let \(b\) has \(k\) decimal digits. As a result, we have \(b<10^k\) and thus \(log_{10}b<k\). Hence we conclude that \(n-1<5k\). Since \(k\) is an integer, we conclude that \(n\leq 5k\).

    Exercises

    1. Find an upper bound for the number of steps in the Euclidean algorithm that is used to find the greatest common divisor of 38472 and 957748838.
    2. Find an upper bound for the number of steps in the Euclidean algorithm that is used to find the greatest common divisor of 15 and 75. Verify your result by using the Euclidean algorithm to find the greatest common divisor of the two integers.

    Contributors and Attributions

    • Dr. Wissam Raji, Ph.D., of the American University in Beirut. His work was selected by the Saylor Foundation’s Open Textbook Challenge for public release under a Creative Commons Attribution (CC BY) license.


    This page titled 1.7: Lame's Theorem is shared under a CC BY license and was authored, remixed, and/or curated by Wissam Raji.

    • Was this article helpful?