arxiv: v9 [math.nt] 8 Jun 2010

Transcription

1 Int. J. Number Theory, in ress. ON SOME NEW CONGRUENCES FOR BINOMIAL COEFFICIENTS rxiv: v9 [mth.nt] 8 Jun 200 Zhi-Wei Sun Roberto Turso 2 Dertment of Mthemtics, Nning University Nning 2009, Peole s Reublic of Chin zwsun@nu.edu.cn htt://mth.nu.edu.cn/ zwsun 2 Dirtimento di Mtemtic Università di Rom Tor Vergt Rom 00, Itly turso@mt.unirom2.it htt:// turso Abstrct. In this er we estblish some new congruences involving centrl binomil coefficients s well s Ctln numbers. Let be rime let be ny ositive integer. We determine 2 +d mod 2 for d 0,..., C n 2 +δ mod for δ 0,. We lso show tht C n+ n+ mod 2 for every n 0,,2,..., where C m is the Ctln number 2m m /m+, is the Legendre symbol.. Introduction For n N {0,,2,...}, the nth Ctln number is given by C n n+ 2n n 2n 2n. n n+ Key words hrses. Binomil coefficients, Ctln numbers, congruences. 200 Mthemtics Subect Clssifiction. Primry B65; Secondry 05A0, A07. The initil drft of this er ws written in 2007 osted s rxiv: The first uthor is the corresonding uthor, he is suorted by the Ntionl Nturl Science Foundtion grnt the Overses Cooertion Fund grnt of Chin.

