拉梅定理是一個關於輾轉相除法（也稱為歐幾里得算法）的步數估計的定理。該定理表明，如果b和a是兩個正整數，其中b≥a，d(a)表示a的十進制表示中數字的個數，n是計算a和b的最大公因數時輾轉相除法的步數，那麼n的上限可以由以下公式給出：n≤5d(a)。
輾轉相除法是一種用於計算兩個整數的最大公因數（GCD）的算法。它通過反覆運用除法運算，逐步減小問題的規模，直到找到兩個數的最大公因數。在每一步中，算法都會將較大的數除以較小的數，並記錄下商和餘數。這個過程會一直重複，直到餘數為0，此時除數就是兩個數的最大公因數。
拉梅定理提供了一個估計輾轉相除法所需步數的上界，這對於理解算法的時間複雜性和最佳化算法性能可能有所幫助。例如，如果我們要計算326和78的最大公因數，由於78的十進制表示中有2位數字，根據拉梅定理，計算過程至多需要10步。然而，實際上可能只需要5步就可以完成計算。