Next Article in Journal
A Novel Fixed-Point Iteration Approach for Solving Troesch’s Problem
Previous Article in Journal
A Conjecture for the Clique Number of Graphs Associated with Symmetric Numerical Semigroups of Arbitrary Multiplicity and Embedding Dimension
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Frobenius Numbers Associated with Diophantine Triples of x2-y2=zr

1
Department of Mathematical Sciences, School of Science, Zhejiang Sci-Tech University, Hangzhou 310018, China
2
Faculty of Education, Nagasaki University, Nagasaki 852-8521, Japan
*
Author to whom correspondence should be addressed.
Symmetry 2024, 16(7), 855; https://doi.org/10.3390/sym16070855
Submission received: 24 April 2024 / Revised: 25 June 2024 / Accepted: 3 July 2024 / Published: 5 July 2024
(This article belongs to the Section Physics)

Abstract

:
We give an explicit formula for the p-Frobenius number of triples associated with Diophantine Equations  x 2 y 2 = z r  ( r 2 ), that is, the largest positive integer that can only be represented in p ways by combining the three integers of the solutions of Diophantine equations  x 2 y 2 = z r . This result is also a generalization because if  r = 2  and  p = 0 , the (0-)Frobenius number of the Pythagorean triple has already been given. To find p-Frobenius numbers, we use geometrically easy to understand figures of the elements of the p-Apéry set, which exhibits symmetric appearances.
MSC:
11D07; 11D25; 05A15; 11D04; 20M14

1. Introduction

Diophantine equations are a fundamental part and one of the oldest branches of number theory. The main study is of polynomial equations or systems of equations, particularly in integers. Though there are many aspects and applications (see, e.g., [1,2,3]), Diophantine equations are used to characterize certain problems in Diophantine approximations. The study of the Frobenius problem of Pythagorean triples is important in the fields of number theory and discrete mathematics. This problem has important applications in cryptography, computer science, combinatorics, and other fields. For example, in cryptography, it is related to the discrete logarithm problem and elliptic curve cryptography. In computer science, it is related to algorithm design and complexity analysis. In combinatorics, it is related to many problems in graph theory and discrete mathematics. Therefore, studying the Pythagorean Frobenius problem not only helps to understand the basic problems of number theory and discrete mathematics but also provides an important mathematical foundation for practical applications.
In [4,5], we computed upper and lower bounds for the approximation of hyperbolic functions at points  1 / s  ( s = 1 , 2 , ) by rationals  x / y  such that x, y, and z form Pythagorean triples. In [6,7], we considered Diophantine approximations  x / y  to values  ξ  of hyperbolic functions, where  ( x , y , z )  is the solution of more Diophantine equations, including  x 2 + y 2 = z 2 .
In both physics and biology, both the Pythagorean triples and the Pythagorean theorem have some applications. In physics, the Pythagorean triples and the Pythagorean theorem can be applied to describe problems in mechanics and kinematics. For example, when studying the trajectory, velocity, and acceleration of an object, the Pythagorean theorem can be used to calculate the relationship between the position and velocity of an object at different points in time. In addition, the Pythagorean theorem can also be used to analyze the path and interference effects of waves when describing wave propagation and interference. In biology, the Pythagorean triples and the Pythagorean theorem can be applied to describe the morphology and structure of living organisms. For example, when studying the bone structure, organ layout, and neural network of an object, the Pythagorean theorem and the Pythagorean triples can be used to analyze the relationship between them. In addition, the Pythagorean theorem can be used to describe the proportions and associations between different parts during the growth and development of organisms. Overall, the Pythagorean triples and the Pythagorean theorem can help scientists understand and describe the motion, morphology, and structure of objects in physics and biology, thus helping to study and explain various phenomena and laws.
For integer  k 2 , consider a set of positive integers  A = { a 1 , , a k }  with  gcd ( A ) = gcd ( a 1 , , a k ) = 1 . Finding the number of non-negative integral representations  x 1 , x 2 , , x k , denoted by  d ( n ; A ) = d ( n ; a 1 , a 2 , , a k ) , to  a 1 x 1 + a 2 x 2 + + a k x k = n  for a given positive integer n is one of the most important and interesting topics. This number is often called the denumerant and is equal to the coefficient of  x n  in  1 / ( 1 x a 1 ) ( 1 x a 2 ) ( 1 x a k )  ([8]). Sylvester [9] and Cayley [10] showed that  d ( n ; a 1 , a 2 , , a k )  can be expressed as the sum of a polynomial in n of degree  k 1  and a periodic function of period  a 1 a 2 a k . For two variables, a formula for  d ( n ; a 1 , a 2 )  is obtained in [11]. For three variables in the pairwise coprime case  d ( n ; a 1 , a 2 , a 3 ) , in [12], the periodic function part is expressed in terms of trigonometric functions.
For a non-negative integer p, define  S p  and  G p  by
S p ( A ) = { n N 0 | d ( n ; A ) > p }
and
G p ( A ) = { n N 0 | d ( n ; A ) p }
respectively, satisfying  S p G p = N 0 , which is the set of non-negative integers. The set  S p  is called a p-numerical semigroup because  S ( A ) = S 0 ( A )  is a usual numerical semigroup.  G p  is the set of p-gaps. Define  g p ( A )  and  n p ( A )  by
g p ( A ) = max n G p ( A ) n , and n p ( A ) = n G p ( A ) 1 ,
and these are called the p-Frobenius number and the p-Sylvester number (or p-genus). When  p = 0 g ( A ) = g 0 ( A )  and  n ( A ) = n 0 ( A )  are the original Frobenius number and Sylvester number (or genus), respectively. Finding such values is one of the crucial matters in the Diophantine problem of Frobenius. More detailed descriptions of the p-numerical semigroups and their symmetric properties can be found in [13].
The Frobenius problem (also known as the coin exchange problem, postage stamp problem, or Chicken McNugget problem) has a long history and is one of the popular problems that has attracted the attention of experts as well as amateurs. For two variables  A = { a , b } , it is known that
g ( a , b ) = ( a 1 ) ( b 1 ) 1 and n ( a , b ) = ( a 1 ) ( b 1 ) 2
(see Refs. [8,14]). For three or more variables, the Frobenius number cannot be given by any set of closed formulas which can be reduced to a finite set of certain polynomials ([15]). For three variables, various algorithms have been devised for finding the Frobenius number. For example, in [16], the Frobenius number is uniquely determined by six positive integers that are the solution to a system of three polynomial equations. In [17], a general algorithm is given by using a  3 × 3  matrix. Nevertheless, explicit closed formulas have been found only for some special cases, including arithmetic, geometric, Mersenne, repunits, and triangular (see [18,19,20] and references therein). We are interested in finding explicit closed forms, which is one of the most crucial matters in the Frobenius problem. Our method has an advantage in terms of visually grasping the elements of the Apéry set, and it is more useful to obtain more related values, including th egenus (Sylvester number), Sylvester sum [21], weighted power Sylvester sum [22,23,24], and so on.
We are interested in finding a closed or explicit form for the p-Frobenius number, which is more difficult when  p > 0 . For three or more variables, no concrete examples had been found until recently, when the first author succeeded in giving the p-Frobenius number as a closed-form expression for the triangular number triplet ([25]) for repunits ([26,27]), Fibonacci triplets ([28]), Jacobsthal triplets ([29,30]), and arithmetic triplets ([31]).
When  p = 0 , it is the original Frobenius number in the famous Diophantine problem of Frobenius. We also obtain closed forms for the number of positive integers and the largest positive integer that can be represented in only p ways by combining the three integers of the Diophantine triple.
In this paper, we study the numerical semigroup of the triples  ( x , y , z )  satisfying the Diophantine equation  x 2 y 2 = z r  ( r 2 ). When  r = 2  and  p = 0 , the Frobenius number of the Pythagorean triple is given in [32,33]. The Frobenius number of a little-modified triple is studied in [34]. To find p-Frobenius numbers, we use geometrically easy to understand figures of the elements of the p-Apéry set.

