Next Article in Journal
A Note on Ricci Solitons
Next Article in Special Issue
On the Number of Witnesses in the Miller–Rabin Primality Test
Previous Article in Journal
A Privacy Preserving Authentication Scheme for Roaming in IoT-Based Wireless Mobile Networks
Previous Article in Special Issue
Braids, 3-Manifolds, Elementary Particles: Number Theory and Symmetry in Particle Physics
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On a Generalization of a Lucas’ Result and an Application to the 4-Pascal’s Triangle †

Department of Information Systems Science, Soka University, Tokyo 192-8577, Japan
*
Author to whom correspondence should be addressed.
This research did not receive any specific grant from funding agencies in the public, commercial, or not-for-profit sectors.
Symmetry 2020, 12(2), 288; https://doi.org/10.3390/sym12020288
Submission received: 29 January 2020 / Revised: 9 February 2020 / Accepted: 10 February 2020 / Published: 16 February 2020
(This article belongs to the Special Issue Number Theory and Symmetry)

Abstract

:
The Pascal’s triangle is generalized to “the k-Pascal’s triangle” with any integer k 2 . Let p be any prime number. In this article, we prove that for any positive integers n and e, the n-th row in the p e -Pascal’s triangle consists of integers which are congruent to 1 modulo p if and only if n is of the form p e m 1 p e 1 with some integer m 1 . This is a generalization of a Lucas’ result asserting that the n-th row in the (2-)Pascal’s triangle consists of odd integers if and only if n is a Mersenne number. As an application, we then see that there exists no row in the 4-Pascal’s triangle consisting of integers which are congruent to 1 modulo 4 except the first row. In this application, we use the congruence ( x + 1 ) p e ( x p + 1 ) p e 1 ( mod p e ) of binomial expansions which we could prove for any prime number p and any positive integer e. We think that this article is fit for the Special Issue “Number Theory and Symmetry,” since we prove a symmetric property on the 4-Pascal’s triangle by means of a number-theoretical property of binomial expansions.

1. Introduction

