Factors of alternating sums of products of binomial and q-binomial coefficients

Size: px
Start display at page:

Download "Factors of alternating sums of products of binomial and q-binomial coefficients"

Transcription

1 ACTA ARITHMETICA 1271 (2007 Factors of alteratig sums of products of biomial ad q-biomial coefficiets by Victor J W Guo (Shaghai Frédéric Jouhet (Lyo ad Jiag Zeg (Lyo 1 Itroductio I 1998 Cali [4 proved that for all positive itegers m ad ( 2 1 ( 2 m (11 ( 1 + is a iteger by arithmetical techiques For m 1 2 ad 3 by the biomial theorem Kummer s formula ad Dixo s formula it is easy to see that (11 is equal to 0 1 ad ( 3 respectively Recetly i the study of fiite forms of the Rogers Ramauja idetities [7 we stumbled across (11 for m 4 ad m 5 which gives ( ( ad j 0 ( 3 ( 2 + ( respectively Ideed de Bruij [3 has show that for m 4 there is o closed form for (11 by asymptotic techiques Our first objective is to give a q-aalogue of Cali s result which also implies that (11 is positive for m 2 I 2004 Zudili [14 proved that for all positive itegers j ad r ( 2 1 ( ( ( 2j ( j r (1 Z j j which was origially observed by Strehl [12 i 1994 I fact Zudili s motivatio was to solve the followig problem which was raised by Schmidt [11 i 1993 ad was apparetly ot related to Cali s result 2000 Mathematics Subject Classificatio: 05A10 05A30 11B65 [17

2 18 V J W Guo et al Problem 11 (Schmidt [11 For ay iteger r 2 defie a sequece of umbers {c (r } N idepedet of the parameter by ( r ( + r ( ( + c (r 0 Is it true that all the umbers c (r are itegers? At the ed of his paper Zudili [14 raised the problem of fidig ad solvig a q-aalogue of Problem 11 Our secod objective is to provide such a q-aalogue For ay iteger defie the q-shifted factorial (a by (a 0 1 ad { (1 a(1 aq (1 aq (a ((1 aq 1 (1 aq 2 (1 aq We will also use the compact otatios for m 1: (a 1 a m : (a 1 (a m (a 1 a m : lim (a 1 a m The q-biomial coefficiets are defied as [ : [ q (q (q (q Sice 1/(q 0 if < 0 we have [ 0 if > or < 0 The followig is our first geeralizatio of Cali s result Theorem 12 For m 3 ad all positive itegers 1 m 1 (13 ( 1 q (m 12+( m i + i+1 1 i1 i m m 2 λi 1 i+1 + q λ2 i i+2 i+1 λ i 1 where m+1 λ 0 1 ad the sum is over all sequeces λ (λ 1 λ m 2 of oegative itegers such that λ 0 λ 1 λ m 2 Cali [4 has give a partial q-aalogue of (11 by cosiderig the alteratig sum 0 ( 1 q j[ m I this respect besides (13 we shall also prove the followig divisibility result Theorem 13 For all positive itegers 1 m m+1 1 the alteratig sum m 1 S( 1 m ; j q : ( 1 q j2+( m i + i i1 i + is a polyomial i q with oegative itegral coefficiets for 0 j m 1 λ i1 λ i

3 Biomial ad q-biomial coefficiets 19 We shall give two proofs of Theorem 12 The first oe is based o a recurrece relatio formula for S( 1 m ; j q which also leads to a proof of Theorem 13 The secod oe follows directly from Adrews basic hypergeometric idetity betwee a sigle sum ad a multiple sum [1 Theorem 4: Theorem 14 (Adrews [1 For every iteger m 0 the followig idetity holds: (a q a q a b 1 c 1 b m c m q N (14 (q a a aq/b 1 aq/c 1 aq/b m aq/c m aq N+1 0 ( a m q m+n b 1 c 1 b m c m (aq aq/b mc m N (aq/b 1 c 1 l1 (aq/b m 1 c m 1 lm 1 (aq/b m aq/c m N (q l1 (q lm 1 l 1 l m 1 0 (b 2 c 2 l1 (b m c m l1 + +l m 1 (aq/b 1 aq/c 1 l1 (aq/b m 1 aq/c m 1 l1 + +l m 1 (q N l1 + +l m 1 (b m c m q N /a l1 + +l m 1 (aq lm 2+ +(m l1 q l1+ +lm 1 (b 2 c 2 l 1 (bm 1 c m 1 l 1+ +l m 2 Note that there are two igrediets i Zudili s approach to Problem 11: oe is Theorem 14 with q 1 ad the other is the Legedre trasform Now a q-legedre trasform reads: (15 a 0 q ( 2 + b b 1 q2+1 ( 1 1 q a which is a special case of Carlitz s q-gould Hsu iverse formula [5 (see also [10 Usig (15 ad Theorem 14 i its full geerality we are able to formulate ad prove a q-aalogue of Problem 11 Theorem 15 For ay iteger r 1 defie ratioal fractios c (r (q of the variable q idepedet of by writig (16 q r( 2 +(1 r( r + r 0 q ( 2 +(1 r( + c (r (q The c (r (q N[q 0 Remar Sice the r 1 case is trivial we suppose that r 2 i what follows

4 20 V J W Guo et al As [ that [ + [ 2 [ + ivoig (15 we derive immediately from (16 2 2j r q (1 r( c (r (q t (r j j (q j j0 where t (r j (q qr(j+1 2 [ 1 q2+1 2 ( 1 1 q ++1 [ + j j r q ( rj Therefore Theorem 15 is a cosequece of the followig theorem which is our q-aalogue of Zudili s result (1 Theorem 16 For ay iteger r 2 2j 2 1 q (r 1( t (r j (q N[q j As will be show Theorem 16 follows directly from Adrews idetity (14 This paper is orgaized as follows We prove Theorems 12 ad 13 i the ext sectio The proof of Theorem 16 is give i Sectio 3 Some iterestig divisibility results are give i Sectio 4 I the last sectio we preset four related cojectures 2 Proof of Theorems 12 ad 13 We will eed two ow idetities i q-series Oe is the q-pfaff Saalschütz idetity [6 Appedix (II1 (see also [8 13: ( r0 q 2 +2r (q r (q r (q r+2 (q 1 r(q 2 r(q 3 r where 1/(q 0 if < 0 ad the other is the q-dixo idetity: 1 (2 ( 1 q (32 / A short proof of (2 is give i [9 We first establish the followig recurrece formula (q (q 1 (q 2 (q 3

5 Biomial ad q-biomial coefficiets 21 Lemma 21 Let m 3 The for all positive itegers 1 m ad ay iteger j the followig recurrece holds: (23 S( 1 m ; j q q l2 3 S(l 3 m ; j 1 q l 2 l l0 Proof For ay iteger ad positive itegers a 1 a l let l ai + a i+1 C(a 1 a l ; a i + where a l+1 a 1 The (24 S( 1 m ; j q (q 1 (q m ( 1 q j2+( C(1 m ; (q 1 + m 1 We observe that for m 3 we have C( 1 m ; (q (q m + 1 (q (q m + 3 ad by lettig 3 i (21 [ [ r0 i1 1 [ C( 3 m ; 2 + q r2 +2r (q (q r (q r+2 (q 1 r(q 2 r Pluggig these ito (24 we ca write its right-had side as 1 R: 1 1 r0 ( 1 C( 3 m ; q(r+2 +(j 1 2 +( (q2 + 3 (q 1 (q m (q r (q r+2 (q 1 r(q 2 r(q m + 3 Settig l r + we see that 1 l 1 but if l < 0 at least oe of the idices l + ad l is egative for ay iteger which implies that 1/(q l (q l+ 0 by covetio Therefore exchagig the order of summatio we have R 1 l0 q l2 (q (q 1 (q m (q 1 l(q 2 l(q m + 3 l +( ( 1 C( 3 m ; q(j 12 (q l (q l+ l Now i the last sum maig the substitutio C( 3 m ; (q l (q l+ (q m + 3 (q 3 +l(q m +l we obtai the right-had side of (23 (25 C(l 3 m ; First proof of Theorem 12 Lettig 3 i (2 yields S( 1 2 ; 1 q 1 Theorem 12 the follows by iteratig m 2 times formula (23

6 22 V J W Guo et al Secod proof of Theorem 12 Sice M M (q ( 1 q (M N ( M+N N + N (q N+1 by collectig the terms of idex ad the left-had side of (13 ca be writte as m i + i+1 1 L : + (1 + q ( 1 q (m 12 +( m i + i+1 i i + i1 1 i1 m { i + i (1+q ( 1 (m 1 q (m 1(+1 2 m } q i (q i+1 i (q i+1 i1 1 Lettig c 1 c m c ad a 1 i Adrews formula (14 we get ( q 1(1 (b 1 b m q N ( q (q/b 1 q/b m q N+1 ( 1 m m+n q m( b 1 b m (q N (q/b m N i1 l 1 l m 1 0 m 1 ( (b i+1 l1 + +l i 1 (q/b i l1 + +l i Now shiftig m to m 1 i (26 settig i1 (q N i1 (q l1 (q lm 1 (q N l1 l m 1 b i+1 l1 + +l i q (l 1 + +l i 2 +(m il i N m b i q i for i 1 m 1 ad λ i l l i for i 1 m 2 oe sees that L equals m i + i+1 (q 2 m 2 m (q i+1 λi ( 1 λ i q (λ i i+1 λ i i (q 1+ m 1 m (q 1+ i λi (q λi λ i 1 0 λ 1 λ m 2 i1 1 + m 1 0 λ 1 λ m 2 m 2 i1 q λ2 i [ λi+1 λ i [ i + i+1 i + λ i where λ 0 0 ad λ m 1 m The last idetity is clearly equivalet to that i Theorem 12 I order to prove Theorem 13 we shall eed the followig relatio: (27 S( 1 m ; 0 q S( 1 m ; m 1 q 1 q m 1 m As [ q [ q ( equatio (27 ca be verified by substitutig q by 1 q 1 ad the replacig by i the defiitio of S( 1 m ; m 1 q

7 Biomial ad q-biomial coefficiets 23 Proof of Theorem 13 We proceed by iductio o m 1 By the q- biomial theorem [6 Appedix (II3 we have 1 2 S( 1 ; 0 q ( 1 q ( I view of (25 it follows from (27 that S( 1 2 ; 0 q S( 1 2 ; 1 q 1 q 1 2 q 1 2 So the theorem is valid for m 2 Now suppose that the expressio S( 1 m 1 ; j q is a polyomial i q with oegative itegral coefficiets for some m 3 ad 0 j m 2 The by the recurrece formula (23 so is S( 1 m ; j q for 1 j m 1 It remais to show that S( 1 m ; 0 q has the required property Sice the q-biomial coefficiet [ is a polyomial i q of degree ( (see [2 p 33 it is easy to see from the defiitio that the degree of the polyomial S( 1 m ; m 1 q is less tha or equal to m 1 m It follows from (27 that S( 1 m ; 0 q is also a polyomial i q with oegative itegral coefficiets This completes the iductive step of the proof Remar Though it is ot ecessary to chec the m 3 case to validate our iductio argumet we thi it is coveiet to iclude here the formulas for m 3 First the q-dixo idetity (2 implies that S( ; 1 q From (23 ad (25 we derive 1 S( ; 2 q Fially applyig (27 we get l0 q l2 [ 1 l l S( ; 0 q S( ; 2 q 1 q l0 [ q ( 1 l( 2 l+ 3 l 1 l [ l 3 Proof of Theorem 16 We will distiguish the cases where r 2 is eve or odd ad treat separately the values r 2 ad r 3

8 24 V J W Guo et al For r 2 apply (14 specialized with m 1 a q (2+1 N j b 1 q ad c 1 q ( j The left-had side of (14 is the equal to [ + j 2j 2 q 2( j 2 +( t ( j (q Equatig this with the right-had side gives t ( j (q which shows that [ 2j j (q 2 (q 2 j (q (q 2j (q 2j (q 2 j [ 2 1q ( ( t (q N[q j q 2( j 2 ( For r 3 apply (14 specialized with m 1 a q (2+1 N j ad b 1 c 1 q ( j This yields i that case which shows that [ 2j j t (3 j (q (q 2 (q 3j (q 3 j [ 2 1q 2( (3 t (q N[q j q 3( j 2 2( For r 2s 4 apply (14 with m s 2 a q (2+1 N j b 1 q ad c 1 b i c i q ( j for all i {2 s} to get q (2s 1( 2s( j 2 t (2s j (q (q 2 (q j (q (q 2j (q j l 2 0 [ l s 1 0 [ 2j l 2 l 1 0 [ j l1 l 1 j l1 + j q (l j(s 1l 1 +(j+1 l 1 l 1 j l1 l 2 + j 2 q (l 2 +2j(s l 2 +(j+1 l 2 l 1 l 2 j [ 2j l s 1 l1 l s 1 + j 2 q (l s jl s 1+(j+1 l s 1 l 1 l s 1 j 2j l 1 l s 1 j q (l 1 + +l s 1 2 As the coditio l l s 1 j holds i the last summatio we ca see that for s 2 [ 2j 2 1q (2s 1( (2s j t j (q N[q For r 2s+1 5 apply (14 with m s 2 a q (2+1 N j ad b i c i q ( j for all i {1 s} to get

9 q 2s( (2s+1( j Biomial ad q-biomial coefficiets 25 2 (2s+1 t j (q (q 2 2j l1 + j 2 (q 2j (q 2 q (l 1 +2j(s 1l 1 +(j+1 l 1 j l 1 l 1 j l 2 0 [ l s 1 0 [ 2j l 2 l 1 0 l1 l 2 + j 2 q (l 2 +2j(s l 2 +(j+1 l 2 l 1 l 2 j [ 2j l s 1 l1 l s 1 + j 2 q (l s jl s 1+(j+1 l s 1 l 1 l s 1 j 2j l 1 l s 1 j j0 q (l 1 + +l s 1 2 As the coditio l l s 1 j holds i the last summatio we ca see that for s 2 [ 2j 2 1q 2s( (2s+1 j t j (q N[q Remar I the special case r 2 our proof gives the followig expressio for the coefficiets c ( (q: 2j 2 (31 c ( (q q 2( j 2 j These coefficiets are q-aalogues of the famous c ( (1 ivolved i Apéry s proof of the irratioality of ζ(3: (3 c ( (1 j0 ( 2j ( 2 j j0 ( 3 j As explaied i [12 whe q 1 oe ca derive the last expressio from (31 i a elemetary way (by two iteratios of the Chu Vadermode formula But our q-aalogue (31 does ot lead to a atural q-aalogue of (3 4 Cosequeces of Theorems 12 ad 13 Lettig q 1 i Theorem 12 we obtai a direct geeralizatio of Cali s result (11 Theorem 41 For m 3 ad all positive itegers 1 m 1 m ( (41 ( 1 i + i+1 i + 1 i1 ( 1 + m m 2 ( ( λi 1 i+1 + i+2 1 λ i i+1 λ i λ i1

10 26 V J W Guo et al where m+1 λ 0 1 ad the sum is over all sequeces λ (λ 1 λ m 2 of oegative itegers such that λ 0 λ 1 λ m 2 Remar For m 1 ad 2 it is easy to see that the left-had side of (41 is equal to 0 ad ( respectively Cali s result follows from (41 by settig i for all i 1 m Lettig 1 m i Theorem 13 we obtai a complete q-aalogue of Cali s result Corollary 42 For all positive m ad 0 j m ( 1 q j2 +( 2 m + is a polyomial i q with oegative itegral coefficiets Lettig 2i 1 m ad 2i for 1 i r i Theorem 13 we obtai Corollary 43 For all positive m r ad 0 j 2r 1 m + 1 m ( 1 q j2 +( m + r m + r m m + + m is a polyomial i q with oegative itegral coefficiets I particular m ( m + r ( m + r ( 1 m + + m is divisible by ( m+ m Lettig 3i 2 l 3i 1 m ad 3i for 1 i r i Theorem 13 we obtai Corollary 44 For all positive l m r ad 0 j 3r 1 l + 1 l ( 1 q j2 +( l + m r m + r + l r l + m + + l is a polyomial i q with oegative itegral coefficiets I particular l ( l + m r ( m + r ( + l r ( 1 l + m + + is divisible by ( l+m l l ( m+ m ad ( +l Lettig m 2r + s 1 3 2r ad all the other i be i Theorem 41 we get

11 Biomial ad q-biomial coefficiets 27 Corollary 45 For all positive r s ad ( r ( r ( 2 ( is divisible by both ( ( ad 2+1 ( ad is therefore divisible by (2+1 2 However the followig result is ot a special case of Theorem 41 Corollary 46 For all oegative r ad s ad positive t ad ( r ( s ( 2 t ( is divisible by ( 2 Proof We proceed by iductio o r s The r s case is clear from Corollary 45 Suppose the statemet is true for r s m 1 By Theorem 41 oe sees that ( m ( s ( s ( 2 t (4 ( ( m 1 ( s+1 ( s+1 ( 2 t 1 ( where m t 1 is divisible by ( ( By the biomial theorem we have ( m (( ( m ( m ( ( m i ( m i i i0 Substitutig (43 ito the left-had side of (4 ad usig the iductio hypothesis ad symmetry we fid that ( m+s ( s ( 2 t ( ( s ( m+s ( 2 t + ( s

12 28 V J W Guo et al is divisible by 2 ( 2 However replacig by oe sees that ( m+s ( s ( 2 t ( ( s ( m+s ( 2 t ( This proves that the statemet is true for r s m It is clear that Theorems 13 ad 41 ca be restated i the followig forms Theorem 47 For all positive itegers 1 m ad 0 j m 1 the alteratig sum m (q i + (q i ( 1 q j2+( m 2i (q i1 2i 1 i1 i + where m+1 0 is a polyomial i q with oegative itegral coefficiets Theorem 48 For all positive itegers 1 m we have m ( i + i+1! 1 m ( 1! ( 1 2i N (2 i! i + i1 1 i1 where m+1 0 It is easy to see that for all positive itegers m ad the expressio (2m!(!/(m +!m!! is a iteger by cosiderig the power of a prime dividig a factorial Lettig 1 r m ad r+1 r+s i Theorem 48 we obtai Corollary 49 For all positive m r ad s m ( 2m r ( 2 ( 1 m + + m is divisible by (2m!(!/(m +!m!! I particular we fid that ( 4 r ( 2 ( is divisible by ( 4 ad is divisible by (6!(!/(4!(3!! ( 6 r ( 2 ( s s s

13 Biomial ad q-biomial coefficiets 29 From Theorem 48 it is easy to see that m ( i + i+1! 1 m ( ri 1! ( 1 2i (2 i! i + i1 1 i1 where m+1 0 is a oegative iteger for all r 1 r m 1 For m 3 lettig ( be ( 3 (2 3 or (2 4 we obtai the followig two corollaries Corollary 410 For all positive r s t ad ( 6 r ( 4 s ( 2 ( is divisible by both ( ( 6 ad 6 3 Corollary 411 For all positive r s t ad ( 8 r ( 4 s ( 2 ( is divisible by ( Some ope problems Based o computer experimets we would lie to preset four iterestig cojectures The first two are refiemets of Corollaries 410 ad 411 respectively Cojecture 51 For all positive r s t ad ( 6 r ( 4 s ( 2 t ( is divisible by both 2 ( 6 ( ad Cojecture 52 For all positive r s t ad with (r s t (1 1 1 ( 8 r ( 4 s ( 2 t ( is divisible by 2 ( 8 3 Cojectures 51 ad 52 are true for r + s + t 10 ad 100 Let gcd(a 1 a 2 deote the greatest commo divisor of itegers a 1 a 2 Cojecture 53 For all positive m ad we have ( ( 2 r (51 gcd ( 1 r m m t t ( 2

14 30 V J W Guo et al Let d 2 be a fixed iteger Every oegative iteger ca be uiquely writte as i 0 a i d i where 0 a i d 1 for all i ad oly fiitely may umbers of b i are ozero deoted by [ a 1 a 0 d i which the first 0 s are omitted Let [a 1 a r 3 [b 1 b s 7 [c 1 c t 13 We ow defie three statistics α( β( ad γ( as follows: Let α( be the umber of discoected 2 s i the sequece a 1 a r Here two ozero digits a i ad a j are said to be discoected if there is at least oe 0 betwee a i ad a j Let β( be the umber of 1 s i b 1 b s which are ot immediately followed by a 4 5 or 6 Let γ( be the umber of 1 s i c 1 c t which are immediately followed by oe of 7 12 or immediately followed by a umber of 6 s ad the by oe of 7 12 For istace [ ad so α(185 2; [ ad so β(2480 1; [ ad so γ( The first such that α( 4 is [ ; the first such that β( 4 is [ ; while the first such that γ( 4 is [ We ed this paper with the followig cojecture Cojecture 54 For every positive iteger ( ( 2 3r gcd ( 1 r ( ( 2 3r+1 gcd ( 1 r ( ( 2 3r+2 gcd ( 1 r ( 2 3 α( ( 2 7 β( 13 γ( ( 2 Acowledgmets This wor was partially doe durig the first author s visit to Istitut Camille Jorda Uiversité Claude Berard (Lyo 1 ad was supported by a Frech postdoctoral fellowship We tha Christia Krattethaler for coveyig us his feelig that Theorem 12 should follow from Adrews formula [1 Theorem 4 We also tha Wadim Zudili for useful coversatios durig his visit i Lyo Fially the first author is grateful to Hog-Xig Dig for helpful commets o Cojecture 52

15 Biomial ad q-biomial coefficiets 31 Refereces [1 G E Adrews Problems ad prospects for basic hypergeometric fuctios i: Theory ad Applicatio of Special Fuctios R A Asey (ed Math Res Ceter Uiv of Wiscosi Publ No 35 Academic Press New Yor [2 The Theory of Partitios Cambridge Uiv Press Cambridge 1998 [3 N G de Bruij Asymptotic Methods i Aalysis Dover New Yor 1981 [4 N J Cali Factors of sums of powers of biomial coefficiets Acta Arith 86 ( [5 L Carlitz Some iverse relatios Due Math J 40 ( [6 G Gasper ad M Rahma Basic Hypergeometric Series 2d ed Ecyclopedia Math Appl 96 Cambridge Uiv Press Cambridge 2004 [7 V J W Guo F Jouhet ad J Zeg New fiite Rogers Ramauja idetities preprit 2006 arxiv: mathco/ [8 V J W Guo ad J Zeg A combiatorial proof of a symmetric q-pfaff Saalschütz idetity Electro J Combi 12 (2005 #N2 [9 A short proof of the q-dixo idetity Discrete Math 296 ( [10 C Krattethaler A ew matrix iverse Proc Amer Math Soc 124 ( [11 A L Schmidt Geeralized q-legedre polyomials J Comput Appl Math 49 ( [12 V Strehl Biomial idetities combiatorial ad algorithmical aspects Discrete Math 136 ( [13 D Zeilberger A q-foata proof of the q-saalschütz idetity Europea J Combi 8 ( [14 W Zudili O a combiatorial problem of Asmus Schmidt Electro J Combi 11 (2004 #R22 Departmet of Mathematics East Chia Normal Uiversity Shaghai People s Republic of Chia jwguo@mathecueduc jwguo Istitut Camille Jorda Uiversité Lyo 1 Bâtimet du Doye Jea Bracoier 43 blvd du 11 ovembre 1918 F Villeurbae Cedex Frace jouhet@mathuiv-lyo1fr jouhet zeg@mathuiv-lyo1fr zeg Received o (5110

Factors of sums and alternating sums involving binomial coefficients and powers of integers

Factors of sums and alternating sums involving binomial coefficients and powers of integers Factors of sums ad alteratig sums ivolvig biomial coefficiets ad powers of itegers Victor J. W. Guo 1 ad Jiag Zeg 2 1 Departmet of Mathematics East Chia Normal Uiversity Shaghai 200062 People s Republic

More information

arxiv: v1 [math.nt] 28 Apr 2014

arxiv: v1 [math.nt] 28 Apr 2014 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

More information

Bijective Proofs of Gould s and Rothe s Identities

Bijective Proofs of Gould s and Rothe s Identities ESI The Erwi Schrödiger Iteratioal Boltzmagasse 9 Istitute for Mathematical Physics A-1090 Wie, Austria Bijective Proofs of Gould s ad Rothe s Idetities Victor J. W. Guo Viea, Preprit ESI 2072 (2008 November

More information

Q-BINOMIALS AND THE GREATEST COMMON DIVISOR. Keith R. Slavin 8474 SW Chevy Place, Beaverton, Oregon 97008, USA.

Q-BINOMIALS AND THE GREATEST COMMON DIVISOR. Keith R. Slavin 8474 SW Chevy Place, Beaverton, Oregon 97008, USA. INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 2008, #A05 Q-BINOMIALS AND THE GREATEST COMMON DIVISOR Keith R. Slavi 8474 SW Chevy Place, Beaverto, Orego 97008, USA slavi@dsl-oly.et Received:

More information

A q-analogue of some binomial coefficient identities of Y. Sun

A q-analogue of some binomial coefficient identities of Y. Sun A -aalogue of some biomial coefficiet idetities of Y. Su arxiv:008.469v2 [math.co] 5 Apr 20 Victor J. W. Guo ad Da-Mei Yag 2 Departmet of Mathematics, East Chia Normal Uiversity Shaghai 200062, People

More information

FLOOR AND ROOF FUNCTION ANALOGS OF THE BELL NUMBERS. H. W. Gould Department of Mathematics, West Virginia University, Morgantown, WV 26506, USA

FLOOR AND ROOF FUNCTION ANALOGS OF THE BELL NUMBERS. H. W. Gould Department of Mathematics, West Virginia University, Morgantown, WV 26506, USA INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 7 (2007), #A58 FLOOR AND ROOF FUNCTION ANALOGS OF THE BELL NUMBERS H. W. Gould Departmet of Mathematics, West Virgiia Uiversity, Morgatow, WV

More information

The log-behavior of n p(n) and n p(n)/n

The log-behavior of n p(n) and n p(n)/n Ramauja J. 44 017, 81-99 The log-behavior of p ad p/ William Y.C. Che 1 ad Ke Y. Zheg 1 Ceter for Applied Mathematics Tiaji Uiversity Tiaji 0007, P. R. Chia Ceter for Combiatorics, LPMC Nakai Uivercity

More information

Proof of a conjecture of Amdeberhan and Moll on a divisibility property of binomial coefficients

Proof of a conjecture of Amdeberhan and Moll on a divisibility property of binomial coefficients Proof of a cojecture of Amdeberha ad Moll o a divisibility property of biomial coefficiets Qua-Hui Yag School of Mathematics ad Statistics Najig Uiversity of Iformatio Sciece ad Techology Najig, PR Chia

More information

A generalization of Morley s congruence

A generalization of Morley s congruence Liu et al. Advaces i Differece Euatios 05 05:54 DOI 0.86/s366-05-0568-6 R E S E A R C H Ope Access A geeralizatio of Morley s cogruece Jiaxi Liu,HaoPa ad Yog Zhag 3* * Correspodece: yogzhag98@63.com 3

More information

Applicable Analysis and Discrete Mathematics available online at ON JENSEN S AND RELATED COMBINATORIAL IDENTITIES

Applicable Analysis and Discrete Mathematics available online at   ON JENSEN S AND RELATED COMBINATORIAL IDENTITIES Applicable Aalysis ad Discrete Mathematics available olie at http://pefmathetfrs Appl Aal Discrete Math 5 2011, 201 211 doi:102298/aadm110717017g ON JENSEN S AND RELATED COMBINATORIAL IDENTITIES Victor

More information

A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS. Mircea Merca

A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS. Mircea Merca Idia J Pure Appl Math 45): 75-89 February 204 c Idia Natioal Sciece Academy A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS Mircea Merca Departmet of Mathematics Uiversity

More information

CSE 1400 Applied Discrete Mathematics Number Theory and Proofs

CSE 1400 Applied Discrete Mathematics Number Theory and Proofs CSE 1400 Applied Discrete Mathematics Number Theory ad Proofs Departmet of Computer Scieces College of Egieerig Florida Tech Sprig 01 Problems for Number Theory Backgroud Number theory is the brach of

More information

GENERALIZED HARMONIC NUMBER IDENTITIES AND A RELATED MATRIX REPRESENTATION

GENERALIZED HARMONIC NUMBER IDENTITIES AND A RELATED MATRIX REPRESENTATION J Korea Math Soc 44 (2007), No 2, pp 487 498 GENERALIZED HARMONIC NUMBER IDENTITIES AND A RELATED MATRIX REPRESENTATION Gi-Sag Cheo ad Moawwad E A El-Miawy Reprited from the Joural of the Korea Mathematical

More information

In number theory we will generally be working with integers, though occasionally fractions and irrationals will come into play.

In number theory we will generally be working with integers, though occasionally fractions and irrationals will come into play. Number Theory Math 5840 otes. Sectio 1: Axioms. I umber theory we will geerally be workig with itegers, though occasioally fractios ad irratioals will come ito play. Notatio: Z deotes the set of all itegers

More information

ANTI-LECTURE HALL COMPOSITIONS AND ANDREWS GENERALIZATION OF THE WATSON-WHIPPLE TRANSFORMATION

ANTI-LECTURE HALL COMPOSITIONS AND ANDREWS GENERALIZATION OF THE WATSON-WHIPPLE TRANSFORMATION ANTI-LECTURE HALL COMPOSITIONS AND ANDREWS GENERALIZATION OF THE WATSON-WHIPPLE TRANSFORMATION SYLVIE CORTEEL, JEREMY LOVEJOY AND CARLA SAVAGE Abstract. For fixed ad k, we fid a three-variable geeratig

More information

Fibonacci numbers and orthogonal polynomials

Fibonacci numbers and orthogonal polynomials Fiboacci umbers ad orthogoal polyomials Christia Berg April 10, 2006 Abstract We prove that the sequece (1/F +2 0 of reciprocals of the Fiboacci umbers is a momet sequece of a certai discrete probability,

More information

Harmonic Number Identities Via Euler s Transform

Harmonic Number Identities Via Euler s Transform 1 2 3 47 6 23 11 Joural of Iteger Sequeces, Vol. 12 2009), Article 09.6.1 Harmoic Number Idetities Via Euler s Trasform Khristo N. Boyadzhiev Departmet of Mathematics Ohio Norther Uiversity Ada, Ohio 45810

More information

ON MONOTONICITY OF SOME COMBINATORIAL SEQUENCES

ON MONOTONICITY OF SOME COMBINATORIAL SEQUENCES Publ. Math. Debrece 8504, o. 3-4, 85 95. ON MONOTONICITY OF SOME COMBINATORIAL SEQUENCES QING-HU HOU*, ZHI-WEI SUN** AND HAOMIN WEN Abstract. We cofirm Su s cojecture that F / F 4 is strictly decreasig

More information

Roger Apéry's proof that zeta(3) is irrational

Roger Apéry's proof that zeta(3) is irrational Cliff Bott cliffbott@hotmail.com 11 October 2011 Roger Apéry's proof that zeta(3) is irratioal Roger Apéry developed a method for searchig for cotiued fractio represetatios of umbers that have a form such

More information

arxiv: v1 [math.co] 6 Jun 2018

arxiv: v1 [math.co] 6 Jun 2018 Proofs of two cojectures o Catala triagle umbers Victor J. W. Guo ad Xiuguo Lia arxiv:1806.02685v1 [math.co 6 Ju 2018 School of Mathematical Scieces, Huaiyi Normal Uiversity, Huai a 223300, Jiagsu, People

More information

Sequences, Mathematical Induction, and Recursion. CSE 2353 Discrete Computational Structures Spring 2018

Sequences, Mathematical Induction, and Recursion. CSE 2353 Discrete Computational Structures Spring 2018 CSE 353 Discrete Computatioal Structures Sprig 08 Sequeces, Mathematical Iductio, ad Recursio (Chapter 5, Epp) Note: some course slides adopted from publisher-provided material Overview May mathematical

More information

Math 155 (Lecture 3)

Math 155 (Lecture 3) Math 55 (Lecture 3) September 8, I this lecture, we ll cosider the aswer to oe of the most basic coutig problems i combiatorics Questio How may ways are there to choose a -elemet subset of the set {,,,

More information

Sequences of Definite Integrals, Factorials and Double Factorials

Sequences of Definite Integrals, Factorials and Double Factorials 47 6 Joural of Iteger Sequeces, Vol. 8 (5), Article 5.4.6 Sequeces of Defiite Itegrals, Factorials ad Double Factorials Thierry Daa-Picard Departmet of Applied Mathematics Jerusalem College of Techology

More information

Series with Central Binomial Coefficients, Catalan Numbers, and Harmonic Numbers

Series with Central Binomial Coefficients, Catalan Numbers, and Harmonic Numbers 3 47 6 3 Joural of Iteger Sequeces, Vol. 5 (0), Article..7 Series with Cetral Biomial Coefficiets, Catala Numbers, ad Harmoic Numbers Khristo N. Boyadzhiev Departmet of Mathematics ad Statistics Ohio Norther

More information

62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +

62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + 62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of

More information

An analog of the arithmetic triangle obtained by replacing the products by the least common multiples

An analog of the arithmetic triangle obtained by replacing the products by the least common multiples arxiv:10021383v2 [mathnt] 9 Feb 2010 A aalog of the arithmetic triagle obtaied by replacig the products by the least commo multiples Bair FARHI bairfarhi@gmailcom MSC: 11A05 Keywords: Al-Karaji s triagle;

More information

DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS

DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS VERNER E. HOGGATT, JR. Sa Jose State Uiversity, Sa Jose, Califoria 95192 ad CALVIN T. LONG Washigto State Uiversity, Pullma, Washigto 99163

More information

arxiv: v1 [math.nt] 10 Dec 2014

arxiv: v1 [math.nt] 10 Dec 2014 A DIGITAL BINOMIAL THEOREM HIEU D. NGUYEN arxiv:42.38v [math.nt] 0 Dec 204 Abstract. We preset a triagle of coectios betwee the Sierpisi triagle, the sum-of-digits fuctio, ad the Biomial Theorem via a

More information

REGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS

REGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS REGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS LIVIU I. NICOLAESCU ABSTRACT. We ivestigate the geeralized covergece ad sums of series of the form P at P (x, where P R[x], a R,, ad T : R[x] R[x]

More information

De la Vallée Poussin Summability, the Combinatorial Sum 2n 1

De la Vallée Poussin Summability, the Combinatorial Sum 2n 1 J o u r a l of Mathematics ad Applicatios JMA No 40, pp 5-20 (2017 De la Vallée Poussi Summability, the Combiatorial Sum 1 ( 2 ad the de la Vallée Poussi Meas Expasio Ziad S. Ali Abstract: I this paper

More information

ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS

ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS NORBERT KAIBLINGER Abstract. Results of Lid o Lehmer s problem iclude the value of the Lehmer costat of the fiite cyclic group Z/Z, for 5 ad all odd. By complemetary

More information

Math 2784 (or 2794W) University of Connecticut

Math 2784 (or 2794W) University of Connecticut ORDERS OF GROWTH PAT SMITH Math 2784 (or 2794W) Uiversity of Coecticut Date: Mar. 2, 22. ORDERS OF GROWTH. Itroductio Gaiig a ituitive feel for the relative growth of fuctios is importat if you really

More information

Bertrand s Postulate

Bertrand s Postulate Bertrad s Postulate Lola Thompso Ross Program July 3, 2009 Lola Thompso (Ross Program Bertrad s Postulate July 3, 2009 1 / 33 Bertrad s Postulate I ve said it oce ad I ll say it agai: There s always a

More information

SOME TRIGONOMETRIC IDENTITIES RELATED TO POWERS OF COSINE AND SINE FUNCTIONS

SOME TRIGONOMETRIC IDENTITIES RELATED TO POWERS OF COSINE AND SINE FUNCTIONS Folia Mathematica Vol. 5, No., pp. 4 6 Acta Uiversitatis Lodziesis c 008 for Uiversity of Lódź Press SOME TRIGONOMETRIC IDENTITIES RELATED TO POWERS OF COSINE AND SINE FUNCTIONS ROMAN WITU LA, DAMIAN S

More information

An enumeration of flags in finite vector spaces

An enumeration of flags in finite vector spaces A eumeratio of flags i fiite vector spaces C Rya Viroot Departmet of Mathematics College of William ad Mary P O Box 8795 Williamsburg VA 23187 viroot@mathwmedu Submitted: Feb 2 2012; Accepted: Ju 27 2012;

More information

On a general q-identity

On a general q-identity O a geeral -idetity Aimi Xu Istitute of Mathematics Zheiag Wali Uiversity Nigbo 3500, Chia xuaimi009@hotmailcom; xuaimi@zwueduc Submitted: Dec 2, 203; Accepted: Apr 24, 204; Published: May 9, 204 Mathematics

More information

MATH 324 Summer 2006 Elementary Number Theory Solutions to Assignment 2 Due: Thursday July 27, 2006

MATH 324 Summer 2006 Elementary Number Theory Solutions to Assignment 2 Due: Thursday July 27, 2006 MATH 34 Summer 006 Elemetary Number Theory Solutios to Assigmet Due: Thursday July 7, 006 Departmet of Mathematical ad Statistical Scieces Uiversity of Alberta Questio [p 74 #6] Show that o iteger of the

More information

Some identities involving Fibonacci, Lucas polynomials and their applications

Some identities involving Fibonacci, Lucas polynomials and their applications Bull. Math. Soc. Sci. Math. Roumaie Tome 55103 No. 1, 2012, 95 103 Some idetities ivolvig Fiboacci, Lucas polyomials ad their applicatios by Wag Tigtig ad Zhag Wepeg Abstract The mai purpose of this paper

More information

Some p-adic congruences for p q -Catalan numbers

Some p-adic congruences for p q -Catalan numbers Some p-adic cogrueces for p q -Catala umbers Floria Luca Istituto de Matemáticas Uiversidad Nacioal Autóoma de México C.P. 58089, Morelia, Michoacá, México fluca@matmor.uam.mx Paul Thomas Youg Departmet

More information

SOME TRIBONACCI IDENTITIES

SOME TRIBONACCI IDENTITIES Mathematics Today Vol.7(Dec-011) 1-9 ISSN 0976-38 Abstract: SOME TRIBONACCI IDENTITIES Shah Devbhadra V. Sir P.T.Sarvajaik College of Sciece, Athwalies, Surat 395001. e-mail : drdvshah@yahoo.com The sequece

More information

CALCULATION OF FIBONACCI VECTORS

CALCULATION OF FIBONACCI VECTORS CALCULATION OF FIBONACCI VECTORS Stuart D. Aderso Departmet of Physics, Ithaca College 953 Daby Road, Ithaca NY 14850, USA email: saderso@ithaca.edu ad Dai Novak Departmet of Mathematics, Ithaca College

More information

Proc. Amer. Math. Soc. 139(2011), no. 5, BINOMIAL COEFFICIENTS AND THE RING OF p-adic INTEGERS

Proc. Amer. Math. Soc. 139(2011), no. 5, BINOMIAL COEFFICIENTS AND THE RING OF p-adic INTEGERS Proc. Amer. Math. Soc. 139(2011, o. 5, 1569 1577. BINOMIAL COEFFICIENTS AND THE RING OF p-adic INTEGERS Zhi-Wei Su* ad Wei Zhag Departmet of Mathematics, Naig Uiversity Naig 210093, People s Republic of

More information

MAT1026 Calculus II Basic Convergence Tests for Series

MAT1026 Calculus II Basic Convergence Tests for Series MAT026 Calculus II Basic Covergece Tests for Series Egi MERMUT 202.03.08 Dokuz Eylül Uiversity Faculty of Sciece Departmet of Mathematics İzmir/TURKEY Cotets Mootoe Covergece Theorem 2 2 Series of Real

More information

A CONTINUED FRACTION EXPANSION FOR A q-tangent FUNCTION

A CONTINUED FRACTION EXPANSION FOR A q-tangent FUNCTION Sémiaire Lotharigie de Combiatoire 45 001, Article B45b A CONTINUED FRACTION EXPANSION FOR A q-tangent FUNCTION MARKUS FULMEK Abstract. We prove a cotiued fractio expasio for a certai q taget fuctio that

More information

A Simplified Binet Formula for k-generalized Fibonacci Numbers

A Simplified Binet Formula for k-generalized Fibonacci Numbers A Simplified Biet Formula for k-geeralized Fiboacci Numbers Gregory P. B. Dresde Departmet of Mathematics Washigto ad Lee Uiversity Lexigto, VA 440 dresdeg@wlu.edu Zhaohui Du Shaghai, Chia zhao.hui.du@gmail.com

More information

Recurrence Relations

Recurrence Relations Recurrece Relatios Aalysis of recursive algorithms, such as: it factorial (it ) { if (==0) retur ; else retur ( * factorial(-)); } Let t be the umber of multiplicatios eeded to calculate factorial(). The

More information

k-generalized FIBONACCI NUMBERS CLOSE TO THE FORM 2 a + 3 b + 5 c 1. Introduction

k-generalized FIBONACCI NUMBERS CLOSE TO THE FORM 2 a + 3 b + 5 c 1. Introduction Acta Math. Uiv. Comeiaae Vol. LXXXVI, 2 (2017), pp. 279 286 279 k-generalized FIBONACCI NUMBERS CLOSE TO THE FORM 2 a + 3 b + 5 c N. IRMAK ad M. ALP Abstract. The k-geeralized Fiboacci sequece { F (k)

More information

Some Extensions of the Prabhu-Srivastava Theorem Involving the (p, q)-gamma Function

Some Extensions of the Prabhu-Srivastava Theorem Involving the (p, q)-gamma Function Filomat 31:14 2017), 4507 4513 https://doi.org/10.2298/fil1714507l Published by Faculty of Scieces ad Mathematics, Uiversity of Niš, Serbia Available at: http://www.pmf.i.ac.rs/filomat Some Extesios of

More information

A LIMITED ARITHMETIC ON SIMPLE CONTINUED FRACTIONS - II 1. INTRODUCTION

A LIMITED ARITHMETIC ON SIMPLE CONTINUED FRACTIONS - II 1. INTRODUCTION A LIMITED ARITHMETIC ON SIMPLE CONTINUED FRACTIONS - II C. T. LONG J. H. JORDAN* Washigto State Uiversity, Pullma, Washigto 1. INTRODUCTION I the first paper [2 ] i this series, we developed certai properties

More information

THE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS

THE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS THE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS DEMETRES CHRISTOFIDES Abstract. Cosider a ivertible matrix over some field. The Gauss-Jorda elimiatio reduces this matrix to the idetity

More information

EVALUATION OF SUMS INVOLVING PRODUCTS OF GAUSSIAN q-binomial COEFFICIENTS WITH APPLICATIONS

EVALUATION OF SUMS INVOLVING PRODUCTS OF GAUSSIAN q-binomial COEFFICIENTS WITH APPLICATIONS EALATION OF SMS INOLING PRODCTS OF GASSIAN -BINOMIAL COEFFICIENTS WITH APPLICATIONS EMRAH KILIÇ* AND HELMT PRODINGER** Abstract Sums of products of two Gaussia -biomial coefficiets are ivestigated oe of

More information

A Note on the Symmetric Powers of the Standard Representation of S n

A Note on the Symmetric Powers of the Standard Representation of S n A Note o the Symmetric Powers of the Stadard Represetatio of S David Savitt 1 Departmet of Mathematics, Harvard Uiversity Cambridge, MA 0138, USA dsavitt@mathharvardedu Richard P Staley Departmet of Mathematics,

More information

Super congruences concerning Bernoulli polynomials. Zhi-Hong Sun

Super congruences concerning Bernoulli polynomials. Zhi-Hong Sun It J Numer Theory 05, o8, 9-404 Super cogrueces cocerig Beroulli polyomials Zhi-Hog Su School of Mathematical Scieces Huaiyi Normal Uiversity Huaia, Jiagsu 00, PR Chia zhihogsu@yahoocom http://wwwhytceduc/xsjl/szh

More information

On Divisibility concerning Binomial Coefficients

On Divisibility concerning Binomial Coefficients A talk give at the Natioal Chiao Tug Uiversity (Hsichu, Taiwa; August 5, 2010 O Divisibility cocerig Biomial Coefficiets Zhi-Wei Su Najig Uiversity Najig 210093, P. R. Chia zwsu@ju.edu.c http://math.ju.edu.c/

More information

The log-concavity and log-convexity properties associated to hyperpell and hyperpell-lucas sequences

The log-concavity and log-convexity properties associated to hyperpell and hyperpell-lucas sequences Aales Mathematicae et Iformaticae 43 2014 pp. 3 12 http://ami.etf.hu The log-cocavity ad log-covexity properties associated to hyperpell ad hyperpell-lucas sequeces Moussa Ahmia ab, Hacèe Belbachir b,

More information

[ 11 ] z of degree 2 as both degree 2 each. The degree of a polynomial in n variables is the maximum of the degrees of its terms.

[ 11 ] z of degree 2 as both degree 2 each. The degree of a polynomial in n variables is the maximum of the degrees of its terms. [ 11 ] 1 1.1 Polyomial Fuctios 1 Algebra Ay fuctio f ( x) ax a1x... a1x a0 is a polyomial fuctio if ai ( i 0,1,,,..., ) is a costat which belogs to the set of real umbers ad the idices,, 1,...,1 are atural

More information

THE TRANSFORMATION MATRIX OF CHEBYSHEV IV BERNSTEIN POLYNOMIAL BASES

THE TRANSFORMATION MATRIX OF CHEBYSHEV IV BERNSTEIN POLYNOMIAL BASES Joural of Mathematical Aalysis ISSN: 17-341, URL: http://iliriascom/ma Volume 7 Issue 4(16, Pages 13-19 THE TRANSFORMATION MATRIX OF CHEBYSHEV IV BERNSTEIN POLYNOMIAL BASES ABEDALLAH RABABAH, AYMAN AL

More information

We are mainly going to be concerned with power series in x, such as. (x)} converges - that is, lims N n

We are mainly going to be concerned with power series in x, such as. (x)} converges - that is, lims N n Review of Power Series, Power Series Solutios A power series i x - a is a ifiite series of the form c (x a) =c +c (x a)+(x a) +... We also call this a power series cetered at a. Ex. (x+) is cetered at

More information

Week 5-6: The Binomial Coefficients

Week 5-6: The Binomial Coefficients Wee 5-6: The Biomial Coefficiets March 6, 2018 1 Pascal Formula Theorem 11 (Pascal s Formula For itegers ad such that 1, ( ( ( 1 1 + 1 The umbers ( 2 ( 1 2 ( 2 are triagle umbers, that is, The petago umbers

More information

1 6 = 1 6 = + Factorials and Euler s Gamma function

1 6 = 1 6 = + Factorials and Euler s Gamma function Royal Holloway Uiversity of Lodo Departmet of Physics Factorials ad Euler s Gamma fuctio Itroductio The is a self-cotaied part of the course dealig, essetially, with the factorial fuctio ad its geeralizatio

More information

q-lucas polynomials and associated Rogers-Ramanujan type identities

q-lucas polynomials and associated Rogers-Ramanujan type identities -Lucas polyomials associated Rogers-Ramauja type idetities Joha Cigler Faultät für Mathemati, Uiversität Wie johacigler@uivieacat Abstract We prove some properties of aalogues of the Fiboacci Lucas polyomials,

More information

Combinatorially Thinking

Combinatorially Thinking Combiatorially Thiig SIMUW 2008: July 4 25 Jeifer J Qui jjqui@uwashigtoedu Philosophy We wat to costruct our mathematical uderstadig To this ed, our goal is to situate our problems i cocrete coutig cotexts

More information

On Some Properties of Digital Roots

On Some Properties of Digital Roots Advaces i Pure Mathematics, 04, 4, 95-30 Published Olie Jue 04 i SciRes. http://www.scirp.org/joural/apm http://dx.doi.org/0.436/apm.04.46039 O Some Properties of Digital Roots Ilha M. Izmirli Departmet

More information

arxiv: v1 [math.nt] 5 Jan 2017 IBRAHIM M. ALABDULMOHSIN

arxiv: v1 [math.nt] 5 Jan 2017 IBRAHIM M. ALABDULMOHSIN FRACTIONAL PARTS AND THEIR RELATIONS TO THE VALUES OF THE RIEMANN ZETA FUNCTION arxiv:70.04883v [math.nt 5 Ja 07 IBRAHIM M. ALABDULMOHSIN Kig Abdullah Uiversity of Sciece ad Techology (KAUST, Computer,

More information

WHAT ARE THE BERNOULLI NUMBERS? 1. Introduction

WHAT ARE THE BERNOULLI NUMBERS? 1. Introduction WHAT ARE THE BERNOULLI NUMBERS? C. D. BUENGER Abstract. For the "What is?" semiar today we will be ivestigatig the Beroulli umbers. This surprisig sequece of umbers has may applicatios icludig summig powers

More information

TEACHER CERTIFICATION STUDY GUIDE

TEACHER CERTIFICATION STUDY GUIDE COMPETENCY 1. ALGEBRA SKILL 1.1 1.1a. ALGEBRAIC STRUCTURES Kow why the real ad complex umbers are each a field, ad that particular rigs are ot fields (e.g., itegers, polyomial rigs, matrix rigs) Algebra

More information

On Generalized Fibonacci Numbers

On Generalized Fibonacci Numbers Applied Mathematical Scieces, Vol. 9, 215, o. 73, 3611-3622 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/1.12988/ams.215.5299 O Geeralized Fiboacci Numbers Jerico B. Bacai ad Julius Fergy T. Rabago Departmet

More information

A symbolic approach to multiple zeta values at the negative integers

A symbolic approach to multiple zeta values at the negative integers A symbolic approach to multiple zeta values at the egative itegers Victor H. Moll a, Li Jiu a Christophe Vigat a,b a Departmet of Mathematics, Tulae Uiversity, New Orleas, USA Correspodig author b LSS/Supelec,

More information

Interesting Series Associated with Central Binomial Coefficients, Catalan Numbers and Harmonic Numbers

Interesting Series Associated with Central Binomial Coefficients, Catalan Numbers and Harmonic Numbers 3 47 6 3 Joural of Iteger Sequeces Vol. 9 06 Article 6.. Iterestig Series Associated with Cetral Biomial Coefficiets Catala Numbers ad Harmoic Numbers Hogwei Che Departmet of Mathematics Christopher Newport

More information

Some remarks for codes and lattices over imaginary quadratic

Some remarks for codes and lattices over imaginary quadratic Some remarks for codes ad lattices over imagiary quadratic fields Toy Shaska Oaklad Uiversity, Rochester, MI, USA. Caleb Shor Wester New Eglad Uiversity, Sprigfield, MA, USA. shaska@oaklad.edu Abstract

More information

Enumerative & Asymptotic Combinatorics

Enumerative & Asymptotic Combinatorics C50 Eumerative & Asymptotic Combiatorics Notes 4 Sprig 2003 Much of the eumerative combiatorics of sets ad fuctios ca be geeralised i a maer which, at first sight, seems a bit umotivated I this chapter,

More information

Journal of Ramanujan Mathematical Society, Vol. 24, No. 2 (2009)

Journal of Ramanujan Mathematical Society, Vol. 24, No. 2 (2009) Joural of Ramaua Mathematical Society, Vol. 4, No. (009) 199-09. IWASAWA λ-invariants AND Γ-TRANSFORMS Aupam Saikia 1 ad Rupam Barma Abstract. I this paper we study a relatio betwee the λ-ivariats of a

More information

Infinite Sequences and Series

Infinite Sequences and Series Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet

More information

Simple proofs of Bressoud s and Schur s polynomial versions of the. Rogers-Ramanujan identities. Johann Cigler

Simple proofs of Bressoud s and Schur s polynomial versions of the. Rogers-Ramanujan identities. Johann Cigler Simple proofs of Bressoud s ad Schur s polyomial versios of the Rogers-Ramaua idetities Joha Cigler Faultät für Mathemati Uiversität Wie A-090 Wie, Nordbergstraße 5 Joha Cigler@uivieacat Abstract We give

More information

If a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero?

If a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero? 2 Lebesgue Measure I Chapter 1 we defied the cocept of a set of measure zero, ad we have observed that every coutable set is of measure zero. Here are some atural questios: If a subset E of R cotais a

More information

Infinite Series and Improper Integrals

Infinite Series and Improper Integrals 8 Special Fuctios Ifiite Series ad Improper Itegrals Ifiite series are importat i almost all areas of mathematics ad egieerig I additio to umerous other uses, they are used to defie certai fuctios ad to

More information

Once we have a sequence of numbers, the next thing to do is to sum them up. Given a sequence (a n ) n=1

Once we have a sequence of numbers, the next thing to do is to sum them up. Given a sequence (a n ) n=1 . Ifiite Series Oce we have a sequece of umbers, the ext thig to do is to sum them up. Give a sequece a be a sequece: ca we give a sesible meaig to the followig expressio? a = a a a a While summig ifiitely

More information

Comparison Study of Series Approximation. and Convergence between Chebyshev. and Legendre Series

Comparison Study of Series Approximation. and Convergence between Chebyshev. and Legendre Series Applied Mathematical Scieces, Vol. 7, 03, o. 6, 3-337 HIKARI Ltd, www.m-hikari.com http://d.doi.org/0.988/ams.03.3430 Compariso Study of Series Approimatio ad Covergece betwee Chebyshev ad Legedre Series

More information

MATH 304: MIDTERM EXAM SOLUTIONS

MATH 304: MIDTERM EXAM SOLUTIONS MATH 304: MIDTERM EXAM SOLUTIONS [The problems are each worth five poits, except for problem 8, which is worth 8 poits. Thus there are 43 possible poits.] 1. Use the Euclidea algorithm to fid the greatest

More information

Determinants of order 2 and 3 were defined in Chapter 2 by the formulae (5.1)

Determinants of order 2 and 3 were defined in Chapter 2 by the formulae (5.1) 5. Determiats 5.. Itroductio 5.2. Motivatio for the Choice of Axioms for a Determiat Fuctios 5.3. A Set of Axioms for a Determiat Fuctio 5.4. The Determiat of a Diagoal Matrix 5.5. The Determiat of a Upper

More information

SOME NEW IDENTITIES INVOLVING π,

SOME NEW IDENTITIES INVOLVING π, SOME NEW IDENTITIES INVOLVING π, HENG HUAT CHAN π AND π. Itroductio The umber π, as we all ow, is defied to be the legth of a circle of diameter. The first few estimates of π were 3 Egypt aroud 9 B.C.,

More information

Problem 4: Evaluate ( k ) by negating (actually un-negating) its upper index. Binomial coefficient

Problem 4: Evaluate ( k ) by negating (actually un-negating) its upper index. Binomial coefficient Problem 4: Evaluate by egatig actually u-egatig its upper idex We ow that Biomial coefficiet r { where r is a real umber, is a iteger The above defiitio ca be recast i terms of factorials i the commo case

More information

BINOMIAL PREDICTORS. + 2 j 1. Then n + 1 = The row of the binomial coefficients { ( n

BINOMIAL PREDICTORS. + 2 j 1. Then n + 1 = The row of the binomial coefficients { ( n BINOMIAL PREDICTORS VLADIMIR SHEVELEV arxiv:0907.3302v2 [math.nt] 22 Jul 2009 Abstract. For oegative itegers, k, cosider the set A,k = { [0, 1,..., ] : 2 k ( ). Let the biary epasio of + 1 be: + 1 = 2

More information

Vienna, Austria α n (1 x 2 ) n (x)

Vienna, Austria  α n (1 x 2 ) n (x) ON TURÁN S INEQUALITY FOR LEGENDRE POLYNOMIALS HORST ALZER a, STEFAN GERHOLD b, MANUEL KAUERS c2, ALEXANDRU LUPAŞ d a Morsbacher Str. 0, 5545 Waldbröl, Germay alzerhorst@freeet.de b Christia Doppler Laboratory

More information

Sums Involving Moments of Reciprocals of Binomial Coefficients

Sums Involving Moments of Reciprocals of Binomial Coefficients 1 2 3 47 6 23 11 Joural of Iteger Sequeces, Vol. 14 (2011, Article 11.6.6 Sums Ivolvig Momets of Reciprocals of Biomial Coefficiets Hacèe Belbachir ad Mourad Rahmai Uiversity of Scieces ad Techology Houari

More information

Zeros of Polynomials

Zeros of Polynomials Math 160 www.timetodare.com 4.5 4.6 Zeros of Polyomials I these sectios we will study polyomials algebraically. Most of our work will be cocered with fidig the solutios of polyomial equatios of ay degree

More information

Subject: Differential Equations & Mathematical Modeling-III

Subject: Differential Equations & Mathematical Modeling-III Power Series Solutios of Differetial Equatios about Sigular poits Subject: Differetial Equatios & Mathematical Modelig-III Lesso: Power series solutios of differetial equatios about Sigular poits Lesso

More information

and each factor on the right is clearly greater than 1. which is a contradiction, so n must be prime.

and each factor on the right is clearly greater than 1. which is a contradiction, so n must be prime. MATH 324 Summer 200 Elemetary Number Theory Solutios to Assigmet 2 Due: Wedesday July 2, 200 Questio [p 74 #6] Show that o iteger of the form 3 + is a prime, other tha 2 = 3 + Solutio: If 3 + is a prime,

More information

Solutions to Math 347 Practice Problems for the final

Solutions to Math 347 Practice Problems for the final Solutios to Math 347 Practice Problems for the fial 1) True or False: a) There exist itegers x,y such that 50x + 76y = 6. True: the gcd of 50 ad 76 is, ad 6 is a multiple of. b) The ifiimum of a set is

More information

Solutions to Problem Set 8

Solutions to Problem Set 8 8.78 Solutios to Problem Set 8. We ow that ( ) ( + x) x. Now we plug i x, ω, ω ad add the three equatios. If 3 the we ll get a cotributio of + ω + ω + ω + ω 0, whereas if 3 we ll get a cotributio of +

More information

Mathematical Induction

Mathematical Induction Mathematical Iductio Itroductio Mathematical iductio, or just iductio, is a proof techique. Suppose that for every atural umber, P() is a statemet. We wish to show that all statemets P() are true. I a

More information

Legendre-Stirling Permutations

Legendre-Stirling Permutations Legedre-Stirlig Permutatios Eric S. Egge Departmet of Mathematics Carleto College Northfield, MN 07 USA eegge@carleto.edu Abstract We first give a combiatorial iterpretatio of Everitt, Littlejoh, ad Wellma

More information

-ORDER CONVERGENCE FOR FINDING SIMPLE ROOT OF A POLYNOMIAL EQUATION

-ORDER CONVERGENCE FOR FINDING SIMPLE ROOT OF A POLYNOMIAL EQUATION NEW NEWTON-TYPE METHOD WITH k -ORDER CONVERGENCE FOR FINDING SIMPLE ROOT OF A POLYNOMIAL EQUATION R. Thukral Padé Research Cetre, 39 Deaswood Hill, Leeds West Yorkshire, LS7 JS, ENGLAND ABSTRACT The objective

More information

Zhicheng Gao School of Mathematics and Statistics, Carleton University, Ottawa, Canada

Zhicheng Gao School of Mathematics and Statistics, Carleton University, Ottawa, Canada #A3 INTEGERS 4A (04) THE R TH SMALLEST PART SIZE OF A RANDOM INTEGER PARTITION Zhicheg Gao School of Mathematics ad Statistics, arleto Uiversity, Ottawa, aada zgao@math.carleto.ca orado Martiez Departamet

More information

Modern Algebra 1 Section 1 Assignment 1. Solution: We have to show that if you knock down any one domino, then it knocks down the one behind it.

Modern Algebra 1 Section 1 Assignment 1. Solution: We have to show that if you knock down any one domino, then it knocks down the one behind it. Moder Algebra 1 Sectio 1 Assigmet 1 JOHN PERRY Eercise 1 (pg 11 Warm-up c) Suppose we have a ifiite row of domioes, set up o ed What sort of iductio argumet would covice us that ocig dow the first domio

More information

MAT 271 Project: Partial Fractions for certain rational functions

MAT 271 Project: Partial Fractions for certain rational functions MAT 7 Project: Partial Fractios for certai ratioal fuctios Prerequisite kowledge: partial fractios from MAT 7, a very good commad of factorig ad complex umbers from Precalculus. To complete this project,

More information

Classroom. We investigate and further explore the problem of dividing x = n + m (m, n are coprime) sheep in

Classroom. We investigate and further explore the problem of dividing x = n + m (m, n are coprime) sheep in Classroom I this sectio of Resoace, we ivite readers to pose questios likely to be raised i a classroom situatio. We may suggest strategies for dealig with them, or ivite resposes, or both. Classroom is

More information

AMS Mathematics Subject Classification : 40A05, 40A99, 42A10. Key words and phrases : Harmonic series, Fourier series. 1.

AMS Mathematics Subject Classification : 40A05, 40A99, 42A10. Key words and phrases : Harmonic series, Fourier series. 1. J. Appl. Math. & Computig Vol. x 00y), No. z, pp. A RECURSION FOR ALERNAING HARMONIC SERIES ÁRPÁD BÉNYI Abstract. We preset a coveiet recursive formula for the sums of alteratig harmoic series of odd order.

More information

Seunghee Ye Ma 8: Week 5 Oct 28

Seunghee Ye Ma 8: Week 5 Oct 28 Week 5 Summary I Sectio, we go over the Mea Value Theorem ad its applicatios. I Sectio 2, we will recap what we have covered so far this term. Topics Page Mea Value Theorem. Applicatios of the Mea Value

More information

1. By using truth tables prove that, for all statements P and Q, the statement

1. By using truth tables prove that, for all statements P and Q, the statement Author: Satiago Salazar Problems I: Mathematical Statemets ad Proofs. By usig truth tables prove that, for all statemets P ad Q, the statemet P Q ad its cotrapositive ot Q (ot P) are equivalet. I example.2.3

More information