arxiv: v1 [math.nt] 28 Apr 2014

Transcription

1 Proof of a supercogruece cojectured by Z.-H. Su Victor J. W. Guo Departmet of Mathematics, Shaghai Key Laboratory of PMMP, East Chia Normal Uiversity, 500 Dogchua Rd., Shaghai 0041, People s Republic of Chia jwguo@math.ecu.edu.c, arxiv: v1 [math.nt] 8 Apr 014 Abstract. The Frael umbers are defied by f ( 3. Motivated by the recet wor of Z.-W. Su o Frael umbers, we prove that ( (3 +1( ( 16 ( f 0 (mod, ( f p( 1 (mod p 3. where > 1 ad p is a odd prime. The secod cogruece modulo p cofirms a recet cojecture of Z.-H. Su. We also show that, if p is a prime of the form 4 +3, the ( f 0 (mod p, ( 16 which cofirms a special case of aother cojecture of Z.-H. Su. Keywords: Frael umbers, biomial coefficiets, multiomial coefficiets, cogrueces AMS Subject Classificatios: 11A07, 11B65, 05A10, 05A19 1 Itroductio The umbers f, defied by f ( 3, were first studied by Frael [3, 4], who obtaied the followig recurrece relatio: (+1 f +1 (7 +7+f +8 f 1, 1,,... MacMaho [8, p. 1] gave the followig idetity related to Frael umbers: ( 3 ( ( ( + 3 x x (1+x (

2 (see also Foata [] or Riorda [11, p. 41]. Strehl [1] gave aother expressio for Frael umbers: ( ( f. Jarvis ad Verrill [6] obtaied the followig cogruece: f ( 8 f (mod p, where p is a prime ad 0 p 1. Recetly, Z.-W. Su [17,18] proved may iterestig cogrueces ivolvig Frael umbers. O the other had, durig his worig o cogrueces for Legedre polyomials [13 15], Z.-H. Su[16] proposed a lot of cojectures o supercogrueces cocerig Frael umbers, such as Cojecture 1.1. (see [16, Cojecture 4.3]Let p > 3 be a prime. The 3 +1 ( 16 ( f p( 1 (mod p. Cojecture 1.. [16, Cojecture 4.14]Let p be a odd prime. The 4x ( p (mod p, if p x +y 1 mod 1 with 6 y, f ( 16 p 4x (mod p, if p x +y 1 mod 1 with 6 x 3, 4 ( xy 3 xy (mod p, if p x +y 5 mod 1, 0 (mod p, if p 3 mod 4, where ( a 3 is the Legedre symbol. I this paper, we shall prove the followig results. Theorem 1.3. Let > 1 be a positive iteger. The ( ( (3 +1( 16 1 f 0 (mod. (1. Theorem 1.4. Let p be a odd prime. The ( 3 +1 f ( 16 p( 1 (mod p 3. (1.3 Theorem 1.5. Let p be a prime of the form The ( f 0 (mod p. (1.4 ( 16 It is obvious that the cogruece (1.3 modulo p cofirms Cojecture 1.1, while (1.4 is a special case of Cojecture 1..

3 Proof of Theorem 1.3 We eed the followig idetity due to Z.-W. Su [17, (.3]: f ( + 3 ( 3 ( ( 4, (.1 which ca be proved by the Zeilberger algorithm (see [7, 10]. Moreover, by iductio o, we ca easily prove that, for all 0, ( ( m m+ (3m+1( 16 m 1 m 3 m ( 4 m ( ( + ( ( (+1 I fact, whe, each side of (. equals 0. Suppose that (. is true for. The ( ( m m+ (3m+1( 16 m ( 4 m m 3 ( ( + (3+1 ( 4 3 ( ( m m+ + (3m+1( 16 m ( 4 m m 3 m ( ( ( ( + + ( ( 4 (3+1 ( ( +1 ( ( (+1( 1( (+1 m Namely, the idetity (. holds for +1. By (.1 ad (., we have (. ( m (3m+1( 16 m 1 f m m m0 ( m m ( ( ( m+ 3 (3m+1( 16 m 1 ( 4 m. m 3 m0 ( ( ( ( + 3 ( ( 4. (.3 3 8( +1 Note that, for ad 0 <, both ( ( (

4 ad ( ( 4 are itegers. From (.3 we deduce that 8 1 ( ( (3+1( 16 1 f ( + 3 ( 3 ( ( ( 4 8(+1 (.4 is a iteger. This proves (1.. 3 Proof of Theorem 1.4 It follows from (.4 that 1 ( ( 3 +1 f p ( p ( p+ 3 ( 3 ( p ( +1( 4. (3.1 Note that Babbage [1] proved the followig cogruece: ( 1 (mod p. (3. Moreover, we have ( p+ 3 ( 3 (p+! (!!(p! { ( 1 1p, if 1 <, ( 1 1p p+1, if < p (mod p, (3.3 ad, whe, ( p+ 3 ( 3 ( p +1 ( ( 16 (mod p, (3.4 where we have used Babbage s cogruece (3. ad Morley s cogruece [9]: ( ( 1 4 (mod p 3. Substitutig (3. (3.4 ito (3.1, ad observig that ( 0 (mod p for < < p, we obtai p ( 16 ( f p4 1 p +( p ( p 4 p 3 ( p 3 1 ( p p / ( +14 p ( +14 (mod p. (3.5

5 Sice we may rewrite (3.5 as ( 4 ( 1 ( 1 ( 3 +1 f p ( 16 ( p p 3 (mod p, (3.6 ( ( 1 p +1 Applyig the famous idetity ( 1 ( 1 x+! x(x+1 (x+ with x 1 ad, we may simplify (3.7 as 1 p 3+1 ( 16 ( f ( 4 ( 1 ( p ( 1 (mod p, ( p ( +8 1 p 4 1 p (mod p. By Fermat s little theorem, we have 1 0 (mod p ad so +8 1 p 4 1 p 1 ( 1 ( 1 p +4 1 p +8 1 p 0 (mod p. This completes the proof. 4 Proof of Theorem 1.5 We first give a biomial coefficiet idetity. Lemma 4.1. Let ad be oegative itegers with. The ( ( ( m+ ( 1 m ( 1. (4.1 m 3 m Proof. Cosider the geeratig fuctio of the left-had side of (4.1. By the biomial theorem, we have ( ( m+ ( m+ ( x ( 1 m ( 1 m x m 3 3 m m m m ( m+ ( 1 m x m 3 (1 x m+1 m ( x 1+ x 3 1 (1 x x+1 1 x x (1 x, 5

6 which is clearly the geeratig fuctio of the right-had side of (4.1. By (3.6 ad (.1, we have ( ( f ( 16 fm m 4 m m0 m0 ( m 4 m m ( m+ 3 ( 3 ( ( 4 m (mod p. (4. Exchagig the summatio order i the right-had side of (4., ad applyig (4.1 with, we obtai ( f ( 16 It is easy to see that ( ( 1 4 ( 3( ( 3 3 ( Thus, by (3.6 ad (4.4, we may rewrite (4.3 as ( f ( 16 ( ( ( 1 3 ( (mod p. (4.3 ( 1 (mod p. (4.4 ( 3( 3 (mod p. (4.5 If p is a prime of the form 4 + 3, the is odd, ad by the symmetry of biomial coefficiets, the right-had side of (4.5 equals 0. This completes the proof. 5 Cocludig remars ad ope problems Ispired by Cojectures 4. ad 4.3 i [16] ad Theorem 1.3 i this paper, we propose the followig two cojectures. Cojecture 5.1. Let > 1 be a positive iteger ad let (a,b,c {(9,4,5,(5,,16, (9,,50,(5,1,96,(6,1,30,(90,13,896,(10,11,10400}. The ( (a +bc 1 f 0 (mod Cojecture5.. Let > 1 be apositive itegerad let(a,b,c {(15,4, 49,(9,, 11, (99, 17, 400,(855, 109, 704,(585, 58, 4304}. The ( (a +bc 1 f 0 (mod 6 ( (..

7 We have verified Cojectures 5.1 ad 5. for up to 500 via Maple. We also mae the third cojecture o Frael umbers as follows. Cojecture 5.3. Let m, be positive itegers ad let a 1,...,a m be itegers. The m ( ( (3 +( 1 (m 1 ai 1 ai + f 0 (mod, (5.1 i1 m ( ( (9 +5( 1 (m 1 ai 1 ai + f 0 (mod. (5. i1 Note that, for ay prime p ad oegative iteger, there holds ( ( ai ai p+ j1 (a i p j(a i p+j j ( 1 (mod p. Therefore, by [17, Theorem 1.1], the cogrueces (5.1 ad (5. are true for ay prime. O the other had, the author [5] has proved that (3 +( 1 f 0 (mod, which was cojectured by Z.-W. Su (see [18, Cojecture 1.3]; ad for m 0 ad > 1, the cogruece (5. ca be further stregtheed as (9 +5( 1 f 0 (mod ( 1, which was also cojectured by Z.-W. Su (see Cojecture 5.3 i a previous versio of [18]: Acowledgmets. This wor was partially supported by the Fudametal Research Fuds for the Cetral Uiversities ad the Natioal Natural Sciece Foudatio of Chia (grat Refereces [1] C. Babbage, Demostratio of a theorem relatig to prime umbers, Ediburgh Philos. J. 1 (1819, [] D. Foata, Etude algébrique de certais problèmes d aalyse combiatoire et du calcul des probabilités, Publ. Ist. Statist. Uiv. Paris 14 (1965, [3] J. Frael, O a questio of Laisat, L itermédiaire des mathématicies 1 (1894, [4] J. Frael, O a questio of J. Frael, L itermédiaire des mathématicies (1895,

8 [5] V.J.W. Guo, Proof of two cojectures of Su o cogrueces for Frael umbers, Itegral Trasforms Spec. Fuct. 4 (013, [6] F. Jarvis ad H. A. Verrill, Supercogrueces for the Catala-Larcombe-Frech umbers, Ramauja J. (010, [7] W. Koepf, Hypergeometric Summatio, a Algorithmic Approach to Summatio ad Special Fuctio Idetities, Friedr. Vieweg & Soh, Brauschweig, [8] P. A. MacMacho, Combiatorial Aalysis, Vol. 1, Cambridge Uiversity Press, Lodo, [9] F. Morley, Note o the cogruece 4 ( 1 (!/(!, where +1 is a prime, A. Math. 9 (1894/95, [10] M. Petovše, H. S. Wilf, ad D. Zeilberger, A B, A K Peters, Ltd., Wellesley, MA, [11] J. Riorda, Combiatorial Idetities, J. Wiley, New Yor, [1] V. Strehl, Biomial sums ad idetities, Maple Techical Newsletter 10 (1993, [13] Z.-H. Su, Cogrueces cocerig Legedre polyomials, Proc. Amer. Math. Soc. 139 (011, [14] Z.-H. Su, Cogrueces cocerig Legedre polyomials II, J. Number Theory 133 (013, [15] Z.-H. Su, Cogrueces cocerig Legedre polyomials III, It. J. Number Theory 9 (013, [16] Z.-H. Su, Some cojectures o cogrueces, preprit, 013, arxiv: v5. [17] Z.-W. Su, Coectios betwee p x +3y ad Frael umbers, J. Number Theory 133 (013, [18] Z.-W. Su, Cogrueces for Frael umbers, Adv. Appl. Math. 51 (013,