The concrete theory of numbers : Problem of simplicity of Fermat number-twins

Boris V. Tarasov

DOI: https://doi.org/10.48550/arXiv.0707.0907

2007-07-06

Abstract:The problem of simplicity of Fermat number-twins $f_{n}^{\pm}=2^{2^n}\pm3$ is studied. The question for what $n$ numbers $f_{n}^{\pm}$ are composite is investigated. The factor-identities for numbers of a kind $x^2 \pm k $ are found.

General Mathematics

What problem does this paper attempt to address?

The concrete theory of numbers : New Mersenne conjectures. Simplicity and other wonderful properties of numbers $L(n) = 2^{2n}\pm2^n\pm1$

Boris V. Tarasov

DOI: https://doi.org/10.48550/arXiv.0804.3830

2008-04-24

Abstract:New Mersenne conjectures. The problems of simplicity, common prime divisors and free from squares of numbers $L(n) = 2^{2n}\pm2^n\pm1$ are investigated. Wonderful formulas $gcd $ for numbers $L (n) $ and numbers repunit are proved.

General Mathematics
Perfect Numbers and Fibonacci Primes (I)

Tianxin Cai,Deyi Chen,Yong Zhang

DOI: https://doi.org/10.1142/s1793042115500098

2015-01-01

International Journal of Number Theory

Abstract:In this paper, we study the diophantine equation σ_2(n)-n^2=An+B. We prove that except for finitely many computable solutions, all the solutions to this equation with (A,B)=(L_2m,F_2m^2-1) are n=F_2k+1F_2k+2m+1, where both F_2k+1 and F_2k+2m+1 are Fibonacci primes. Meanwhile, we show that the twin primes conjecture holds if and only if the equation σ_2(n)-n^2=2n+5 has infinitely many solutions.
Factors of composite $4n^2 +1$ using Fermat's factorization method

Paul Ryan Longhas,Alsafat Abdul,Aurea Rosal

DOI: https://doi.org/10.48550/arXiv.2202.13783

2022-02-24

General Mathematics

Abstract:In this article, we factor the composite $4n^2 +1$ using Fermat's factorization method. Consequently, we characterized all proper factors of composite $4n^2 +1$ in terms of its form. Furthermore, the composite Fermat's number is considered in this study.
Fibonacci numbers and Fermat's last theorem

Zhi-Hong Sun,Zhi-Wei Sun

DOI: https://doi.org/10.4064/aa-60-4-371-388

1992-01-01

Acta Arithmetica

Abstract:Let {F(n)} be the Fibonacci sequence defined by F0 = 0, F1 = 1, F(n) + 1 = F(n) + F(n-1) (n greater-than-or-equal-to 1). It is well known that F(p-)(5/p) = 0 (mod p) for any odd prime p, where (-) denotes the Legendre symbol. In 1960 D.D. Wall [13] asked whether p2/F(p-)(5/p) is always impossible; up to now this is still open. In this paper the sum [GRAPHICS] is expressed in terms of Fibonacci numbers. As applications we obtain a new formula for the Fibonacci quotient F(p-)(5/p)/p and a criterion for the relation p/F(p-1)/4 (if p = 1 (mod 4)), where p not-equal 5 is an odd prime. We also prove that the affirmative answer to Wall's question implies the first case of FLT (Fermat's last theorem); from this it follows that the first case of FLT holds for those exponents which are (odd) Fibonacci primes or Lucas primes.
Composite values of shifted exponentials

Olli Järviniemi,Joni Teräväinen

DOI: https://doi.org/10.1016/j.aim.2023.109187

2023-06-19

Abstract:A well-known open problem asks to show that $2^n+5$ is composite for almost all values of $n$. This was proposed by Gil Kalai as a possible Polymath project, and was posed originally by Christopher Hooley. We show that, assuming GRH and a form of the pair correlation conjecture, the answer to this problem is affirmative. We in fact do not need the full power of the pair correlation conjecture, and it suffices to assume a generalization of the Brun-Titchmarsh inequality for the Chebotarev density theorem that is implied by it. Our methods apply to any shifted exponential sequence of the form $a^n-b$ and show that, under the same assumptions, such numbers are $k$-almost primes for a density $0$ of natural numbers $n$. Furthermore, we show that $a^p-b$ is composite for almost all primes $p$ whenever $(a, b) \neq (2, 1)$.

Number Theory
A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

Zhongyan Shen,Tianxin Cai

