Fermat and Pythagoras Divisors for a New Explicit Proof of Fermat’s Theorem:a4 + b4 = c4. Part I

In this paper we prove in a new way, the well known result, that Fermat’s equation a4 + b4 = c4, is not solvable in ℕ , when abc≠0 . To show this result, it suffices to prove that: ( F 0 ): a 1 4 + ( 2 s b 1 ) 4 = c 1 4 , is not solvable in ℕ , (where a 1 , b 1 , c 1 ∈2ℕ+1 , pairwise primes, with necessarly 2≤s∈ℕ ). The key idea of our proof is to show that if (F0) holds, then there exist α 2 , β 2 , γ 2 ∈2ℕ+1 , such that ( F 1 ): α 2 4 + ( 2 s−1 β 2 ) 4 = γ 2 4 , holds too. From where, one conclude that it is not possible, because if we choose the quantity 2 ≤ s, as minimal in value among all the solutions of ( F 0 ) , then ( α 2 ,2 s−1 β 2 , γ 2 ) is also a solution of Fermat’s type, but with 2≤s−10) is solvable in ( a 1 ,2 s b 1 , c 1 ) , s ≥ 2 like above;afterwards, proceeding with “Pythagorician divisors”, we creat the notions of “Fermat’s b-absolute divisors”: ( d b , d ′ b ) which it uses hereafter. Then to conclude our proof, we establish the following main theorem: there is an equivalence between (i) and (ii): (i) (F0): a 1 4 + ( 2 s b 1 ) 4 = c 1 4 , is solvable in ℕ , with 2≤s∈ℕ , ( a 1 , b 1 , c 1 )∈ ( 2ℕ+1 ) 3 , coprime in pairs. (ii) ∃( a 1 , b 1 , c 1 )∈ ( 2ℕ+1 ) 3 , coprime in pairs, for wich: ∃( b ′ 2 , b 2 , b ″ 2 )∈ ( 2ℕ+1 ) 3 coprime in pairs, and 2≤s∈ℕ , checking b 1 = b ′ 2 b 2 b ″ 2 , and such that for notations: S=s−λ( s−1 ) , with λ∈{ 0,1 } defined by c 1 − a 1 2 ≡λ( mod2 ) , d b =gcd( 2 s b 1 , c 1 − a 1 )= 2 S b 2 and d ′ b = 2 s−S b ′ 2 = 2 s B 2 d b , where ( 2 s B 2 ) 2 =gcd( b 1 2 , c 1 2 − a 1 2 ) , the following system is checked: { c 1 − a 1 = d b 4 2 2+λ = 2 2−λ ( 2 S−1 b 2 ) 4 c 1 + a 1 = 2 1+λ d ′ b 4 = 2 1+λ ( 2 s−S b ′ 2 ) 4 c 1 2 + a 1 2 =2 b ″ 2 4;and this system implies: ( b 1−λ,2 4 ) 2 + ( 2 4s−3 b λ,2 4 ) 2 = ( b ″ 2 2 ) 2;where: ( b 1−λ,2 , b λ,2 , b ″ 2 )={ ( b ′ 2 , b 2 , b ″ 2 ) if λ=0 ( b 2 , b ′ 2 , b ″ 2 ) if λ=1;From where, it is quite easy to conclude, following the method explained above, and which thus closes, part I, of this article. .

A New Proof for Congruent Number’s Problem via Pythagorician Divisors

Considering Pythagorician divisors theory which leads to a new parameterization, for Pythagorician triplets ( a,b,c )∈ ℕ 3∗ , we give a new proof of the well-known problem of these particular squareless numbers n∈ ℕ ∗ , called congruent numbers, characterized by the fact that there exists a right-angled triangle with rational sides: ( A α ) 2 + ( B β ) 2 = ( C γ ) 2 , such that its area Δ= 1 2 A α B β =n;or in an equivalent way, to that of the existence of numbers U 2 , V 2 , W 2 ∈ ℚ 2∗ that are in an arithmetic progression of reason n;Problem equivalent to the existence of: ( a,b,c )∈ ℕ 3∗ prime in pairs, and f∈ ℕ ∗ , such that: ( a−b 2f ) 2 , ( c 2f ) 2 , ( a+b 2f ) 2 are in an arithmetic progression of reason n;And this problem is also equivalent to that of the existence of a non-trivial primitive integer right-angled triangle: a 2 + b 2 = c 2 , such that its area Δ= 1 2 ab=n f 2 , where f∈ ℕ ∗ , and this last equation can be written as follows, when using Pythagorician divisors: (1) Δ= 1 2 ab= 2 S−1 d e ¯ ( d+ 2 S−1 e ¯ )( d+ 2 S e ¯ )=n f 2;Where ( d, e ¯ )∈ ( 2ℕ+1 ) 2 such that gcd( d, e ¯ )=1 and S∈ ℕ ∗ , where 2 S−1 , d, e ¯ , d+ 2 S−1 e ¯ , d+ 2 S e ¯ , are pairwise prime quantities (these parameters are coming from Pythagorician divisors). When n=1 , it is the case of the famous impossible problem of the integer right-angled triangle area to be a square, solved by Fermat at his time, by his famous method of infinite descent. We propose in this article a new direct proof for the numbers n=1 (resp. n=2 ) to be non-congruent numbers, based on an particular induction method of resolution of Equation (1) (note that this method is efficient too for general case of prime numbers n=p≡a ( ( mod8 ) , gcd( a,8 )=1 ). To prove it, we use a classical proof by induction on k , that shows the non-solvability property of any of the following systems ( t=0 , corresponding to case n=1 (resp. t=1 , corresponding to case n=2 )): ( Ξ t,k ){ X 2 + 2 t ( 2 k Y ) 2 = Z 2 X 2 + 2 t+1 ( 2 k Y ) 2 = T 2 , where k∈ℕ;and solutions ( X,Y,Z,T )=( D k , E k , f k , f ′ k )∈ ( 2ℕ+1 ) 4 , are given in pairwise prime numbers.2020-Mathematics Subject Classification 11A05-11A07-11A41-11A51-11D09-11D25-11D41-11D72-11D79-11E25 .

On Fermat Last Theorem: The New Efficient Expression of a Hypothetical Solution as a Function of Its Fermat Divisors

Denote by a non-trivial primitive solution of Fermat’s equation (p prime).We introduce, for the first time, what we call Fermat principal divisors of the triple defined as follows. , and . We show that it is possible to express a,b and c as function of the Fermat principal divisors. Denote by the set of possible non-trivial solutions of the Diophantine equation . And, let (p prime). We prove that, in the first case of Fermat’s theorem, one has . In the second case of Fermat’s theorem, we show that , ,. Furthermore, we have implemented a python program to calculate the Fermat divisors of Pythagoreans triples. The results of this program, confirm the model used. We now have an effective tool to directly process Diophantine equations and that of Fermat. .

APPROXIMATE COMMON DIVISORS OF POLYNOMIALS AND DEGREE REDUCTION FOR RATIONAL CURVES

Abstract This paper deals with how to perturb a given set of polynomials so as to include a common linear factor. An algorithm is derived for determining such a set of perturbation polynomials which are subject to certain constrains at the endpoints of a prescribed parametric interval and minimized in a certain sense. This result can be combined with subdivision technique to obtain a continuous piecewise approximation to a rational curve.

New Asymptotic Results on Fermat-Wiles Theorem

We analyse the Diophantine equation of Fermat xp yp = zp with p > 2 a prime, x, y, z positive nonzero integers. We consider the hypothetical solution (a, b, c) of previous equation. We use Fermat main divisors, Diophantine remainders of (a, b, c), an asymptotic approach based on Balzano Weierstrass Analysis Theorem as tools. We construct convergent infinite sequences and establish asymptotic results including the following surprising one. If z y = 1 then there exists a tight bound N such that, for all prime exponents p > N , we have xp yp zp.

Logarithmic vanishing theorems for effective q-ample divisors

Let X be a compact K?hler manifold and D be a simple normal crossing divisor. If D is the support of some effective q-ample divisor, we show H^i(X, ?_X^j (log D)) = 0, for i + j > n + q.

On the primitive divisors of the recurrent sequence un＋1=(4cos^2(2π/7)-1)un-un-1 with applications to group theory

Consider the sequence of algebraic integers un given by the starting values u0=0,u1=1 and the recurrence u_(n+1)=(4cos^2(2π/7)-1)u_n-u_(n-1).We prove that for any n ■{1,2,3,5,8,12,18,28,30}the n-th term of the sequence has a primitive divisor in Z[2 cos(2π/7)].As a consequence we deduce that for any sufficiently large n there exists a prime power q such that the groupcan be generated by a pair x,y with χ~2=y^3=(xy)~7=1 and the order of the commutator[x,y]is exactly n.The latter result answers in affirmative a question of Holt and Plesken.

Algorithm for Visualization of Zero Divisor Graphs of the Ring ℤn Using MAPLE Coding

This research investigates the comparative efficacy of generating zero divisor graphs (ZDGs) of the ring of integers ℤn modulo n using MAPLE algorithm. Zero divisor graphs, pivotal in the study of ring theory, depict relationships between elements of a ring that multiply to zero. The paper explores the development and implementation of algorithms in MAPLE for constructing these ZDGs. The comparative study aims to discern the strengths, limitations, and computational efficiency of different MAPLE algorithms for creating zero divisor graphs offering insights for mathematicians, researchers, and computational enthusiasts involved in ring theory and mathematical computations.

A CLASS OF FINITE RINGS HAVING ONE-SIDED ZERO DIVISORS

In 1967, K. Koh showed that (Ⅰ)if a ring R contains n (n】1) left (right)zero divi-sors, then |R|≤n^2; (Ⅱ)if a ring R contains n (n】1)left (right)zero divisors, and it has an identity and |R|=n^2, then n is a power of a prime p, and every minimal right ideal I of R necessarily satisfies I^2=0. In fact, if a ring R contains one-sided zero divisors, then

ON EFFECTIVE NON-VANISHING OF WEIL DIVISORS ON ALGEBRAIC SURFACES

The author gives a counterexample and some conclusions for effective non-vanishing of Weil divisors on algebraic surfaces.

Uniruled Symplectic Divisors

In this article,we consider the problem of lifting the GW theory of a symplectic divisor to that of the ambient manifold in the context of symplectic birational geometry.In particular,we generalizeMaulik-Pandharipande’s relative/absolute correspondence to relative-divisor/absolute correspondence.Then,we use it to lift a minimal uniruled invariant of a divisor to that of the ambient manifold.

Zero divisors and prime elements of bounded semirings

A semiring is an algebraic structure similar to a ring, but without the requirement that each element must have an additive inverse. A bounded semiring is a semiring equipped with a compatible bounded partial order. In this paper, properties of zero divisors and prime elements of a bounded semiring are studied. In particular, it is proved that under some mild assumption, the set Z（A） of nonzero zero divisors of A is A ／ {0, 1}, and each prime element of A is a maximal element. For a bounded semiring A with Z（A） = A ／ {0, 1}, it is proved that A has finitely many maximal elements if ACC holds either for elements of A or for principal annihilating ideals of A. As an application of prime elements, we show that the structure of a bounded semiring A is completely determined by the structure of integral bounded semirings if either ｜Z（A）｜ = 1 or ｜Z（A）｜ -- 2 and Z（A）2 ≠ 0. Applications to the ideal structure of commutative rings are also considered. In particular, when R has a finite number of ideals, it is shown that the chain complex of the poset I（R） is pure and shellable, where I（R） consists of all ideals of R.

On the multiplicity of binary recurrences

Let A∈N,B∈Z with gcd(A,B)=1,B{-1,0,1}. For the binary recurrence (Lucas sequence) of the form u 0=0, u 1=1, u n+2 =Au n+1 +Bu n, let N 1(A,B,k) be the number of the terms n of |u n|=k, where k∈N. In this paper, using a new result of Bilu, Hanrot and Voutier on primitive divisors, we proved that N 1(A,B,k)≤1 except N 1(1,-2,1)=5[n=1,2,3,5,13], N 1(1,-3,1)=3, N 1(1,-5,1)=3,N 1(1,B,1)=2(B{-2,-3,-5}), N 1(12,-55,1)=2, N 1(12,-377,1)=2, N 1(A,B,1)=2(A 2+B=±1, A>1), N 1(1,-2,3)=2, N 1(A,B,A)=2(A 2+2B=±1,A>1. For Lehmer sequence, we got a similar result. In addition, we also obtained some applications of the above results to some Diophantime equations.

Some Hybrid Mean Values of a New Number Theoretic Function

Let p and q be two distinct primes, epq（n） denotes the largest exponent of power pq which divides n. In this paper, we study the mean value properties of function epq（n）, and give some hybrid mean value formulas for epq（n） and Dirichlet divisor function d（n）. Key words： largest exponent; asymptotic formula; hybrid mean value; Dirichlet divisor function d（n）

An Efficient Frontier for Sum Deviation JIT Sequencing Problem in Mixed-model Systems via Apportionment

In this paper, the sum deviation just-in-time （JIT） sequencing problem in mixed-model production systems is studied relating with the discrete apportionment problem together with their respective mathematical formulations. The assignment formulation for the first problem is briefly discussed followed by the existence of JIT cyclic sequences. Presenting the concise discussion on divisor methods for the discrete apportionment problem, we have proposed two mean-based divisor functions for this problem claiming that they are better than the existing divisors; hence, we found a better bound for the JIT sequencing problem. The linkage of both the problems is characterized in terms of similar type of objective functions. The problems are shown equivalent via suitable transformations and similar properties. The joint approaches for the two problems are discussed in terms of global and local deviations proposing equitably efficient solution.

REESSE Unified Recursive Algorithm for Solving Three Computational Problems

Different from the extended Euclidean algorithm which can compute directly only the multiplicative inverse of an element in Zm^＊ and the greatest common divisor of two integers, a recursive algorithm called REESSE is designed by the authors, which can not only seek directly the multiplicative inverse and the greatest common divisor, but also solve directly a simple congruence for general solutions. This paper presents the definition and the two valuable properties of a simple congruence, analyzes in detail the reduction and recursion process of solving simple congruences, induces the recursive formula for solving simple congruences, and describes formally and implements in C language the recursive algorithm. At last, the paper compares REESSE with the extended Euclidean algorithm in thought, applicability and time complexity.

A Modern Method for Constructing the S-Box of Advanced Encryption Standard

The substitution table (S-Box) of Advanced Encryption Standard (AES) and its properties are key elements in cryptanalysis ciphering. We aim here to propose a straightforward method for the non-linear transformation of AES S-Box construction. The method reduces the steps needed to compute the multiplicative inverse, and computes the matrices multiplication used in this transformation, without a need to use the characteristic matrix, and the result is a modern method constructing the S-Box.

Analysis of Distance-Based Topological Polynomials Associated with Zero-Divisor Graphs

Chemical compounds are modeled as graphs.The atoms of molecules represent the graph vertices while chemical bonds between the atoms express the edges.The topological indices representing the molecular graph corresponds to the different chemical properties of compounds.Let a,b be are two positive integers,andΓ(Z_(a)×Z_(b))be the zero-divisor graph of the commutative ring Z_(a)×Z_(b).In this article some direct questions have been answered that can be utilized latterly in different applications.This study starts with simple computations,leading to a quite complex ring theoretic problems to prove certain properties.The theory of finite commutative rings is useful due to its different applications in the fields of advanced mechanics,communication theory,cryptography,combinatorics,algorithms analysis,and engineering.In this paper we determine the distance-based topological polynomials and indices of the zero-divisor graph of the commutative ring Z_(p^(2))×Z_(q)(for p,q as prime numbers)with the help of graphical structure analysis.The study outcomes help in understanding the fundamental relation between ring-theoretic and graph-theoretic properties of a zero-divisor graphΓ(G).

Full Euclidean Algorithm by Means of a Steady Walk

Let x and y be two positive real numbers with x < y. Consider a traveler, on the interval [0, y/2], departing from 0 and taking steps of length equal to x. Every time a step reaches an endpoint of the interval, the traveler rebounds off the endpoint in order to complete the step length. We show that the footprints of the traveler are the output of a full Euclidean algorithm for x and y, whenever y/x is a rational number. In the case that y/x is irrational, the algorithm is, theoretically, not finite;however, it is a new tool for the study of its irrationality.

On the Line Graph of the Complement Graph for the Ring of Gaussian Integers Modulo n

The line graph for the complement of the zero divisor graph for the ring of Gaussian integers modulo n is studied. The diameter, the radius and degree of each vertex are determined. Complete characterization of Hamiltonian, Eulerian, planer, regular, locally and locally connected is given. The chromatic number when is a power of a prime is computed. Further properties for and are also discussed.