2 2 ZHI-WEI SUN AND ROBERTO TAURASO Here is n lternte definition: C 0 C n+ n C C n n 0,,2,... The Ctln numbers ly imortnt roles in combintorics; they rise nturlly in mny enumertion roblems see, e.g., [St, ]. For exmle, C n is the number of binry renthesiztions of string of n+ letters, itislsothenumber ofwystotringulteconvexn+2-gon into n tringles by n digonls tht do not intersect in their interiors. In 2006 H. Pn Z. W. Sun [PS] emloyed useful identity to deduce mny congruences on Ctln numbers, in rticulr they determined the rtil sum C modulo rime in terms of the Legendre symbol. Forny Z, {0,±}stisfiesthecongruence mod. In this er we estblish some further congruences involving Ctln numbers relted centrl binomil coefficients. For n ssertion A, we dot Iverson s nottion: { if A holds, [A] 0 otherwise. For d N we set S d 0<<d d..0 Note tht S 0 S 0, S 2, S 2, S 4 5 6, S 5 5 2, S Here is our first theorem. Theorem.. Let be rime, let d {0,..., } with Z + {,2,,...}. Set Fd 2 2 +d + S d [ ] d d.. Then Fd [ 2 & +d] mod 2.2 F d Fd mod..

3 CENTRAL BINOMIAL COEFFICIENTS AND CATALAN NUMBERS Remr.. Let be ny rime, let Z + δ {0,}.. in the cse d δ yields the congruence 2 2 +δ δ 2δ[ ]+ δ mod..4 Corollry.. Let be ny rime let Z +. For d {0,,..., }, we hve 2 +d d [ ] d +2 S d mod 2..5 Also, C 2 mod 2.6 C [ ] 2 mod 2..7 Proof..5 holds since 2Fd 0 mod 2. As C C 2 +,.6.7 follow from.5 with d 0,. Remr.2. Let be rime let Z +. For d 0,,...,,.5 imlies tht 2 d mod, +d which ws roved by Pn Sun [PS, Theorem.2] in the cse vi sohisticted combintoril identity..5 in the cse d 0, yields tht mod 2.8 [ ] mod 2..9

4 4 ZHI-WEI SUN AND ROBERTO TAURASO.8 in the cse imlies the following observtion of A. Admchu [A] who told the second uthor tht he could not find roof: If > then mod 2. Recll the Wolstenholme congruence mod for > see, e.g., [HT]. Recently,.8 in the cse 2 ws osed by D. Clln s roblem in [C]; in fct,.8 in the cse {2,,4} ws lso observed by A. Admchu [A] slightly erlier who could not rovide roof. Now we stte our second theorem. Theorem.2. Let be rime. Let d {0,,..., } with Z +, let m,n N with m n. Then n+ m n m+2 d d n+ m n n+ +d d m n 2 +m+n+2 S d [ ] n+m+n+ +[ 2 & d ]mn+ mod 2. In rticulr, C n 2 n+2 n n+ +d d n+ n+n+2s d [ ]n+ d d mod Corollry.2. Let be rime let,n N with > 0. Then C n+ n+ mod 2.2 C n C n C n+ +[ ]n+ n+ n+n+ mod 2.. Remr.. Note tht.2. re extensions of in the cse suggest the following oen roblem.

5 CENTRAL BINOMIAL COEFFICIENTS AND CATALAN NUMBERS 5 Problem.. Are there ny comosite numbers n 0 mod such tht n 2 n mod n 2? Are there ny comosite numbers n 0 mod stisfying n n C mod n 2? Remr.4. It seems tht the nswers to Problem. re negtive. We hve confirmed this for n 0 4 vi Mle. We re going to do some rertions in the next section. We will show Theorem. in Sections, rove Theorem.2 Corollry.2 in Section Some lemms As usul, for rime n integer m, we define ord m su{ N : m} thus ord 0 +. A congruence modulo + refers to the corresonding equlity. Lemm 2.. Let be ny rime, let Z + m,n N with m n. Then / m m +[ 2]nm n mod 2+ordn. 2. n n Proof. 2. holds trivilly when n is 0 or m. Below we ssume 0 < n < m. Observe tht m n n m n n m i n i 0 Thus m n m +m n n i0 0 < n n +m n q0 0 < n n +m n + m n. n 0<i< n i q + +m nn +[ 2]m nn mod 2+ord m n i

6 6 ZHI-WEI SUN AND ROBERTO TAURASO since mod 2 Similrly, / m m n n mod 2. m / m m n m n +[ 2]nm n mod 2+ord n. We re done. Remr 2.. By dee result of Jcobsthl see, e.g., [Gr], if > is rime m n 0 re integers, then m n m n + mnm nv for some -dic integer v. However, the roof of Jcobsthl s result is comlicted not esily found in modern literture. Lemm 2.2. Let be rime let Z +. Then Proof. Clerly for ll N. Thus 2 hence [ 2]+ 2 [ ] mod

7 CENTRAL BINOMIAL COEFFICIENTS AND CATALAN NUMBERS 7 By Lemm 2., 2 i /2 i 2 i +[ 2] 2i mod i+ for i 2,,.... /2 i So we hve [ 2]+ 2 [ ] mod 2 2 by lying the well-nown Wolstenholme congruence in the lst ste. Clerly 2.2 follows from the bove. Lemm 2.. Let n > d be integers. Then n n d+ d n + n [ n]. 2. Proof. Let ω denote the cubic root + /2 of unity. As observed by E. Lehmer [L] in 98, for ny r Z we hve n n n +ω r +ω 2 r rmod It follows tht n n d+ + n n d+ 2 n +ω r +ω n +ω 2r +ω 2 n 2 n +ω r ω 2 n +ω r ω n 2 n + n ω n+r +ω n r { 2 n +2 n if n+r, 2 n n if n+r. d + d+n dmod n 2 dmod n 2n + n [ n+ d] 2n + n [ n+2 d] d n n [ n+ d] [ n+2 d] n. Since d n d d+n + + [ n] we finlly obtin the desired 2.. d, Remr 2.2. The evlution of rmod 2 n with n N r Z, cn be found in [Su].

8 8 ZHI-WEI SUN AND ROBERTO TAURASO Lemm 2.4. Let be rime let Z +. Then [ 2]+ 2 [ ] mod. 2.4 Proof. By Lehmer s result mentioned in the roof of Lemm 2., +[ ]+ 0<< mod 2 + [ + ] 2 [ ]. Therefore [ ] 6[ ]+2[ 2]. For,...,, since / 0 mod 0<< 0<< mod 2, we hve + + 0<< mod. If, then / 0 mod 2. Note lso tht mod 2. Thus [ ] 0<< [ ] [ ] [ & ] 0<< 0<< 0<< mod.

9 CENTRAL BINOMIAL COEFFICIENTS AND CATALAN NUMBERS 9 Combining the bove, [ ] mod does not deend on. So it suffices to rove 2.4 for. When {2,}, 2.4 cn be verified directly. Below we ssume >. With the hel of Wolstenholme s result / 0 mod 2 cf. [Gr] or [HT], we see tht /2 / + /6 6 Recll the following congruences of E. Lehmer [L2]: 6 mod 2. / /6 /2 2q 2+q 2 2 mod 2, q 2 4 q2 mod 2, 6 q 2 + q 4 6 q2 2 8 q2 mod 2, where q 2 2 / q / re Fermt quotients. Consequently, [ ] 0 mod 2 hence 2.4 holds for. In view of the bove, we hve comleted the roof.. Proof of Theorem. In this section we rove Theorem. on the bsis of Section 2.

10 0 ZHI-WEI SUN AND ROBERTO TAURASO Lemm.. Let be rime let d {,..., } with Z +. For the function F given by. we hve Fd +Fd+Fd+ 2 d + d mod d d d 0 mod 2. Proof. Observe tht d +d +d d +d+ +d for every 0,,2,... Thus Note lso tht Therefore 2 +d d +d d +d +d ε 0<<d+ε 0<<d + d d d. d d+ +d 0 2. d d d+ε d d d+ + + d+ d Fd +Fd+Fd+ 2 d+ d d 2 d d d d+ + d [ ] + + d 2 + d d d d.

11 CENTRAL BINOMIAL COEFFICIENTS AND CATALAN NUMBERS Clerly d 2 d 2 2 r 0<r< d 2 d d So, by the bove we hve 0<r< d 0<r< d 2 r mod 2. r Fd +Fd+Fd+ d + d d d d d d 0 mod 2 Fd +Fd+Fd+ 2 d d d d + d 2 d + d d d mod. d This concludes the roof. Proof of Theorem.. i For,...,, clerly mod 2. 0<< Thus, with the hel of Lemm 2., for d {, } we hve Fd d [ ] d d d [ ] + [ d ] [ ] d+ [ 2] [ 2 & d+2 ] mod 2. d

12 2 ZHI-WEI SUN AND ROBERTO TAURASO This roves.2 for d,. Assume tht 0 < d <. If Fd [ 2 & +d] mod 2 Fd+ [ 2 & +d+] mod 2, then by Lemm. we hve Fd Fd Fd+ [ 2][ +d]+[ +d+] [ 2]2 [ +d ] [ 2 & +d ] mod 2. By induction. we obtin from the bove tht.2 holds for ny d,,...,0. ii By Lemm 2.2, F0+2F [ 2]+ 2 [ ] [ ] + 2[ ] [ 2]+ 2 2 [ ] mod. With the hel of Lemm 2.4, F +2F +2 [ ] +2 [ ]+2[ ] [ 2]+ 2 [ ] +2[ ] [ 2]+ 2 2 [ ] mod.

13 Therefore CENTRAL BINOMIAL COEFFICIENTS AND CATALAN NUMBERS F0 F 2F F mod. When 2 d {,..., }, we clerly hve hence d d d d d d d d d mod. d 0 mod 2 Thus, whether 2 or not, by Lemm. we lwys hve Fd +Fd+Fd+ F d +F d+f d mod whenever d {,..., }. Set Di Fi F i for i 0,,...,. If 0 i then Di+Di++Di+2 0 Di++Di+2+Di+ mod hence Di + Di mod. If then D0 D D0 mod hence D0 0 mod. If mod then If 2 mod then D0 D D mod. D0 D D2 D0 D mod. As D0 + 2D 0 mod, we lwys hve Di 0 mod for i 0,. Therefore Di 0 mod for ll i 0,,2,...,. So. is vlid we re done. 4. Proofs of Theorem.2 Corollry.2 Proof of Theorem.2. In the cse m n 0,.0 reduces to.5. Below we ssume m > 0. By the Chu-Vermonde convolution identity cf. [GKP, 5.22], m+2 m 2 n+ +d n + +d Z

14 4 ZHI-WEI SUN AND ROBERTO TAURASO for ny N. Thus we hve >0 + where m+2 n+ +d m n m n m n+ R d m n 2 + +d << +d 0<<d 2 + +d 2 + d m n+ + > d +R d, m n++ m n+ m n+ 2 + d 2 +d d Note tht R d 0 if d {0,}. By Lemm 2., there re -dic integers u v such tht m n m +[ 2]m nn+ 2 m nu n 2 + d m m +[ 2]n+m n + 2 n+v n+ n+ m m n n n+ +[ 2]m nm n +2 m nv. Let {,..., }. When n m, we hve m m! n+ n! m n! 0 i< m n i n+ n+ m m n m n i n n+ n+i 0<i<

15 CENTRAL BINOMIAL COEFFICIENTS AND CATALAN NUMBERS 5 hence m n+ m n m n m n m n 0<i< i i mod 2 since n+ n n+ 0 mod 2 m n i n+i i n+i i i mod for 0 < i <. Similrly, if n 0 then m n n m n m m n+ m m n m m n mod 2. Also, n+ m n m n++ m n m n++ m n+ m nm n mod 2+ord m n. Combining the bove, we find tht m n m n n+ m+2 +[ 2]nm n n+ +d 2 + d n+ m R d m nm n n 0<<d R d m n 2 +d 2 2 n +m n mod 2 + +d + d d 4. mod

16 6 ZHI-WEI SUN AND ROBERTO TAURASO By.5, 2 +d 2 + d d [ ] d [ ] Clerly S d is congruent to d 0<<d 0<< modulo 2. Observe tht both S d re congruent to 0<< d modulo 2. Also, d +2 S d mod 2, d +2 S d mod 2. 0<<d 2 + +d d d<< d d 4. d d d d<< 0< d + [ d ] + d with the hel of Lemm 2.. Thus, 0< d 2 S d + +d d [ 2 & d+ ]+[ ] + S d mod 2. Note tht 0<<d 2 + d 2 + +d d < 2 + d 4.4

17 CENTRAL BINOMIAL COEFFICIENTS AND CATALAN NUMBERS 7 is congruent to 0<<d d+ + d < +d d+ +d +d + 0<<d [ ] d d ++ [ ] 0<<d modulo 2 in light of.5 Lemm 2.. Therefore 2 + d S d +[ 2 & d ] [ ] d mod As 0<<d 0<<d d + d S d mod 2, 4.2 yields tht n+ m n R d m nm n S d mod Combining 4. with , we finlly obtin.0. Note tht. follows from.0 in the cse m 2n. This ends the roof. Proof of Corollry.2. By. in the cse d {0,}, we hve C C n+ 2 n+ 2 n+ n C n n+ n+ + n+ n+n+ [ ]n+ n+ mod 2.

18 8 ZHI-WEI SUN AND ROBERTO TAURASO This roves.2. On the other h,. in the cse d 0 yields C n n+ +C n+ n+ mod 2. So we hve C n Since C n+ n+ n+ C C n+ n n+ n+ n+ n+n+ n +n+ 2 + mod [ ],. follows t once. We re done. References [A] A. Admchu, Comments on OEIS A066796, On-Line Encycloedi of Integer Sequences, htt:// ns/sequences/a [C] D. Clln, Problem 292, Amer. Mth. Monthly , 45. [GKP] R. L. Grhm, D. E. Knuth O. Ptshni, Concrete Mthemtics, 2nd ed., Addison-Wesley, New Yor, 994. [Gr] A. Grnville, Arithmetic roerties of binomil coefficients. I. Binomil coefficients modulo rime owers, in: Orgnic Mthemtics Burndy, BC, 995, , CMS Conf. Proc., 20, Amer. Mth. Soc., Providence, RI, 997. [HT] C. Helou G. Ternin, On Wolstenholme s theorem its converse, J. Number Theory , [L] E. Lehmer, Solution to roblem E00 roosed by D. Finel in 97, Amer. Mth. Monthly 45 98, [L2] E. Lehmer, On congruences involving Bernoulli numbers the quotients of Fermt Wilson, Ann. of Mth. 9 98, [PS] H. Pn Z. W. Sun, A combintoril identity with liction to Ctln numbers, Discrete Mth , [St] R. P. Stnley, Enumertive Combintorics, Vol. 2, Cmbridge Univ. Press, Cmbridge, 999. [Su] Z. W. Sun, On the sum n rmod m relted congruences, Isrel J. Mth , 5 56.