Displaying similar documents to “Extended Euclidean Algorithm and CRT Algorithm”

On integers not of the form n - φ (n)

J. Browkin, A. Schinzel (1995)

Colloquium Mathematicae

Similarity:

W. Sierpiński asked in 1959 (see [4], pp. 200-201, cf. [2]) whether there exist infinitely many positive integers not of the form n - φ(n), where φ is the Euler function. We answer this question in the affirmative by proving Theorem. None of the numbers 2 k · 509203 (k = 1, 2,...) is of the form n - φ(n).

Lagrange’s Four-Square Theorem

Yasushige Watase (2014)

Formalized Mathematics

Similarity:

This article provides a formalized proof of the so-called “the four-square theorem”, namely any natural number can be expressed by a sum of four squares, which was proved by Lagrange in 1770. An informal proof of the theorem can be found in the number theory literature, e.g. in [14], [1] or [23]. This theorem is item #19 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http://www.cs.ru.nl/F.Wiedijk/100/.

Two exponential diophantine equations

Dominik J. Leitner (2011)

Journal de Théorie des Nombres de Bordeaux

Similarity:

The equation 3 a + 5 b - 7 c = 1 , to be solved in non-negative rational integers a , b , c , has been mentioned by Masser as an example for which there is still no algorithm to solve completely. Despite this, we find here all the solutions. The equation y 2 = 3 a + 2 b + 1 , to be solved in non-negative rational integers a , b and a rational integer y , has been mentioned by Corvaja and Zannier as an example for which the number of solutions is not yet known even to be finite. But we find here all the solutions too; there are in fact...