DOI: https://doi.org/10.7169/facm/1694

2018-01-01

Functiones et Approximatio Commentarii Mathematici

Abstract:Let p >= 7 be a prime, l >= 0 be an integer and k, m be two positive integers, we obtain the following congruences, Sigma((l+1)p-1)(s=lp) ((kp-1)(s))(m) {((k-1)(l))(m) 2(km(p-1)) (mod p(3)), if 2 inverted iota m, ((k-1)(l))(m) ((kmp-2)(p-1)) (mod p(4)), if 2 vertical bar m; and Sigma((l+1)p-1)(s=lp) (-1)(s)((kp-1)(s))(m) {(-1)(l)((k-1)(l))(m) 2(km(p-1)) (mod p(3)), if 2 inverted iota m, (-1)(l)((k-1)(l))(m) ((kmp-2)(p-1)) (mod p(4)), if 2 vertical bar m. Let p and q are distinct odd primes and k be a positive integer, we have ((kpq-1)((pq-1)/2)) ((kp-1)((p-1)/2)) ((kq-1)((q-1)/2)) (mod pq).
Fermat’s Little Theorem via Divisibility of Newton’s Binomial

Rafał Ziobro

DOI: https://doi.org/10.1515/forma-2015-0018

2015-09-01

Formalized Mathematics

Abstract:Abstract Solving equations in integers is an important part of the number theory [29]. In many cases it can be conducted by the factorization of equation’s elements, such as the Newton’s binomial. The article introduces several simple formulas, which may facilitate this process. Some of them are taken from relevant books [28], [14]. In the second section of the article, Fermat’s Little Theorem is proved in a classical way, on the basis of divisibility of Newton’s binomial. Although slightly redundant in its content (another proof of the theorem has earlier been included in [12]), the article provides a good example, how the application of registrations could shorten the length of Mizar proofs [9], [17].

English Else
More Comprehensive Computational Number Theory

Tianxin Cai

DOI: https://doi.org/10.4172/2168-9679.1000e102

2012-01-01

Journal of Applied & Computational Mathematics

Abstract:Computational number theory, also known as algorithmic number theory, is the study of algorithms for performing number theoretic computations. The best known problem in the field is the integer factorization, the great common divisor or the least common multiple. The largest known primes, which are usually Mersenne primes, and they were usually found by GIMPS, the Great Internet Mersenne Prime Search.
A Quixotic Proof of Fermat's Two Squares Theorem for Prime Numbers

Roland Bacher

DOI: https://doi.org/10.1080/00029890.2023.2242034

2023-08-17

Abstract:Every odd prime number p has exactly (p+1)/2 different expressions as a sum ab + cd of two ordered products ab and cd such that min(a,b)>max(c,d) . An easy corollary is a proof of Fermat's Theorem expressing primes in 1+4N as sums of two squares.

mathematics
On the Simple Divisibility Restrictions by Polynomial Equation a n+bn=cn Itself in Fermat Last Theorem for Integer/Complex/Quaternion Triples

Sandor Kristyan

2024-07-06

Abstract:The divisibility restrictions in the famous equation a n+bn=cn in Fermat Last Theorem (FLT, 1637) is analyzed how it selects out many triples to be Fermat triple (i.e. solutions) if n greater than 2, decreasing the cardinality of Fermat triples. In our analysis, the restriction on positive integer (PI) solutions ((a,b,c,n) up to the point when there is no more) is not along with restriction on power n in PI as decreasing sets {PI } containing {odd} containing {primes} containing {regular primes}, etc. as in the literature, but with respect to exclusion of more and more c in PI as increasing sets {primes p} in {p k} in {PI}. The divisibility and co-prime property in Fermat equation is analyzed in relation to exclusion of solutions, and the effect of simultaneous values of gcd(a,b,c), gcd(a+b,cn), gcd(c-a,bn) and gcd(c-b,an) on the decrease of cardinality of solutions is exhibited. Again, our derivation focuses mainly on the variable c rather than on variable n, oppositely to the literature in which the FLT is historically separated via the values of power n. Among the most famous are the known, about 2500 years old, existing Pythagorean triples (a,b,c,n=2) and the first milestones as the proved cases (of non-existence as n=3 by Gauss and later by Euler (1753) and n=4 by Fermat) less than 400 years ago. As it is known, Wiles has proved the FLT in 1995 in an abstract roundabout way. The n<0, n:=1/m, as well as complex and quaternion (a,b,c) cases focusing on Pythagoreans are commented. Odd powers FLT over quaternions breaks.

General Mathematics
A Combinatorial Approach to Frobenius Numbers of Some Special Sequences (Complete Version)

Feihu Liu,Guoce Xin

2023-03-13

Abstract:Let $A=(a_1, a_2, ..., a_n)$ be relative prime positive integers with $a_i\geq 2$. The Frobenius number $g(A)$ is the greatest integer not belonging to the set $\big\{ \sum_{i=1}^na_ix_i\ |x_i\in \mathbb{N}\big\}$. The general Frobenius problem includes the determination of $g(A)$ and the related Sylvester number $n(A)$ and Sylvester sum $s(A)$. We present a new approach to the Frobenius problem. Basically, we transform the problem into an easier optimization problem. If the new problem can be solved explicitly, then we will be able to obtain a formula of $g(A)$. We illustrate the idea by giving concise proof of some existing formulas and finding some interesting new formulas of $g(A), n(A), s(A)$. Moreover, we find that MacMahon's partition analysis applies to give a new way of calculating $n(A), s(A)$ by using a rational function representation of a polynomial determined by $A$.

Combinatorics,Number Theory
Primality of numbers of the form $ap^{k}+1$

Ariko Stephen Philemon

DOI: https://doi.org/10.48550/arXiv.2005.02327

2020-05-04

Number Theory

Abstract:In 1876, Edouard Lucas showed that if an integer $b$ exists such that $b^{n-1} \equiv 1 (\mathrm{mod} \ n)$ and $b^{(n-1)/p} \not\equiv 1( \mathrm{mod} \ n)$ for all prime divisors $p$ of $n-1$ , then $n$ is prime, a result known as Lucas's converse of Fermat's little theorem. This result was considerably improved by Henry Pocklington in 1914 when he showed that it's not necessary to know all the prime factors of $n-1$ in order to determine if $n$ is prime. In this paper we optimize Pocklington's primality test for integers of the form $ap^{k}+1$ where $p$ is prime, $a<p$, $k\ge 1$. An extension of Lucas's converse of Fermat's little theorem is given. We also prove a new general-purpose primality test that requires that only a single odd prime divisor of $n-1$ be found for the test to be implemented. Contrary to the well-known result: There are infinitely many Fermat pseudoprimes to any base $b$; In this paper we prove the finitude of Fermat pseudoprimes in some forms of integers.
Windmills of the minds: an algorithm for Fermat's Two Squares Theorem

Hing Lun Chan

DOI: https://doi.org/10.48550/arXiv.2112.02556

2021-12-05

Logic in Computer Science

Abstract:The two squares theorem of Fermat is a gem in number theory, with a spectacular one-sentence "proof from the Book". Here is a formalisation of this proof, with an interpretation using windmill patterns. The theory behind involves involutions on a finite set, especially the parity of the number of fixed points in the involutions. Starting as an existence proof that is non-constructive, there is an ingenious way to turn it into a constructive one. This gives an algorithm to compute the two squares by iterating the two involutions alternatively from a known fixed point.
Some experimental results on the Frobenius problem

Matthias Beck,David Einstein,Shelemyahu Zacks

DOI: https://doi.org/10.48550/arXiv.math/0204036

2005-01-02

Abstract:We study the Frobenius problem: given relatively prime positive integers $a_1,...,a_d$, find the largest value of t (the Frobenius number) such that $\sum_{k=1}^d m_k a_k = t$ has no solution in nonnegative integers $m_1,...,m_d$. Based on empirical data, we conjecture that except for some special cases the Frobenius number can be bounded from above by $\sqrt{a_1 a_2 a_3}^{5/4} - a_1 - a_2 - a_3$.

Number Theory,Combinatorics
Non-integrality of Binomial Sums and Fermat's Little Theorem

Daniel López-Aguayo

DOI: https://doi.org/10.4169/math.mag.88.3.231

2015-06-01

Mathematics Magazine

Abstract:Problem 1942 from the April 2014 issue of the Magazine asks whether a particular binomial sum is nonintegral. We pose an open question whether there are infinitely many integers r for which the requisite sum is nonintegral when k + 1 is replaced by k + r. We prove that the sum is nonintegral for r = 2, 3, and 4 by an application of Fermat's little theorem.

English Else
Polynomial identities and Fermat quotients

Takao Komatsu,B. Sury

2023-09-18

Abstract:We prove some polynomial identities from which we deduce congruences modulo $p^2$ for the Fermat quotient $\frac{2^p-2}{p}$ for any odd prime $p$ (Proposition 1 and Theorem 1). These congruences are simpler than the one obtained by Jothilingam in 1985 which involves listing quadratic residues in some order. On the way, we also observe some more congruences for the Fermat quotient that generalize Eisenstein's classical congruence. Using such polynomial identities, we obtain some sums involving harmonic numbers. We also prove formulae for binomial sums of harmonic numbers of higher order.

Number Theory
Curious congruences for Fibonacci numbers

Zhi-Wei Sun

2009-01-01

Abstract:In this paper we establish some sophisticated congruences involving central binomial coefficients and Fibonacci numbers. For example, we show that if $p\not=2,5$ is a prime then $$\sum_{k=0}^{p-1}F_{2k}\binom{2k}{k}=(-1)^{[p/5]}(1-(p/5)) (mod p^2)$$ and $$\sum_{k=0}^{p-1}F_{2k+1}\binom{2k}k=(-1)^{[p/5]}(p/5) (mod p^2).$$ We also obtain similar results for some other second-order recurrences and raise several conjectures.
On Generalizing a Corollary of Fermat’s Little Theorem

Gove Effinger

DOI: https://doi.org/10.1007/s00283-019-09922-7

2019-08-12

The Mathematical Intelligencer

Abstract:A friend who teaches middle-school math recently asked me whether it was a coincidence that every positive integer and its fifth power seem to have the same last (i.e., rightmost) decimal digit. I said that it was definitely not a coincidence and that it followed from a theorem in number theory called Euler's theorem, which I explained briefly. Right after this, however, I recalled that since the theorem applies only to numbers that are relatively prime to the modulus (which is 10 in this case, since dividing any positive integer by 10 and taking the remainder gives us that integer's last digit), the theorem applies only to numbers ending in 1, 3, 7, or 9, and cannot be applied to numbers ending in 0, 2, 4, 5, 6, or 8, since they are not relatively prime to 10. Nonetheless, we can easily check that in this case, his observation works for all these numbers as well: <span class="InlineEquation">$2^5=32$</span>

mathematics
Integer properties of a composition of exponential generating functions

Dmitry Kruchinin

DOI: https://doi.org/10.48550/arXiv.1211.2100

2012-11-09

Abstract:In this paper, we study a composition of exponential generating functions. We obtain new properties of this composition, which allow to distinguish prime numbers from composite numbers. Using the result of paper we get the known properties of the Bell numbers(Touchard's Congruence for $k=0$) and new properties of the Euler numbers. Key words: exponential generating function, composition of generating functions, composita, primality, Touchard's Congruence, Bell numbers, Euler numbers.

Number Theory
On Fermat's Last Theorem for odd prime exponents

Zenon B. Batang

2023-04-01

Abstract:We show that the Fermat equation $x^p + y^p = z^p$ has no solutions in coprime positive integers $x, y, z$ for any odd prime $p$.

General Mathematics

The concrete theory of numbers : Problem of simplicity of Fermat number-twins

The concrete theory of numbers : New Mersenne conjectures. Simplicity and other wonderful properties of numbers $L(n) = 2^{2n}\pm2^n\pm1$

Perfect Numbers and Fibonacci Primes (I)

Factors of composite $4n^2 +1$ using Fermat's factorization method

Fibonacci numbers and Fermat's last theorem

Composite values of shifted exponentials

A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

Fermat’s Little Theorem via Divisibility of Newton’s Binomial

More Comprehensive Computational Number Theory

A Quixotic Proof of Fermat's Two Squares Theorem for Prime Numbers

On the Simple Divisibility Restrictions by Polynomial Equation a n+bn=cn Itself in Fermat Last Theorem for Integer/Complex/Quaternion Triples

A Combinatorial Approach to Frobenius Numbers of Some Special Sequences (Complete Version)

Primality of numbers of the form $ap^{k}+1$

Windmills of the minds: an algorithm for Fermat's Two Squares Theorem

Some experimental results on the Frobenius problem

Non-integrality of Binomial Sums and Fermat's Little Theorem

Polynomial identities and Fermat quotients

Curious congruences for Fibonacci numbers

On Generalizing a Corollary of Fermat’s Little Theorem

Integer properties of a composition of exponential generating functions

On Fermat's Last Theorem for odd prime exponents