As it is known, Pascal’s triangle is constructed in the following way: Write the first row “ 1 1 ”. Then each member of each subsequent row is given by taking the sum of the just above two members, regarding any blank as 0.
Example 1.
Here is the Pascal’s triangle from the first row to the 7-th row:
1 1 1 2 1 1 3 3 1 1 4 6 4 1 1 5 10 10 5 1 1 6 15 20 15 6 1 1 7 21 35 35 21 7 1
Remark 1.
For any integers n 1 and r 0 , we put
n C r : = n ! r ! ( n r ) ! = n ( n 1 ) ( n r + 1 ) r 1 ,
where we put 0 ! = 1 . Then it is well-known that the n-th row in the Pascal’s triangle is equal to the sequence
n C 0 , n C 1 , , n C n 1 , n C n
consisting of n + 1 terms.
In ([1], Section 1.4), the construction above is generalized as follows:
Definition 1.
Let k 2 be any integer. The k-Pascal’s triangle is constructed in the following way: Write the first row “ 1 1 1 k ”. Then each member of each subsequent row is given by taking the sum of the just above k members regarding the blank as 0.
Example 2.
In the case where k = 4 , the 4-Pascal’s triangle from the first row to the 5-th row is the following:
1 1 1 1 1 2 3 4 3 2 1 1 3 6 10 12 12 10 6 3 1 1 4 10 20 31 40 44 40 31 20 10 4 1 1 5 15 35 65 101 135 155 155 135 101 65 35 15 5 1
Remark 2.
( 1 ) In ([1], Section 1.4), for any integers k 2 and n 1 , it is mentioned that the n-th row in the k-Pascal’s triangle consists of n ( k 1 ) + 1 integers
n C 0 ( k ) , n C 1 ( k ) , , n C n ( k 1 ) 1 ( k ) , n C n ( k 1 ) ( k )
satisfying the equation
( x k 1 + x k 2 + + x + 1 ) n = n C 0 ( k ) x n ( k 1 ) + n C 1 ( k ) x n ( k 1 ) 1 + + n C n ( k 1 ) 1 ( k ) x + n C n ( k 1 ) ( k )
of polynomials with indeterminate x and integral coefficients. A detailed proof of this fact is described in ([2], Lemma 1.1).
(2) In ([1], Section 9.10), the following formula for n C i ( k ) is described:
n C i ( k ) = j = 0 i k ( 1 ) j n + i j k 1 C n 1 · n C j ,
where i k is the greatest integer that is less than or equal to i k .
In Example 1, we can see that the n-th row consists of odd integers when n is equal to the Mersenne number 1, 3 or 7. Actually, Lucas showed the following
Theorem 1
([3], Exemple I in Section 228). Let n 1 be any integer. Then n C r is odd for any 0 r n if and only if n is a Mersenne number, i.e., n is of the form 2 m 1 with some integer m 1 .
In Section 2 in this article, we generalize the Lucas’ result above as the following
Theorem 2.
Let p be any prime number and e any positive integer. For any integer n 1 , the n-th row in the p e -Pascal’s triangle consists of integers which are congruent to 1 modulo p if and only if n is of the form p e m 1 p e 1 with some integer m 1 .
Remark 3.
(1) Theorem 2 is a generalization of ([2], Theorem 0.2) which is in the case where e = 1 .
(2) We can see that Example 2 gives a partial example of Theorem 2 in the case where p = 2 , e = 2 and m = 1 , 2 .
As an application of Theorem 2, we can prove that ([2], Conjecture 0.3) holds for k = 4 , i.e., there exists no row in the 4-Pascal’s triangle consisting of integers which are congruent to 1 modulo 4 except the first row as follows:
By Theorem 2, in the case where k = 4 , we see that for any integer n 1 , the n-th row in the 4-Pascal’s triangle consists of odd integers if and only if n is of the form 4 m 1 3 with some integer m 1 .
Moreover, we can see an essential property of the 4 m 1 3 -th row in the 4-Pascal’s triangle for any integer m 2 as in the following theorem proved in Section 3.2:
Theorem 3.
For any integer m 2 , the 4 m 1 3 -th row in the 4-Pascal’s triangle is congruent to the sequence
1133 1133 2 2 m 3 3311 3311 2 2 m 3
modulo 4, which consists of the repeated 1133’s and 3311’s whose numbers are the same 2 2 m 3 .
Therefore we can obtain the following
Corollary 1.
([2], Conjecture 0.3) holds for k = 4 , i.e., there exists no row in the 4-Pascal’s triangle consisting of integers which are congruent to 1 modulo 4 except the first row.
Remark 4.
(1) By Example 2, in the case where m = 2 , we can see that the 5-th row in the 4-Pascal’s triangle is congruent to the sequence
1 1 3 3 1 1 3 3 3 3 1 1 3 3 1 1
modulo 4, which matches the assertion of Theorem 3.
(2) It seems that one could obtain the forms of the sequenece to which the 4 m 1 3 ± -th row in the 4-Pascal’s triangle is congruent modulo 4 for some positive integers ℓ by means of Theorem 3. We would like to do these calculations in the future.
In the proof of Theorem 3 in Section 3.2, we shall use the following lemma proved in Section 3.1:
Lemma 1.
For any prime number p and any positive integer e, we have the following coefficient-wise congruence
( x + 1 ) p e ( x p + 1 ) p e 1 ( mod p e )
of binomial expansions with indetermiate x.

2. A Proof of Theorem 2