2. Preliminaries

We introduce the p-Apéry set (see [35]) below in order to obtain the formulas for  g p ( A )  and  n p ( A ) . Without loss of generality, we assume that  a 1 = min ( A ) .
Definition 1.
Let p be a non-negative integer. For a set of positive integers  A = { a 1 , a 2 , , a κ }  with  gcd ( A ) = 1  and  a 1 = min ( A ) , we denote by
Ap p ( A ) = Ap p ( a 1 , a 2 , , a κ ) = { m 0 ( p ) , m 1 ( p ) , , m a 1 1 ( p ) } ,
the p-Apéry set of A, where each positive integer  m i ( p ) ( 0 i a 1 1 )  satisfies the following conditions:
( i ) m i ( p ) i ( mod a 1 ) , ( ii ) m i ( p ) S p ( A ) , ( iii ) m i ( p ) a 1 S p ( A ) .
Note that  m 0 ( 0 )  is defined to be 0.
It follows that for each p,
Ap p ( A ) { 0 , 1 , , a 1 1 } ( mod a 1 ) .
When  k 3 , it is hard to find any explicit form of  g p ( A )  as well as  n p ( A ) . Nevertheless, the following convenient formulas are known (for a more general case, see [36]). Though finding  m j ( p )  is hard enough in general, we can obtain it for some special sequences  ( a 1 , a 2 , , a k ) .
Lemma 1.
Let k and p be integers with  k 2  and  p 0 . Assume that  gcd ( a 1 , a 2 , , a k ) = 1 . We have
g p ( a 1 , a 2 , , a k ) = max 0 j a 1 1 m j ( p ) a 1 ,
n p ( a 1 , a 2 , , a k ) = 1 a 1 j = 0 a 1 1 m j ( p ) a 1 1 2 .
Remark 1.
When  p = 0 , the formulas (1) and (2) reduce to the formulas by Brauer and Shockley [37] and Selmer [38], respectively:
g ( a 1 , a 2 , , a k ) = max 1 j a 1 1 m j a 1 , n ( a 1 , a 2 , , a k ) = 1 a 1 j = 0 a 1 1 m j a 1 1 2 ,
where  m j = m j ( 0 )  ( 1 j a 1 1 ) with  m 0 = m 0 ( 0 ) = 0 . The formula for the Sylvester sum was discovered by Tripathi [21]. More general formulas using Bernoulli numbers can be seen in [22].

3. x 2 y 2 = z r

For the solution of the Diophantine equation  x 2 y 2 = z r , we obtain two kinds of parameterizations. Notice that there are common cases in both. If  s t ( mod 2 ) , then
( x , y , z ) = ( s + t ) r + ( s t ) r 2 , ( s + t ) r ( s t ) r 2 , s 2 t 2 ,
where  gcd ( s , t ) = 1 . If  2 t , then
( x , y , z ) = ( 2 r 2 s r + t r , 2 r 2 s r t r , 2 s t ) ,
where  gcd ( s , t ) = 1 .
The case where  r = 2  has already been discussed in [32,34]. Namely,
g 0 ( s 2 + t 2 , 2 s t , s 2 t 2 ) = ( s 1 ) ( s 2 t 2 ) + ( s 1 ) ( 2 s t ) ( s 2 + t 2 ) .
Let  r 2 . Then the Frobenius number of this triple is given as follows.
Theorem 1.
If  s t ( mod 2 ) , then
g 0 ( s + t ) r + ( s t ) r 2 , ( s + t ) r ( s t ) r 2 , s 2 t 2 = ( 2 s t 2 ) ( s + t ) r + t ( s t ) r 2 ( s 2 t 2 ) .
If  2 t , then
g 0 ( 2 r 2 s r + t r , 2 r 2 s r t r , 2 s t ) = 2 r 2 ( s + 2 t 2 ) s r s · t r 2 s t .
Remark 2.
When  r = 2 , both formulas in Theorem 1 reduce to that in (3). It is important to see that when  r = 2 , two kinds of parameterizations depend upon which of  s 2 t 2  and  2 s t  is smaller.

3.1. When  s t   ( mod   2 )

