The specific steps of the L-algorithm (three-step method) are as follows:

1) First, find out the original equation model which is lower than the original equation (or a new equation is formed by the sum value L(f) of the left term of the equation, and the unknown number of the equation is set to a smaller value), as shown in the following equation: L(f) = w.

For example, suppose the original equation has three terms:

a x + b y = c u , (21)

then L ( f ) = a x + b y = w .

Then:

( a x + b y ) w x y = w w x y (22)

Now, we can determine a = aw^y, b = bw^x,c = w.

Suppose there is a problem, find:

ka⁵ + hb⁴ = c³ (23)

L-algorithm is also used, for example: k = 3, h = 5. Let a = 3, b = 5, then w = 3854, w^xy = 3854²⁰,a = 3854⁴ × 3, b = 3854⁵ × 5, c = 3854⁷.

Generally, there is:

k 1 a x + k 2 b y + k 3 c z = k 4 d u (24)

Obviously, u and x, y, z are mutually prime, and there is a solution using the L-algorithm using this method flexibly, more types of higher-order indefinite equations can be solved.

Example: To prove that no odd perfect number.

Proof. The condition of even perfect number is that 2^{i + 1} − 1 is prime. The structural equation of perfect number is derived 2^{i + 1} − 1 = p, and 2ⁱ(2^{i + 1} − 1) is perfect number.

If there is odd prefect number, ο(n) = sn. Let 1 + q + … + qⁱ = p,p is odd.

Because:

1 + q + … + qⁱ + p + p(q + … + qⁱ) = sp (25)

s does not contain factors of q, q², … , qⁱ, then solution of (25) does not satisfy the requirement of perfect number. In addition,

1) If the q is not 2, p(1 + 1 + q + q² + … + qⁱ) can’t be factor on the left.

2) If the equation is not like (25), then this equation may not be established.

In any case, there is that no odd perfect number.

Birch and Swinnerton-Dyer conjectured: “mathematicians are always fascinated by the characterization of all integer solutions of algebraic equations such as x² + y² = Z². Euclid once gave a complete solution to this equation, but for more complex equations, it becomes extremely difficult [7].” Now, we have been able to find all integer solutions to equation of the form a^x + b^y = c^z. Then, we solve the problem of conjecture proposed by Birch and Swinnerton-Dyer. At the same time, we have added a new way to solve the indefinite equations for number theory.

Liang, Z.Y. (2022) Erratum to “Solutions of Indefinite Equations”, [Advances in Pure Mathematics Vol. 10, No. 9, (2020) 540-544]. Advances in Pure Mathematics, 12, 306-307. https://doi.org/10.4236/apm.2022.124023