Although Theorem 2 can be proved by the same argument as the proof of ([2], Theorem 0.2), we shall describe its detailed proof here to make this article self-contained.
Let n and e be any positive integers and p be any prime number.
Firstly, we assume that n is of the form n = p e m 1 p e 1 with some integer m 1 . In the algebra F p [ x ] of polynomials of one varible x with coefficients in the finite field F p = Z / p Z of p elements, we see that for any positive integer ,
( x 1 ) p 1 = ( x 1 ) p x 1 = x p 1 x 1 = x p 1 + x p 2 + + x + 1 .
Therefore we see that
( x p e 1 + x p e 2 + + x + 1 ) n = ( x p e 1 + x p e 2 + + x + 1 ) p e m 1 p e 1 = ( ( x 1 ) p e 1 ) p e m 1 p e 1 = ( x 1 ) p e m 1 = x p e m 1 + x p e m 2 + + x + 1 = x n ( p e 1 ) + x n ( p e 1 ) 1 + + x + 1
in F p [ x ] . By Remark 2 (1), this implies that the n-th row in the p e -Pascal’s triangle consists of integers which are congruent to 1 modulo p as desired.
Conversely, we now assume that n is of the form
n = 1 + p e + + p e ( m 1 ) + k
with some integers m 1 and 1 k p e m 1 . Moreover, we assume that we have
( x p e 1 + x p e 2 + + x + 1 ) n = x n ( p e 1 ) + x n ( p e 1 ) 1 + + x + 1
in F p [ x ] to obtain some contradiction. Since the left hand side is equal to ( x 1 ) n ( p e 1 ) and the right hand side is equal to x n ( p e 1 ) + 1 1 x 1 , we then have the equality
( x 1 ) n ( p e 1 ) + 1 = x n ( p e 1 ) + 1 1
in F p [ x ] . Since n = p e m 1 p e 1 + k , this implies that
( x 1 ) p e m + k ( p e 1 ) = x p e m + k ( p e 1 ) 1 .
Let v p ( a ) be the p-adic valuation of any non-zero integer a, i.e., p v p ( a ) a and p v p ( a ) + 1 a . Since 1 k p e m 1 , we see that v p ( k ) < e m and then
v p ( p e m + k ( p e 1 ) ) = v p ( k ) .
Therefore we can put
p e m + k ( p e 1 ) = p v p ( k ) t
with some positive integer t which is prime to p. Then we have
( x 1 ) p v p ( k ) t = x p v p ( k ) t 1 = ( x t 1 ) p v p ( k )
which implies that
( x 1 ) p v p ( k ) ( t 1 ) = ( x t 1 + x t 2 + + x + 1 ) p v p ( k ) ,
since F p [ x ] is an integral domain. Since p v p ( k ) < p e m , we see that t 2 . Therefore substituting x = 1 leads a contradiction t = 0 in F p as desired, and Theorem 2 is proved.

3. An Application to the 4-Pascal’s Triangle

By Theorem 2, in the case where p = 2 and e = 2 , we see that for any integer n 1 , the n-th row in the 4-Pascal triangle consists of odd integers if and only if n is of the form 4 m 1 3 with some integer m 1 .
In this section, we shall prove Theorem 3 asserting that for any integer m 2 , the 4 m 1 3 -th row in the 4-Pascal’s triangle is congruent to the sequence
1133 1133 2 2 m 3 3311 3311 2 2 m 3
modulo 4. Here we should note that 2 2 m 3 is the number of 1133’s and 3311’s, respectively.
Then Theorems 2 and 3 imply that ([2], Conjecture 0.3) holds in the case where k = 4 , i.e., there exists no row in the 4-Pascal’s triangle consisting of integers which are congruent to 1 modulo 4 except the first row as we have seen in Corollary 1.

3.1. On a Congruence of Binomial Expansions

Before proving Theorem 3, we shall prove Lemma 1 on a congruence of binomial expansions in this subsection.
Let p be any prime number and e any positive integer. In order to prove the congruence
( x + 1 ) p e ( x p + 1 ) p e 1 ( mod p e )
of binomial expansions with indeterminate x, it suffices to see the following two congruences hold:
(1) For any integer 1 p e 1 which is prime to p,
p e C 0 ( mod p e ) .
(2) In the case where e 2 , for any integers 0 f e 2 and i such that 1 i p f p e 1 1 and ( i , p ) = 1 ,
p e C i p f + 1 p e 1 C i p f ( mod p e ) .
Firstly, we shall prove the part (1). In the case where = 1 , we see that
p e C 1 = p e 0 ( mod p e ) .
Moreover, in the case where 2 p e 1 , we see that
p e C = p e j = 1 1 p e j j .
Since v p ( p e j ) = v p ( j ) for any 1 j 1 < p e and is prime to p, we then see that
v ( p e C ) = e v p ( ) + j = 1 1 v p p e j j = e + j = 1 1 ( v p ( p e j ) v p ( j ) ) = e .
Therefore p e C 0 ( mod p e ) , and part (1) is proved.
Secondly, we shall prove part (2). We see that
p e C i p f + 1 p e 1 C i p f = p e i p f + 1 · j = 0 i 1 1 k p f + 1 1 , ( k , p ) = 1 ( k + j p f + 1 + ( p e i p f + 1 ) ) j = 0 i 1 1 k p f + 1 1 , ( k , p ) = 1 ( k + j p f + 1 ) · p e 1 1 C i p f 1 p e 1 i p f · p e 1 1 C i p f 1 = p e f 1 i · p e 1 1 C i p f 1 j = 0 i 1 1 k p f + 1 1 , ( k , p ) = 1 ( k + j p f + 1 + ( p e i p f + 1 ) ) j = 0 i 1 1 k p f + 1 1 , ( k , p ) = 1 ( k + j p f + 1 ) 1
and that
j = 0 i 1 1 k p f + 1 1 , ( k , p ) = 1 ( k + j p f + 1 + ( p e i p f + 1 ) ) j = 0 i 1 1 k p f + 1 1 , ( k , p ) = 1 ( k + j p f + 1 ) 1 k p f + 1 1 , ( k , p ) = 1 k i ( mod p f + 1 ) .
Since ( i , p ) = 1 , we then see that p e C i p f + 1 p e 1 C i p f is divisible by p e f 1 · p f + 1 = p e as desired.

3.2. A Proof of Theorem 3

Now we shall prove Theorem 3 by means of Lemma 1 with p = 2 and e = 2 , i.e., the congruence of binomial expansions
( x + 1 ) 4 ( x 2 + 1 ) 2 ( mod 4 ) . ( )
By Remark 2 (1), proving Theorem 3 is equivalent to proving that for any integer m 2 , the coefficient-wise congruence
( x 3 + x 2 + x + 1 ) 4 m 1 3 x 4 m 1 + x 4 m 2 x 4 m 3 x 4 m 4 + + x 4 m 2 + 3 + x 4 m 2 + 2 x 4 m 2 + 1 x 4 m 2 x 4 m 2 1 x 4 m 2 2 + x 4 m 2 3 + x 4 m 2 4 x 3 x 2 + x + 1 ( mod 4 ) ( )
holds with indeterminate x by the induction on m.
Before doing this, we see the following
Lemma 2.
The polynomial in the right hand side of the congruence relation ( ) can be decomposed as
( x + 1 ) ( x 2 1 ) ( x 4 + 1 ) ( x 2 2 m 2 + 1 ) ( x 2 2 m 1 1 ) .
Proof. 
By a direct calculation, we can see that there exists some positive integer such that the polynomial in the right hand side of the congruence relation ( ) can be decomposed as
( x + 1 ) ( x 4 m 2 x 4 m 4 + x 4 m 6 x 4 m 8 + + x 4 m 2 + 6 x 4 m 2 + 4 + x 4 m 2 + 2 x 4 m 2 x 4 m 2 2 + x 4 m 2 4 x 4 m 2 6 + x 4 m 2 8 x 6 + x 4 x 2 + 1 ) = ( x + 1 ) ( x 2 1 ) ( x 4 m 4 + x 4 m 8 + + x 4 m 2 + 4 + x 4 m 2 x 4 m 2 4 x 4 m 2 8 x 4 1 ) = = ( x + 1 ) ( x 2 1 ) ( x 4 + 1 ) ( x 2 + 1 ) ( x 3 · 2 + 1 + x 2 · 2 + 1 x 2 + 1 1 ) = ( x + 1 ) ( x 2 1 ) ( x 4 + 1 ) ( x 2 + 1 ) ( x 2 + 1 + 1 ) ( x 2 + 2 1 ) .
Since the degree of the polynomial in the right hand side of the congruence relation ( ) is equal to 4 m 1 , we then see that
4 m 1 = 1 + 2 + 2 2 + + 2 + 2 + 1 + 2 + 2 = 2 + 3 1 ,
which implies that = 2 m 3 as desired. □
Let us start to prove Theorem 3 by the induction on m 2 . Firstly, in the case where m = 2 , since
( x 2 + 1 ) 4 ( x 4 + 1 ) 2 ( mod 4 )
and
( x + 1 ) 4 ( x 2 + 1 ) 2 x 4 + 2 x 2 + 1 x 4 2 x 2 + 1 ( x 2 1 ) 2 ( mod 4 )
by the congruence relation ( ) , we see that
( x 3 + x 2 + x + 1 ) 5 ( x + 1 ) ( x 2 + 1 ) ( x + 1 ) 4 ( x 2 + 1 ) 4 ( x + 1 ) ( x 2 + 1 ) ( x 2 1 ) 2 ( x 4 + 1 ) 2 ( x + 1 ) ( x 2 1 ) ( x 4 + 1 ) ( x 8 1 ) ( mod 4 ) .
Therefore the congruence relation ( ) holds for m = 2 by Lemma 2.
Secondly, we assume that the congruence relation ( ) holds for some m 2 . By the congruence relation ( ) , we see that
( x + 1 ) 4 m ( x + 1 ) 2 2 m ( ( x + 1 ) 4 ) 2 2 m 2 ( x 2 + 1 ) 2 2 m 1 ( ( x 2 + 1 ) 4 ) 2 2 m 3 ( x 2 2 + 1 ) 2 2 m 2 ( x 2 2 m 1 + 1 ) 2 ( x 4 m 2 + 1 ) 2 ( mod 4 ) .
By Lemma 2, we then see that
( x 3 + x 2 + x + 1 ) 4 m + 1 1 3 ( x 3 + x 2 + x + 1 ) 4 m 1 3 + 4 m ( x + 1 ) ( x 2 1 ) ( x 4 + 1 ) ( x 2 2 m 2 + 1 ) ( x 2 2 m 1 1 ) ( x 2 + 1 ) 4 m ( x + 1 ) 4 m ( x + 1 ) ( x 2 1 ) ( x 4 + 1 ) ( x 2 2 m 2 + 1 ) ( x 4 m 2 1 ) ( x 4 m + 1 ) 2 ( x 4 m 2 + 1 ) 2 ( x + 1 ) ( x 2 1 ) ( x 4 + 1 ) ( x 2 2 m 2 + 1 ) ( x 2 2 m 1 + 1 ) ( x 2 2 m + 1 ) ( x 2 · 4 m 1 ) ( x + 1 ) ( x 2 1 ) ( x 4 + 1 ) ( x 2 2 m + 1 ) ( x 2 2 m + 1 1 ) ( mod 4 ) ,
i.e., the congruence relation ( ) also holds for m + 1 as desired. This proves Theorem 3.