For convenience, we put
x : = ( s + t ) r + ( s t ) r 2 , y : = ( s + t ) r ( s t ) r 2 , z : = s 2 t 2 .
Since  x , y , z > 0  and  gcd ( x , y , z ) = 1 , we see that  s > t  and  gcd ( s , t ) = 1 . Note that  x > y > z  when  r 3 . When  r = 2 , we assume that  y > z .
The elements of the (0-)Apéry set are given as in Table 1, where each point  ( Y , X )  corresponds to the expression  Y y + X x  and the area of the (0-)Apéry set is equal to  s 2 t 2 .
Since
s y t x = z t j = 1 r / 2 r 1 2 j 1 s r 2 j t 2 j 2 ,
we have  s y t x ( mod z )  and  s y > t x . Therefore, the sequence  { y ( mod z ) } = 0 z 1  can be arranged as follows.
[Step 1]
After the row of the longer term
( 0 , X ) , ( 1 , X ) , , ( s 1 , X ) ( 0 X s t 1 )
with length s, by increasing by t in the vertical direction, we move to the row
( 0 , X + t ) , ( 1 , X + t ) ,
because  s y t x ( mod z ) . If it is still in the longer term, we repeat [Step 1].
[Step 2]
If it reaches the shorter term
( 0 , X ) , ( 1 , X ) , , ( s t 1 , X ) ( s t X s 1 )
with length  s t , by decreasing by ( s t ) in the vertical direction, we move to the row
( 0 , X s + t ) , ( 1 , X s + t ) ,
because
( s t ) y + ( s t ) x = ( s t ) ( s + t ) r 0 ( mod z ) .
If it is still in the shorter term, we repeat In fact, after the point  ( s t 1 , s t ) , one moves back to  ( 0 , 0 ) .
Since  gcd ( s , t ) = 1 , all the points inside the area in Table 1 appear in the sequence  { y ( mod z ) } = 0 z 1  just once. Indeed, this sequence is equivalent to the sequence  { ( mod z ) } = 0 z 1 .
It is clear that one of the values at  ( s t 1 , s 1 )  or at  ( s 1 , s t 1 )  takes the largest element. Since  ( s t 1 ) y + ( s 1 ) x ( ( s 1 ) y + ( s t 1 ) x = t ( s t ) r > 0 , the element at  ( s t 1 , s 1 )  is the largest in the Apéry set. Hence, by Lemma 1 (1), we have
g x , y , z = ( s t 1 ) y + ( s 1 ) x z = ( s t 1 ) ( s + t ) r ( s t ) r 2 + ( s 1 ) ( s + t ) r + ( s t ) r 2 ( s 2 t 2 ) = ( 2 s t 2 ) ( s + t ) r + t ( s t ) r 2 ( s 2 t 2 ) .

3.2. When  2 t

For convenience, we put
x : = 2 r 2 s r + t r , y : = 2 r 2 s r t r , z : = 2 s t .
Since  x , y , z > 0  and  gcd ( x , y , z ) = 1 , we see that  s > 4 r t / 2  and  gcd ( s , t ) = 1 . Note that  x > y > z  when  r 3 . When  r = 2 , we assume that  y = z > z = y .
Since  ( s + t ) x ( s t ) y = ( 2 r 2 s r 1 t r 1 ) z > 0 , we have  ( s + t ) x ( s t ) y ( mod z )  and  ( s + t ) x > ( s t ) y . In a similar way, we know that all the elements of the (0-)Apéry set are given as in Table 2.
Therefore, the sequence  { y ( mod z ) } = 0 z 1  can be arranged as follows.
[Step 1]
After the row of the longer term
( 0 , X ) , ( 1 , X ) , , ( s 1 , X ) ( 0 X s t 1 )
with length ( s t ), by increasing by ( s t ) in the vertical direction, we move to the row
( 0 , X + s t ) , ( 1 , X + s t ) ,
because  ( s + t ) x ( s t ) y ( mod z ) . If it is still in the longer term, we repeat
[Step 2]
If it reaches the shorter term
( 0 , X ) , ( 1 , X ) , , ( s t 1 , X ) ( s t X s 1 )
with length t, by decreasing by (t) in the vertical direction, we move to the row
( 0 , X t ) , ( 1 , X t ) ,
because  t y + t x = 2 r 1 s r t 0 ( mod z ) . If it is still in the shorter term, we repeat [Step 2]. Otherwise, we apply [Step 1]. In fact, after the point  ( t 1 , t ) , one moves back to  ( 0 , 0 ) .
Since  gcd ( s , t ) = 1 , all the points inside the area in Table 2 appear in the sequence  { y ( mod z ) } = 0 z 1  just once. Indeed, this sequence is equivalent to the sequence  { ( mod z ) } = 0 z 1 .
Compare the elements at  ( t 1 , s 1 )  and  ( s + t 1 , t 1 ) , which take possible maximal values. Since
( s + t 1 ) y + ( t 1 ) x ( t 1 ) y + ( s 1 ) x = 2 s t ( 2 r 3 s r 1 t r 1 ) + t r + 1 > 0 ,
we find that the element at  ( s + t 1 , t 1 )  is the largest in the Apéry set. By Lemma 1 (1), we have
g x , y , z = ( s + t 1 ) y + ( t 1 ) x z = ( s + t 1 ) ( 2 r 2 s r t r ) + ( t 1 ) ( 2 r 2 s r + t r ) 2 s t = 2 r 2 ( s + 2 t 2 ) s r s · t r 2 s t .

4. p > 0

We shall show the following.
Theorem 2.
If  s t ( mod 2 ) , then for a non-negative integer p with  p t / ( s t ) ,
g p ( s + t ) r + ( s t ) r 2 , ( s + t ) r ( s t ) r 2 , s 2 t 2 = ( p + 2 ) s ( p + 1 ) t 2 ( s + t ) r + p s ( p 1 ) t ( s t ) r 2 ( s 2 t 2 ) .
If  2 t , then for a non-negative integer p with  p ( s t ) / t ,
g p ( 2 r 2 s r + t r , 2 r 2 s r t r , 2 s t ) = 2 r 2 s + ( p + 2 ) t 2 s r + ( p t s ) t r 2 s t .

4.1. When  s t ( mod 2 )

4.1.1. p = 1

All elements of  Ap 1 ( A )  are arranged in the form of shifting elements of  Ap 0 ( A )  whose remainders modulo  z  are equal. Assume that  s < 2 t  now (otherwise, the arrangement of the elements in the Apéry set is very complicated and requires separate discussions so that the Frobenius number cannot be given in the general closed explicit formula, as mentioned later in the general p case). See Table 3. Since  ( s t ) y + ( s t ) x 0 ( mod z ) , each value at  ( Y , X )  is equivalent to the value at  ( Y + s t , X + s t ) . In addition, by  s y t x ( mod z ) , the elements of the first t rows in  Ap 0 ( A )  are shifted by  ( Y , X ) ( Y + s t , X + s t )  (in the lower-right direction) as the elements of  Ap 1 ( A ) . However, as the column width of the element in the first ( s t ) rows is s, if it is transferred as it is, there will be a part that protrudes sideways, and such a part is located below the lower-left area of  Ap 0 ( A )  (this position is reasonable because  s y t x ( mod z ) ). Finally, all elements other than the elements in the first t rows move directly to the side of the area of  Ap 0 ( A )  in the upper-right (this position is also reasonable because  s y t x ( mod z ) ). From this arrangement,  Ap 1 ( A )  also forms a complete residue system modulo  z .
Now we shall show that each element has at least two different representations. For the  ( s t ) × ( s t )  area at the bottom-left of Table 3, by
t y s x = z j = 0 ( r 1 ) / 2 r 1 2 j s r 2 j 1 t 2 j ,
we have for  0 Y s t 1  and  0 X s t 1
0 z + Y y + ( X + s ) x = j = 0 ( r 1 ) / 2 r 1 2 j s r 2 j 1 t 2 j z + ( Y + t ) y + X x .
For the  ( s t ) × ( s t )  area at the top-right of Table 3, by (5), we have for  0 Y s t 1  and  0 X s t 1
0 z + ( Y + s ) y + X x = t j = 1 r / 2 r 1 2 j 1 s r 2 j t 2 j 2 z + Y y + ( X + t ) x .
For the middle area of  Ap 1 ( A ) , by (6), we have for  0 Y s 1  and  0 X s 1
0 z + ( Y + s t ) y + ( X + s t ) x = ( s + t ) r 1 z + Y y + X x .
There are four candidates at
( s t 1 , 2 s t 1 ) , ( s 1 , 2 s 2 t 1 ) , ( 2 s 2 t 1 , s 1 ) , ( 2 s t 1 , s t 1 )
to take the largest value in  Ap 1 ( A ) . Since  t x > t y , the first one and the third one are larger than the second one and the fourth one, respectively. Since  ( s t ) x > ( s t ) y , the first one is bigger than the third one. Hence, by Lemmas 1 (1)
g 1 ( x , y , z ) = ( s t 1 ) y + ( 2 s t 1 ) x z = ( 3 s 2 t 2 ) ( s + t ) r + s ( s t ) r 2 ( s 2 t 2 ) .

4.1.2. p 2

When  p 2 , it continues until  p t / ( s t ) , the area of  Ap 1 ( A )  moves to the area of  Ap 2 ( A ) , which moves to the area of  Ap 3 ( A ) , and so on, in the correspondence relation modulo ( z ). Table 4 shows the areas of the  Ap p ( A )  ( p = 0 , 1 , 2 , 3 ) for the case where  3 t / ( s t ) < 4 . In Table 4, the area of  Ap 0 ( A )  is marked as 0 (including  0 a  and  0 b ); that of  Ap 1 ( A )  is marked as 1 (including  1 c  and  1 d ) with  1 a  and  1 b ; that of  Ap 2 ( A )  is marked as 2 (including  2 e  and  2 f ) with  2 a 2 b 2 c , and  2 d ; and that of  Ap 3 ( A )  is marked as 3 with  3 a 3 b 3 c 3 d 3 e , and  3 f . The areas having the same residue modulo ( z ) are determined as
0 a 1 a 2 a 3 a , 0 b 1 b 2 b 3 b , 1 c 2 c 3 c , 1 d 2 d 3 d , 2 e 3 e , 2 f 3 f ,
and the main parts are as
0 ( excluding 0 a and 0 b ) 1 ( including 1 a and 1 b ) , 1 ( excluding 1 c and 1 d ) 2 ( including 2 e and 2 f ) , 2 ( excluding 2 e and 2 f ) 3 .
That is, the elements of the area of the lower-left stair portions in  Ap p ( A )  correspond to the elements of the area of the upper-right stair portion in  Ap p + 1 ( A )  and are aligned from the upper-right row to the lower-left. The elements of the area of the upper-right stair portion in  Ap p ( A )  correspond to the elements of the area of the lower-left stair portion in  Ap p + 1 ( A ) , respectively, and line up in the upper-right direction from the lowest-left column. The elements of the area of  Ap p ( A )  in the center portion, except for the  ( s t ) × ( s t )  area in the lower-left and the  ( s t ) × ( s t )  area in the upper-right, correspond to the elements of the area of  Ap p + 1 ( A )  in the lower-right diagonal direction.
More generally and more precisely, for  1 l p , each element of the l-th  ( s t ) × ( s t )  block from the left in the area of the lower-left stair portions in  Ap p ( A )  is expressed by
( ( l 1 ) s ( l 1 ) t + i , ( p l + 1 ) s ( p l ) t + j ) ( 0 i s t 1 , 0 j s t 1 ) ,
and for  1 l p , each element of the  l -th  ( s t ) × ( s t )  block from the right in the area of the upper-right stair portions in  Ap p ( A )  is expressed by
( ( p l + 1 ) s ( p l ) t + i , ( l 1 ) s ( l 1 ) t + j ) ( 0 i s t 1 , 0 j s t 1 ) .
Then, by  s y t x ( mod z ) , we have the congruent relation for  p = p + 1  and  l = p l + 1 = p l + 2
( l 1 ) s ( l 1 ) t + i y + ( p l + 1 ) s ( p l ) t + j x ( p l + 1 ) s ( p l ) t + i y + ( l 1 ) s ( l 1 ) t + j x ( mod z ) ,
as well as for  p = p + 1  and  l = p l + 1 = p l + 2 .
For simplicity, denote by  ( Z , Y , X )  the value of  Z z + Y y + X x . Each element of the leftmost  ( s t ) × ( s t )  area of  Ap p ( A )  ( p 1 ) has exactly ( p + 1 ) representations, because
0 , 0 , p s ( p 1 ) t = j s + ( j 1 ) t , j t ( j 1 ) s , ( p j ) s ( p j ) t ( j = 1 , 2 , , p ) .
Note that  p s ( p + 1 ) t  since  p t / ( s t ) .
Each element of the second from the left  ( s t ) × ( s t )  area of  Ap p ( A )  ( p 2 ) has exactly ( p + 1 ) representations, because
0 , s t , ( p 1 ) s ( p 2 ) t = s + t , 0 , ( p 2 ) s ( p 3 ) t = j s + ( j 1 ) t , ( j 1 ) t ( j 2 ) s , ( p j 1 ) s ( p j 1 ) t ( j = 1 , 2 , , p 1 ) .
Each element of the third from the left  ( s t ) × ( s t )  area of  Ap p ( A )  ( p 3 ) has exactly ( p + 1 ) representations, because
0 , 2 s 2 t , ( p 2 ) s ( p 3 ) t = s + t , s t , ( p 3 ) s ( p 4 ) t = 2 s + 2 t , 0 , ( p 4 ) s ( p 5 ) t = j s + ( j 1 ) t , ( j 2 ) t ( j 3 ) s , ( p j 2 ) s ( p j 2 ) t ( j = 1 , 2 , , p 2 ) .
In general, each element of the l-th ( 1 l t / ( s t ) ) from the left  ( s t ) × ( s t )  area of  Ap p ( A )  ( p l ) has exactly ( p + 1 ) representations, because
0 , ( l 1 ) s ( l 1 ) t , ( p l + 1 ) s ( p l ) t = i ( s + t ) , ( l i 1 ) ( s t ) , ( p l i + 1 ) s ( p l i ) t ( i = 1 , 2 , , l 1 ) = j s + ( j 1 ) t , ( j l + 1 ) t ( j l ) s , ( p l j + 1 ) ( s t ) ( j = 1 , 2 , , p l + 1 ) .
Similarly, each element of the  l -th ( 1 l t / ( s t ) ) from the top-right  ( s t ) × ( s t )  area of  Ap p ( A )  ( p l ) has exactly ( p + 1 ) representations, because
0 , ( p l + 1 ) s ( p l ) t , ( l 1 ) s ( l 1 ) t = i ( s + t ) , ( p l i + 1 ) s ( p l i ) t , ( l i 1 ) ( s t ) ( i = 1 , 2 , , l 1 ) = ( j 1 ) s + j t , ( p l j + 1 ) ( s t ) , ( j l + 1 ) t ( j l ) s ( j = 1 , 2 , , p l + 1 ) .
Concerning the central portion of  Ap p ( A ) , it is easy to see that each element is expressed by
0 , p ( s t ) + i , p ( s t ) + j ( 0 i s t 1 , 0 j p t ( p 1 ) s 1 ; s t i p t ( p 1 ) s 1 , 0 j s t 1 ) ,
and all elements have exactly ( p + 1 ) representations, because
0 , p ( s t ) , p ( s t ) = j ( s + t ) , ( p j ) ( s t ) , ( p j ) ( s t ) ( j = 1 , 2 , , p ) .
Finally, the candidates to take the largest value in  Ap p ( A )  are clearly scattered in the lower right corners:
0 , l ( s t ) 1 , ( p + 2 l ) s ( p + 1 l ) t 1 ( l = 1 , 2 , , p ) , 0 , ( p + 1 ) ( s t ) 1 , s 1 , 0 , s 1 , ( p + 1 ) ( s t ) 1 , 0 , ( p + 2 l ) s ( p + 1 l ) t 1 , l ( s t ) 1 ( l = 1 , 2 , , p ) .
By comparing these values, we can find that  0 , s t 1 , ( p + 1 ) s p t 1  is the largest. Hence, by Lemma 1 (1)
g p ( x , y , z ) = ( s t 1 ) y + ( p + 1 ) s p t 1 x z = ( p + 2 ) s ( p + 1 ) t 2 ( s + t ) r + p s ( p 1 ) t ( s t ) r 2 ( s 2 t 2 ) .
In addition, Theorem 2 does not hold for  p > t / ( s t ) . As can be seen from the example in Table 4, the elements of the central area of  Ap 4 ( A )  corresponding to the elements of the central area of  Ap 3 ( A )  are not all left, and there will be elements corresponding to another location. Due to the deviation, the place where the maximum value is taken also changes from  ( 0 , s t 1 , ( p + 1 ) s p t 1 )  in  Ap p ( A )  for  p > t / ( s t ) . In the case of the example in Table 5, for  p = 4 , the elements in the area of the stair part on both sides still regularly move to the opposite side, but in the main central part, some surplus elements move to the lower-left ( 3 i 4 i ) and some to the upper-right ( 3 k 4 k ). In this case, in general,  ( 0 , 2 s 2 t 1 , ( p + 1 ) s p t 1 )  takes the largest value. It is as shown in Table 5. At  p = 5 , the place where the largest value is taken becomes more complicated since the corresponding residue part is further displaced.
In the table, n denotes the position of the largest element in  A p n ( A ) . Note that the area  3 h  (and so 4h) does not exist if  t / ( s t )  is an integer.

4.2. When  2 t

When  p 1 , the situation is somewhat similar to that of the case where  s t ( mod 2 ) , but the roles of  z = 2 s t  and  z = s 2 t 2  are interchanged. Namely, the roles of ( s t ) and t are interchanged. Therefore, the calculation is not so similar.
Table 6 shows the case where  3 < ( s t ) / t < 4 . The numbers  0 , 1 , 2 , 3  indicate the area of  Ap p ( A )  for  p = 0 , 1 , 2 , 3 .
For simplicity, denote  γ Y , X = Y y + X x  by  ( Y , X ) . More generally and more precisely, for  1 l p , each element of the l-th  t × t  block from the left in the area of the lower-left stair portions in  Ap p ( A )  is expressed by
( l 1 ) t + i , s + ( p l ) t + j ( 0 i t 1 , 0 j t 1 ) ,
and for  1 l p , each element of the  l -th  t × t  block from the right in the area of the upper-right stair portions in  Ap p ( A )  is expressed by
s + ( p l + 1 ) t + i , ( l 1 ) t + j ( 0 i t 1 , 0 j t 1 ) .
Concerning the central portion of  Ap p ( A ) , each element is expressed by
p t + i , p t + j ( 0 i t 1 , 0 j s p t 1 ; t i s ( p 1 ) t 1 , 0 j t 1 ) .
All the lower-right elements of the ( t × t ) square areas and the central area are candidates for the largest value of  Ap p ( A ) . Furthermore, by comparison, we can see that the position at  s + t 1 , ( p + 1 ) t 1  takes the largest value, which is at the bottom-right of the central area, and in Table 6, the position is shown by p (p = 0, 1, 2, 3). Hence, by Lemma 1 (1)
g p ( x , y , z ) = ( s + t 1 ) y + ( p + 1 ) t 1 x z = 2 r 2 s + ( p + 2 ) t 2 s r + ( p t s ) t r 2 s t .

5. Sylvester Number (Genus)

We can use Table 4 to obtain an explicit form of the genus (Sylvester number). First, let  s t ( mod 2 ) . For a non-negative integer p, by the representation of each element in Equations (8)–(10), we have
w Ap p ( A ) w = l = 1 p i = 0 s t 1 j = 0 s t 1 ( ( ( l 1 ) s ( l 1 ) t + i ) y + ( ( p l + 1 ) s ( p l ) t + j ) x ) + l = 1 p i = 0 s t 1 j = 0 s t 1 ( ( ( p l + 1 ) s ( p l ) t + i ) y + ( ( l 1 ) s ( l 1 ) t + j ) x ) + i = 0 s t 1 j = 0 p t ( p 1 ) s 1 ( p ( s t ) + i ) y + ( p ( s t ) + j ) x + i = s t p t ( p 1 ) s 1 j = 0 s t 1 ( p ( s t ) + i ) y + ( p ( s t ) + j ) x = ( s t ) ( s + t ) r 2 s 2 + s t t 2 s t + p ( s t ) ( s + 3 t ) p 2 ( s t ) 2 .
By Lemma 1 (2) we have
n p ( x , y , z ) = 1 z w Ap p ( A ) w z 1 2 = ( s + t ) r 1 2 s 2 + s t t 2 s t + p ( s t ) ( s + 3 t ) p 2 ( s t ) 2 s 2 t 2 1 2 .
Next, consider the case where  2 t . For a non-negative integer p, by the representation of each element in Equations (11)–(13), we have
w Ap p ( A ) w = l = 1 p i = 0 t 1 j = 0 t 1 ( ( ( l 1 ) t + i ) y + ( s + ( p l ) t + j ) x ) + l = 1 p i = 0 t 1 j = 0 t 1 ( ( s + ( p l + 1 ) t + i ) y + ( ( l 1 ) t + j ) x ) + i = 0 t 1 j = 0 s p t 1 ( p t + i ) y + ( p t + j ) x + i = t s ( p 1 ) t 1 j = 0 t 1 ( p t + i ) y + ( p t + j ) x = s t 2 r 2 s r ( s + 2 t 2 ) t r + 1 + p · 2 r 2 s r 1 ( 4 s 3 ) t p 2 · 2 r 2 s r 1 t 2 .
By Lemma 1 (2) we have
n p ( x , y , z ) = 1 z w Ap p ( A ) w z 1 2 = 1 2 2 r 2 s r ( s + 2 t 2 ) t r + 1 + p · 2 r 2 s r 1 ( 4 s 3 ) t p 2 · 2 r 2 s r 1 t 2 2 s t 1 2 = 1 2 2 r 2 s r ( s + 2 t 2 ) t r + 1 2 s t + 1 + p · 2 r 2 s r 1 ( 4 s 3 ) t p 2 · 2 r 2 s r 1 t 2 .
Theorem 3.
When  s t ( mod 2 ) , for a non-negative integer p with  p t / ( s t ) , we have
n p ( s + t ) r + ( s t ) r 2 , ( s + t ) r ( s t ) r 2 , s 2 t 2 = ( s + t ) r 1 2 s 2 + s t t 2 s t + p ( s t ) ( s + 3 t ) p 2 ( s t ) 2 s 2 t 2 1 2 .
When  2 t , for a non-negative integer p with  p ( s t ) / t , we have
n p ( 2 r 2 s r + t r , 2 r 2 s r t r , 2 s t ) = 1 2 2 r 2 s r ( s + 2 t 2 ) t r + 1 2 s t + 1 + p · 2 r 2 s r 1 ( 4 s 3 ) t p 2 · 2 r 2 s r 1 t 2 .

6. Examples

When  r = 2  in Theorems 2 and 3, the result appears in [34].
When  r = 3  and  ( s , t ) = ( 8 , 7 ) , by applying the first formula of Theorem 2, for  0 p 7 = 7 / ( 8 7 )  we have
g p ( x , y , z ) = g p ( 25313 , 25312 , 15 ) = 0 y + ( p + 7 ) x z = 25313 p + 177176 .
In fact,
{ g p ( 25313 , 25312 , 15 ) } p = 0 7 = 177176 , 202489 , 227802 , 253115 , 278428 , 303741 , 329054 , 354367 .
However, when  p = 8 , this formula gives 379680, which does not match the real value 379679. By applying the first formula of Theorem 3, we have for  0 p 7
n p ( 25313 , 25312 , 15 ) = 188986 + 97875 p 3375 p 2 2 .
In fact,
{ n p ( 25313 , 25312 , 15 ) } p = 0 7 = 94493 , 141743 , 185618 , 226118 , 263243 , 296993 , 327368 , 354368 .
When  r = 3  and  ( s , t ) = ( 14 , 3 ) , we can apply the second formula of Theorem 2. For  0 p 3 = ( 14 3 ) / 3  we have
g p ( x , y , z ) = g p ( 5515 , 5461 , 84 ) = 16 y + ( 3 p + 2 ) x z = 16545 p + 98322 .
In fact,
{ g p ( 5515 , 5461 , 84 ) } p = 0 3 = 98322 , 114867 , 131412 , 147957 .
By applying the second formula of Theorem 3, we have for  0 p 3
n p ( 5515 , 5461 , 84 ) = 98620 + 64680 p 3528 p 2 2 .
In fact,
{ n p ( 5515 , 5461 , 84 ) } p = 0 3 = 49310 , 79886 , 106934 , 130454 .

7. Final Comments

In the case of two variables, there are general explicit formulas for the Frobenius and Sylvester numbers. Even if the classic  p = 0  is such a situation, the case when  p > 0  is even more difficult. In this paper, we succeeded in providing closed explicit formulas with a smaller non-negative integer p. If the value of p becomes larger, as is shown in the tables, the regularity is broken, so these numbers can only be found in separate arguments. It is clear that it is very difficult to give a general closed explicit formula for all non-negative integers p. For more than three variables, general closed explicit formulas for all non-negative integers p have not yet been discovered in any particular case.
Diophantine equations of the type  x 2 + y 2 = z r  ( r 2 ) seem to be more popular. Their solutions can also be parameterized. However, the situation becomes much more complicated, and much more detailed discussion is needed. In addition, if the value r is different, the situation of the Apéry set is different, so we cannot discuss the general r.

8. Conclusions

Pythagorean triples are positive integer solutions to the most fundamental equations among the many Diophantine equations and have been studied by many researchers for a very long time.
On the other hand, the linear Diophantine problem of Frobenius is a very familiar problem that is also encountered in topics in everyday life. This paper becomes very meaningful in that it combines such familiar topics. Since there are a huge number of Diophantine equations, it is hoped that by applying the method in this paper, it will be possible to connect even more Diophantine equations and the linear Diophantine problem of Frobenius in the future.

Author Contributions

Writing—original draft preparation, T.K.; writing—review and editing, R.Y. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Data are contained within the article.

Acknowledgments

The authors thank the referees for the careful reading of the manuscript.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Cohen, H. Number Theory. Volume I: Tools and Diophantine Equations; Graduate Texts in Mathematics; Springer: New York, NY, USA, 2007; Volume 239. [Google Scholar]
  2. Cohen, H. Number Theory. Volume II: Analytic and Modern Tools; Graduate Texts in Mathematics; Springer: New York, NY, USA, 2007; Volume 240. [Google Scholar]
  3. Dickson, L.E. History of the Theory of Numbers. Vol. II: Diophantine Analysis; Reprint of the 1920 original published by Carnegie Institution, Washington, DC; Dover Publications: Mineola, NY, USA, 2005. [Google Scholar]
  4. Elsner, C.; Komatsu, T.; Shiokawa, I. On convergents formed by Pythagorean Numbers, Diophantine Analysis and Related Fields 2006, Honor of Iekata Shiokawa. In Proceedings of the Conference, Keio University, Yokohama, Japan, 7–10 March 2006; Seminar on Mathematical Sciences, 35. Katsurada, M., Ed.; Department of Mathematics, Keio University: Yokohama, Japan, 2006; pp. 59–76. [Google Scholar]
  5. Elsner, C.; Komatsu, T.; Shiokawa, I. Approximation of values of hypergeometric functions by restricted rationals. J. Theor. Nombres Bordx. 2007, 19, 393–404. [Google Scholar] [CrossRef]
  6. Elsner, C.; Komatsu, T.; Shiokawa, I. On convergents formed from Diophantine equations. Glas. Mat. III. Ser. 2009, 44, 267–284. [Google Scholar] [CrossRef]
  7. Chaichana, T.; Komatsu, T.; Laohakosol, V. On Convergents of Certain Values of Hyperbolic Functions Formed from Diophantine Equations. Tokyo J. Math. 2013, 36, 239–251. [Google Scholar] [CrossRef]
  8. Sylvester, J.J. On subinvariants, i.e., semi-invariants to binary quantics of an unlimited order. Am. J. Math. 1882, 5, 119–136. [Google Scholar] [CrossRef]
  9. Sylvester, J.J. On the partition of numbers. Quart. J. Pure Appl. Math. 1857, 1, 141–152. [Google Scholar]
  10. Cayley, A. On a problem of double partitions. Philos. Mag. 1860, 20, 337–341. [Google Scholar] [CrossRef]
  11. Tripathi, A. The number of solutions to ax + by = n. Fibonacci Quart. 2000, 38, 290–293. [Google Scholar]
  12. Komatsu, T. On the number of solutions of the Diophantine equation of Frobenius–General case. Math. Commun. 2003, 8, 195–206. [Google Scholar]
  13. Komatsu, T.; Ying, H. p-numerical semigroups with p-symmetric properties. J. Algebra Appl. 2024, 2450216. [Google Scholar] [CrossRef]
  14. Sylvester, J.J. Mathematical questions with their solutions. Educ. Times 1884, 41, 21. [Google Scholar]
  15. Curtis, F. On formulas for the Frobenius number of a numerical semigroup. Math. Scand. 1990, 67, 190–192. [Google Scholar] [CrossRef]
  16. Rosales, J.C.; Garcia-Sanchez, P.A. Numerical semigroups with embedding dimension three. Arch. Math. 2004, 83, 488–496. [Google Scholar] [CrossRef]
  17. Fel, L.G. Frobenius problem for semigroups S(d1, d2, d3). Funct. Anal. Other Math. 2006, 1, 119–157. [Google Scholar] [CrossRef]
  18. Robles-Pérez, A.M.; Rosales, J.C. The Frobenius number for sequences of triangular and tetrahedral numbers. J. Number Theory 2018, 186, 473–492. [Google Scholar] [CrossRef]
  19. Rosales, J.C.; Branco, M.B.; Torrão, D. The Frobenius problem for Thabit numerical semigroups. J. Number Theory 2015, 155, 85–99. [Google Scholar] [CrossRef]
  20. Rosales, J.C.; Branco, M.B.; Torrão, D. The Frobenius problem for Mersenne numerical semigroups. Math. Z. 2017, 286, 741–749. [Google Scholar] [CrossRef]
  21. Tripathi, A. On sums of positive integers that are not of the form ax+by. Am. Math. Mon. 2008, 115, 363–364. [Google Scholar] [CrossRef]
  22. Komatsu, T. Sylvester power and weighted sums on the Frobenius set in arithmetic progression. Discret. Appl. Math. 2022, 315, 110–126. [Google Scholar] [CrossRef]
  23. Komatsu, T.; Zhang, Y. Weighted Sylvester sums on the Frobenius set. Ir. Math. Soc. Bull. 2021, 87, 21–29. [Google Scholar] [CrossRef]
  24. Komatsu, T.; Zhang, Y. Weighted Sylvester sums on the Frobenius set in more variables. Kyushu J. Math. 2022, 76, 163–175. [Google Scholar] [CrossRef]
  25. Komatsu, T. The Frobenius number for sequences of triangular numbers associated with number of solutions. Ann. Comb. 2022, 26, 757–779. [Google Scholar] [CrossRef]
  26. Komatsu, T. The Frobenius number associated with the number of representations for sequences of repunits. C. R. Math. Acad. Sci. Paris 2023, 361, 73–89. [Google Scholar] [CrossRef]
  27. Komatsu, T.; Laohakosol, V. The p-Frobenius problems for the sequence of generalized repunits. Results Math. 2023, 79, 26. [Google Scholar] [CrossRef]
  28. Komatsu, T.; Ying, H. The p-Frobenius and p-Sylvester numbers for Fibonacci and Lucas triplets. Math. Biosci. Eng. 2023, 20, 3455–3481. [Google Scholar] [CrossRef]
  29. Komatsu, T.; Pita-Ruiz, C. The Frobenius number for Jacobsthal triples associated with number of solutions. Axioms 2023, 12, 98. [Google Scholar] [CrossRef]
  30. Komatsu, T.; Laishram, S.; Punyani, P. p-numerical semigroups of generalized Fibonacci triples. Symmetry 2023, 15, 852. [Google Scholar] [CrossRef]
  31. Komatsu, T.; Ying, H. The p-numerical semigroup of the triple of arithmetic progressions. Symmetry 2023, 15, 1328. [Google Scholar] [CrossRef]
  32. Gil, B.K.; Han, J.-W.; Kim, T.H.; Koo, R.H.; Lee, B.W.; Lee, J.; Nam, K.S.; Park, H.W.; Park, P.-S. Frobenius numbers of Pythagorean triples. Int. J. Number Theory 2015, 11, 613–619. [Google Scholar] [CrossRef]
  33. Elizeche, E.F.; Tripathi, A. On numerical semigroups generated by primitive Pythagorean triplets. Integers 2020, 20, A75. [Google Scholar]
  34. Komatsu, T.; Sury, B. p-numerical semigroups of Pythagorean triples. Preprint 2023, arXiv:2307.08998. [Google Scholar]
  35. Apéry, R. Sur les branches superlinéaires des courbes algébriques. C. R. Acad. Sci. Paris 1946, 222, 1198–1200. [Google Scholar]
  36. Komatsu, T. On the determination of p-Frobenius and related numbers using the p-Apéry set. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 2024, 118, 58. [Google Scholar] [CrossRef]
  37. Brauer, A.; Shockley, B.M. On a problem of Frobenius. J. Reine. Angew. Math. 1962, 211, 215–220. [Google Scholar]
  38. Selmer, E.S. On the linear diophantine problem of Frobenius. J. Reine Angew. Math. 1977, 293–294, 1–17. [Google Scholar]
Table 1. Ap 0 ( x , y , z )  when  s t   ( mod   2 ) .
Table 1. Ap 0 ( x , y , z )  when  s t   ( mod   2 ) .
  ( 0 , 0 )   ( s t 1 , 0 )   ( s t , 0 )   ( s 1 , 0 )
  ( 0 , s t 1 )   ( s t 1 , s t 1 )   ( s t , s t 1 )   ( s 1 , s t 1 )
  ( 0 , s t )   ( s t 1 , s t )
  ( 0 , s 1 )   ( s t 1 , s 1 )
Table 2. Ap 0 ( x , y , z )  when  2 t .
Table 2. Ap 0 ( x , y , z )  when  2 t .
  ( 0 , 0 )   ( t 1 , 0 )   ( t , 0 )   ( s + t 1 , 0 )
  ( 0 , t 1 )   ( t 1 , t 1 )   ( t , t 1 )   ( s + t 1 , t 1 )
  ( 0 , t )   ( t 1 , t )
  ( 0 , s 1 )   ( t 1 , s 1 )
Table 3. Ap 1 ( x , y , z )  when  s t   ( mod   2 ) .
Table 3. Ap 1 ( x , y , z )  when  s t   ( mod   2 ) .
  ( s , 0 )   ( 2 s t 1 , 0 )
  ( s , s t 1 )   ( 2 s t 1 , s t 1 )
  ( s t , s t )   ( 2 s 2 t 1 , s t )   ( s 1 , s t )
  ( s t , 2 s 2 t 1 )   ( s 1 , 2 s 2 t 1 )
  ( s t , s 1 )   ( 2 s 2 t 1 , s 1 )
  ( 0 , s )   ( s t 1 , s )
  ( 0 , 2 s t 1 )   ( s t 1 , 2 s t 1 )
Table 4. Ap p ( x , y , z )  ( p = 0 , 1 , 2 , 3 ) when  s t   ( mod   2 ) .
Table 4. Ap p ( x , y , z )  ( p = 0 , 1 , 2 , 3 ) when  s t   ( mod   2 ) .
0   0 b   1 a   2 c   3 e
1   1 d   2 b   3 a
2   2 f   3 d
  0 a   1 c   2 e 3
  1 b   2 a   3 c
  2 d   3 b
  3 f
Table 5. Ap p ( x , y , z )  ( p = 4 ) when  s t   ( mod   2 ) .
Table 5. Ap p ( x , y , z )  ( p = 4 ) when  s t   ( mod   2 ) .
0   0 b   1 a   2 c   3 e   4 k
1   1 d   2 b   3 a   4 c
2   2 f   3 d   4 b
  3 h   3 i
  4 f
  0 a   1 c   2 e   3 k
  4 h
  1 b   2 a   3 c   4 e
  2 d   3 b   4 a
  3 f   4 d
  4 i
Table 6. Ap p ( x , y , z )  ( p = 0 , 1 , 2 , 3 ) when  2 t .
Table 6. Ap p ( x , y , z )  ( p = 0 , 1 , 2 , 3 ) when  2 t .
0 1 2 3
1 2 3
2 3
3
1 2 3
2 3
3
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Yin, R.; Komatsu, T. Frobenius Numbers Associated with Diophantine Triples of x2-y2=zr. Symmetry 2024, 16, 855. https://doi.org/10.3390/sym16070855

AMA Style

Yin R, Komatsu T. Frobenius Numbers Associated with Diophantine Triples of x2-y2=zr. Symmetry. 2024; 16(7):855. https://doi.org/10.3390/sym16070855

Chicago/Turabian Style

Yin, Ruze, and Takao Komatsu. 2024. "Frobenius Numbers Associated with Diophantine Triples of x2-y2=zr" Symmetry 16, no. 7: 855. https://doi.org/10.3390/sym16070855

APA Style

Yin, R., & Komatsu, T. (2024). Frobenius Numbers Associated with Diophantine Triples of x2-y2=zr. Symmetry, 16(7), 855. https://doi.org/10.3390/sym16070855

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop