Displaying similar documents to “On a problem of Bednarek”

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/.

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).

Simple proofs of some generalizations of the Wilson’s theorem

Jan Górowski, Adam Łomnicki (2014)

Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica

Similarity:

In this paper a remarkable simple proof of the Gauss’s generalization of the Wilson’s theorem is given. The proof is based on properties of a subgroup generated by element of order 2 of a finite abelian group. Some conditions equivalent to the cyclicity of (Φ(n), ·n), where n > 2 is an integer are presented, in particular, a condition for the existence of the unique element of order 2 in such a group.