Author Contributions

Conceptualization, A.Y.; Investigation, A.Y. and K.T.; Writing—original draft, A.Y. All authors have read and agreed to the published version of the manuscript.

Acknowledgments

The first author is very grateful to the second author, who is one of his students at Soka University, for giving some interesting talks regarding his calculations of the k-Pascal’s triangles with some specified composite numbers k in seminars held in 2019 at Soka University.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Matsuda, O.; Tsuyama Math Club in National Institute of Technology, Tsuyama College. 11 kara Hajimaru sūgaku—k-Pasukaru Sankakkei, k-Fibonatchi Sūretsu, chōōgonsū; [Mathematics that begins with 11—k-Pascal’s Triangles, k-Fibonacci Sequences and the Super Golden Numbers]; Tokyo Tosho Co. Ltd.: Tokyo, Japan, 2008. (In Japanese) [Google Scholar]
  2. Yamagami, A.; Harada, H. On a generalization of a Lucas’ result on the Pascal triangle and Mersenne numbers. JP J. Algebra Number Theory Appl. 2019, 42, 159–169. [Google Scholar] [CrossRef]
  3. Lucas, É. Théorie des Nombres; Gauthier-Villars et Fils; Libraires, du Bureau des Longitudes, de l’École Polytechnique, Quai des Grands-Augustins: Paris, France, 1891; Volume 55. [Google Scholar]

Share and Cite

MDPI and ACS Style

Yamagami, A.; Taniguchi, K. On a Generalization of a Lucas’ Result and an Application to the 4-Pascal’s Triangle. Symmetry 2020, 12, 288. https://doi.org/10.3390/sym12020288

AMA Style

Yamagami A, Taniguchi K. On a Generalization of a Lucas’ Result and an Application to the 4-Pascal’s Triangle. Symmetry. 2020; 12(2):288. https://doi.org/10.3390/sym12020288

Chicago/Turabian Style

Yamagami, Atsushi, and Kazuki Taniguchi. 2020. "On a Generalization of a Lucas’ Result and an Application to the 4-Pascal’s Triangle" Symmetry 12, no. 2: 288. https://doi.org/10.3390/sym12020288

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