A note on primes p with
Maohua Le (1991)
Colloquium Mathematicae
Similarity:
Maohua Le (1991)
Colloquium Mathematicae
Similarity:
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/.
Robertson, John P. (2009)
Acta Mathematica Academiae Paedagogicae Nyí regyháziensis. New Series [electronic only]
Similarity:
Maohua Le (1993)
Colloquium Mathematicae
Similarity:
Robertson, John P. (2006)
Acta Mathematica Academiae Paedagogicae Nyí regyháziensis. New Series [electronic only]
Similarity:
J. Wójcik (1996)
Colloquium Mathematicae
Similarity:
Wayne McDaniel (1993)
Colloquium Mathematicae
Similarity:
Huaming Wu, Maohua Le (1996)
Colloquium Mathematicae
Similarity:
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 (k = 1, 2,...) is of the form n - φ(n).