Back to Search Start Over

Elementary Number Theory Problems. Part II

Authors :
Artur Korniłowicz
Dariusz Surowik
Source :
Formalized Mathematics, Vol 29, Iss 1, Pp 63-68 (2021)
Publication Year :
2021
Publisher :
Walter de Gruyter GmbH, 2021.

Abstract

Summary In this paper problems 14, 15, 29, 30, 34, 78, 83, 97, and 116 from [6] are formalized, using the Mizar formalism [1], [2], [3]. Some properties related to the divisibility of prime numbers were proved. It has been shown that the equation of the form p 2 + 1 = q 2 + r 2, where p, q, r are prime numbers, has at least four solutions and it has been proved that at least five primes can be represented as the sum of two fourth powers of integers. We also proved that for at least one positive integer, the sum of the fourth powers of this number and its successor is a composite number. And finally, it has been shown that there are infinitely many odd numbers k greater than zero such that all numbers of the form 22 n + k (n = 1, 2, . . . ) are composite.

Details

ISSN :
18989934
Volume :
29
Database :
OpenAIRE
Journal :
Formalized Mathematics
Accession number :
edsair.doi.dedup.....c521cbe05c59e39fffe524ff0d05791e
Full Text :
https://doi.org/10.2478/forma-2021-0006