On the number of representations of n by ax 2 + by(y 1)/2, ax 2 + by(3y 1)/2 and ax(x 1)/2 + by(3y 1)/2
|
|
- Toby Pierce
- 5 years ago
- Views:
Transcription
1 ACTA ARITHMETICA On the number of representations of n by ax + byy 1/, ax + by3y 1/ and axx 1/ + by3y 1/ by Zhi-Hong Sun Huaian 1 Introduction For 3, 4,, the -gonal numbers are given by p n n + n Thus, p 3 n n + n, p 4 n n, p n 3n n Let Z and N be the set of integers and the set of positive integers, respectively Let Z Z Z { x, y : x, y Z} For n N let rn fx, y { x, y Z : n fx, y} For 143 values of a, b the formula for rn axx 1/ + byy 1/ is nown see [3, 4] In [] the author determined rn 3x x/ + b3y y/ for b 1,, In this paper, using some results for binary quadratic forms in [4, ] we determine rn x + byy 1/ in the cases b 1,, 3, 4,, 6, 8, 9, 10, 11, 14, 1, 16, 1, 9, 30, 3, 39, 1, 6, 9, rn x + b3y y/ in the cases b 1,, 3, 4,, 7, 8, 13, 17 and rn x x/ + b3y y/ in the cases b 1,, 3,, 7, 10, 11, 14, 1, 19, 6, 31, 34, 3,, 9, 91, 11, 119, 4 For example, we have r n x yy 1 + b b for b 3,, 11, 9, 8n+b r n x y3y 1 + b 6b for b, 7, 13, 17, 4n+b xx 1 y3y 1 3b r n + b 1n+b+3/ where a m is the Legendre Jacobi Kronecer symbol for b 7, 11, 19, 31, 9, 010 Mathematics Subject Classification: Primary 11E; Secondary 11E16 Key words and phrases: binary quadratic forms, number of representations DOI: /aa [81] c Instytut Matematyczny PAN, 011
2 8 Z H Sun A negative integer d with d 0, 1 mod 4 is called a discriminant Let d < 0 be a discriminant The conductor of d is the largest positive integer f fd such that d/f 0, 1 mod 4 As usual we set wd, 4, 6 according as d < 4, d 4 or d 3 For a, b, c Z we denote by [a, b, c] the equivalence class containing the form ax + bxy + cy It is nown [1] that 11 [a, b, c] [c, b, a] [a, a + b, a + b + c] for Z For n N and a, b, c Z with a, c > 0 and b 4ac < 0 let 1 R[a, b, c], n { x, y Z : n ax + bxy + cy } That is, R[a, b, c], n rn ax +bxy+cy It is nown that R[a, b, c], n R[a, b, c], n If R[a, b, c], n > 0, we say that n is represented by [a, b, c] or ax + bxy + cy Let Hd be the form class group consisting of classes of primitive, integral binary quadratic forms of discriminant d For n N, following [] we define 13 δn, d d, Nn, d RK, n n K Hd When n is odd and a Z, we also define δn, a n a, where a is the Jacobi symbol In the paper we mainly use the formula for Nn, d and reduction formulas for RK, n in [] to determine rn ax + byy 1/, rn ax + by3y 1/ and rn axx 1/ + by3y 1/ for some special values of a, b In addition to the above notation, throughout this paper [x] denotes the greatest integer not exceeding x and a, b denotes the greatest common divisor of integers a and b For a prime p and n N, ord p n denotes the unique nonnegative integer α such that p α n ie p α n but p α+1 n Throughout this paper, p denotes a prime and products over p run through all distinct primes p satisfying any restrictions given under the product symbol For example the condition p 1 mod 4 under a product restricts the product to those distinct primes p which are of the form 4 +1 Basic lemmas Let d < 0 be a discriminant and n N Recall that δn, d n d By [, Lemma 41], we have d 11 + ord p n p 1 δn, d if ord q n for every prime q with d q 1, 0 otherwise When n is odd and d is not a discriminant, 1 is also true By 1, d n 1 implies δn, d 0
3 Number of representations of n by ax + byy 1/ 83 Lemma 1 [, Theorem 41] Let d < 0 be a discriminant with conductor f Let n N and d 0 d/f Then 0 if n, f is not a square, Nn, d m 1 1 d/m n wdδ p p m, d 0 p m if n, f m for m N In particular, when n, f 1 we have Nn, d wdδn, d 0 Lemma [4, Lemma ] Let a, b, n N with n i If a and 4 a bb, then { R[a, 0, b], n if n a mod 4, R[a, 0, 4b], n 0 otherwise If a, b and 8 b, then { R[a, 0, b], n if n a mod 8, R[a, 0, 4b], n 0 otherwise ii If a + b and 8 ab, then { R[a, 0, b], n if n a + b mod 8, R[4a, 4a, a + b], n 0 otherwise Lemma 3 [4, Theorem 1] Let b {6, 10, 1,, 8, 8}, b r b 0 b 0, n N and n Then { δn, b if n 1 mod 8, R[1, 0, 4b], n 0 otherwise, { δn, b if n b + 1 mod 8, R[4, 4, b + 1], n 0 otherwise, { δn, b if n R[ r+ b0 mod 8,, 0, b 0 ], n 0 otherwise, { R[ r+, r+, r δn, b if n + b 0 ], n r + b 0 mod 8, 0 otherwise Lemma 4 [4, Theorem 6] Let n N and n α n 0 with n 0 Then δn 0 /9, 0 if 9 n and n 0 ±1 mod, R[1, 0, 4], n δn 0, 0 if 3 n 1 and n 0 ±1 mod, 0 otherwise, δn 0 /9, 0 if 9 n and n 0 ±1 mod, R[, 0, 9], n δn 0, 0 if 3 n and n 0 ±1 mod, 0 otherwise
4 84 Z H Sun 3 Formulas for rn ax + byy 1/ Lemma 31 Let a, b, n N Then rn ax + byy 1/ { R[8a, 0, b], 8n + b if 8 b, R[a, 0, b/8], n + b/8 R[a, 0, b/], n + b/8 if 8 b Moreover, if 4 a and b, then rn ax + byy 1/ R[a, 0, b], 8n + b; if a, b and 4 a b/, then rn ax + byy 1/ R[a, 0, b/], 4n + b/ Proof It is clear that rn ax + byy 1/ r8n 8ax + by 1 b { x, y Z : 8n + b 8ax + by, y} R[8a, 0, b], 8n + b R[8a, 0, 4b], 8n + b When 8 b, we have 8a, 4b 8n + b and so R[8a, 0, 4b], 8n + b 0 If 4 a and b, by the above and Lemma we have rn ax + byy 1/ R[8a, 0, b], 8n + b R[a, 0, b], 8n + b; if a, b and 4 a b/, by the above and Lemma we have rn ax + byy 1/ R[8a, 0, b], 8n + b R[4a, 0, b/], 4n + b/ This completes the proof R[a, 0, b/], 4n + b/ Theorem 31 Let n N Then n + δ, if n 0 mod 4, rn x + 16yy 1/ δn +, if n 1 mod 4, 0 if n, 3 mod 4, rn x + 4yy 1/ δn + 1,, rn x + yy 1/ δ8n + 1, Proof If n x + 16yy 1/ for some x, y Z, then n x mod 8 and so n, 3 mod 4 Now assume n 0, 1 mod 4 As x n+ mod 4 is insolvable, we see that R[1, 0, 8], n+ 0 Thus, by Lemmas 1 and 31 we have
5 Number of representations of n by ax + byy 1/ 8 rn x + 16yy 1/ R[1, 0, ], n + R[1, 0, 8], n + R[1, 0, ], n + Nn +, 8 δn +, 8 { δn + /, if n 0 mod 4, δn +, if n 1 mod 4 As r4n x + 16yy 1/ rn x + 4yy 1/ and r16n x + 16yy 1/ rn x + yy 1/, by the above we deduce the remaining result So the theorem is proved Theorem 3 Let n N Then δn + 1, 1 if 4 n, rn x + 8yy 1/ 4δn + 1/, 1 if 8 n 1, 0 otherwise, rn x + yy 1/ δ4n + 1, 1, rn x + yy 1/ δ8n + 1, 1 Proof If n x + 8yy 1/ for some x, y Z, then n x mod 8 and so 4 n or 8 n 1 Now assume 4 n or 8 n 1 By Lemmas 1 and 31 we have rn x + 8yy 1/ R[1, 0, 1], n + 1 R[1, 0, 4], n + 1 Nn + 1, 4 Nn + 1, 16 { 4δn + 1, 4 δn + 1, 4 if 4 n, 4δn + 1, 4 0 if 8 n 1 This yields the result on rn x + 8yy 1/ Since r4n x + 8yy 1/ rn x + yy 1/ and r8n x + 8yy 1/ rn x + yy 1/, from the above we deduce the remaining result So the theorem is proved Theorem 33 Let n N, m {3, 7} and a {1,, m, m} Then r n ax + m yy 1 a m 4an+m Proof It is nown that H 4m {[1, 0, m]} and f 4m Thus, by Lemmas 31 and 1 we have rn x + myy 1/ R[1, 0, m], 4n + m N4n + m, 4m m m 4n+m Now replacing n with an we obtain the result 4n+m
6 86 Z H Sun Theorem 34 Let a, n N, a 30 and 4an α n 0 3 n 0 Then r n ax + 30 yy α n0 a 3 1 Proof If a 1, then by Lemma 31, [, Theorem 93] and 1 we have rn x + 30yy 1/ R[1, 0, 1], 4n α n0 3 n 0 3 α n 0 1 Observe that 3 α n 0 1 n 0 1 We see that the result is true for a 1 Since ran x + 30yy 1/ r n ax + 30 a yy 1/, the result follows Theorem 3 Let n N and b {3,, 11, 9} Then rn x + byy 1/ δ8n + b, b, rn bx + yy 1/ δ8n + 1, b Proof By Lemma 31 we have rn x +byy 1/ R[8, 0, b], 8n+b and rn bx +yy 1/ R[1, 0, 8b], 8n+1 Thus applying Lemma 3 we deduce the result Theorem 36 Let n N and a {1, 9} Then r n ax + 9 δ8n + 9/a, if 3 n a, yy 1 8n + 9/a a δ, if 9 n 9/a, 9 0 otherwise Proof From Lemma 31 we have rn x + 9yy 1/ R[, 0, 9], 8n + 9 and rn 9x + yy 1/ R[1, 0, 18], 8n + 1 Since H 7 {[1, 0, 18], [, 0, 9]} and f 7 3, applying [, Theorem 93] and 1 we deduce the result Lemma 3 [4, Theorem 4] Let m {, 7, 13, 17}, i {1,, 3, 6}, n N and in α i 3 β i n 0 with 6, n 0 1 Then R[i, 0, 6m/i], n > 0 if and only if ord q n 0 for every prime q with 6m q 1 and 1, 6m + 1 mod 4 if α i and β i, m + 3, 8m + 3 mod 4 if α i and β i, n 0 3m +, 3m + 8 mod 4 if α i and β i, m, m + 6 mod 4 if α i and β i Moreover, if R[i, 0, 6m/i], n > 0, then R[i, 0, 6m/i], n 1 + ord p n 0 6m p 1
7 Number of representations of n by ax + byy 1/ 87 Theorem 37 Let m {, 7, 13, 17}, a {1, 3, m, 3m}, n N and 8an + 3m 3 β n 0 with 3 n 0 Then r n ax + 3m a yy 1/ > 0 if and only if ord q n 0 for every prime q with 6m q 1 and { 1 mod 3 if m {7, 13} and β, n 0 mod 3 otherwise Moreover, if the above conditions hold, then r n ax + 3m a yy 1/ 6m p 11 + ord p n 0 Proof Clearly n β m mod 8 By Lemma 31 we have rn x +3myy 1/ R[, 0, 3m], 8n+3m Now applying Lemma 3 we deduce the result for a 1 Noting that ran x + 3myy 1/ r n ax + 3m a yy 1/ we deduce the remaining result Lemma 33 [4, Theorem 43] Let m {7, 13, 19}, i {1,,, 10}, n N and in α i β i n 0 with 10, n 0 1 Then R[i, 0, 10m/i], n > 0 if and only if ord q n 0 for every prime q with 10m q 1 and 1, 9, m, m mod 40 if α i and β i, + m, + 8m, + 18m, + 3m mod 40 if α i and β i, n 0 m +, m + 8, m + 18, m + 3 mod 40 if α i and β i, m, 9m, 10 + m, m mod 40 if α i and β i Moreover, if R[i, 0, 10m/i], n > 0, then R[i, 0, 10m/i], n 10m p ord p n 0 Theorem 38 Let m {7, 13, 19}, a {1,, m, m}, n N and 8an + m β n 0 with n 0 Then r n ax + m a yy 1/ > 0 if and only if ord q n 0 for every prime q with 10m q 1 and { ±1 mod if m 19 and β, n 0 ± mod otherwise Moreover, if the above conditions hold, then r n ax + m a yy 1/ 10m p ord p n 0 Proof Clearly n 0 m or m mod 8 according as β or β By Lemma 31 we have rn x + myy 1/ R[, 0, m], 8n + m Now applying Lemma 33 we deduce the result for a 1 Noting that ran x + myy 1/ r n ax + m a yy 1/ we deduce the remaining result
8 88 Z H Sun Theorem 39 Let n N Then rn x + 10yy 1/ 1 1/ φ 4 4n +, 4n+ where φ 4 m is given by q 1 q 4 1 q 0 1 or by [6, Theorem 4ii] φ 4 mq m q < 1 m1 Proof It is nown that f 80 and H 80 {[1, 0, 0], [4, 0, ], [3,, 7], [3,, 7]} Thus R[1, 0, 0], 4n++R[4, 0, ], 4n+ N4n+, 80 R[3,, 7], 4n+ If 4n+ 3x +xy+7y for some x, y Z, then 4n+ x +xy y x y mod 4 This is impossible Thus R[3,, 7], 4n + 0 Hence, using the above and Lemma 1 we see that R[1, 0, 0], 4n + + R[4, 0, ], 4n + N4n +, / 4n+ On the other hand, by [6, Theorem ] we have Hence 4n+ R[1, 0, 0], 4n + R[4, 0, ], 4n + φ 4 4n + R[4, 0, ], 4n + By Lemma 31 we have 4n+ 1 1/ φ 4 4n + rn x + 10yy 1/ R[8, 0, 10], 8n + 10 R[4, 0, ], 4n + Thus the result follows 4 Formulas for rn ax + b3y y/ Lemma 41 Let a, b, n N Then rn ax + b3y y/ R[4a, 0, b], 4n + b R[4a, 0, 4b], 4n + b In particular, if 3 b and 8 b, we have R[4a, 0, 9b], 4n + b + R[4a, 0, 36b], 4n + b rn ax + b3y y/ R[4a, 0, b], 4n + b
9 Number of representations of n by ax + byy 1/ 89 Moreover, if 4 a, b and 3 b, then Proof Clearly rn ax + b3y y/ R[6a, 0, b], 4n + b rn ax + b3y y/ r4n + b 4ax + b6y 1 { x, y Z : 4n + b 4ax + by, y, 3 y} { x, y Z : 4n + b 4ax + by, y} { x, y Z : 4n + b 4ax + b3y, y} R[4a, 0, b], 4n + b R[4a, 0, 4b], 4n + b R[4a, 0, 9b], 4n + b R[4a, 0, 36b], 4n + b If 3 b and 8 b, we then have rn ax + b3y y/ R[4a, 0, b], 4n+b If 4 a, b and 3 b, by Lemma we have R[4a, 0, b], 4n+b R[6a, 0, b], 4n + b So the lemma is proved Theorem 41 Let n N Then rn x + 43y y/ δ6n + 1, 6, rn x + 3y y/ δ4n + 1, 6 Proof As H 4 {[1, 0, 6], [, 0, 3]} and m x + 3y implies m 1 mod 6, using Lemma 1 we see that R[4, 0, 4], 4n + 4 R[1, 0, 6], 6n + 1 N6n + 1, 4 δ6n + 1, 6 Now putting a 1 and b 4 in Lemma 41 and applying the above we obtain rn x + 43y y/ δ6n + 1, 6 Replacing n by 4n we deduce the remaining result Theorem 4 Let n N Then δ3n + 1, 3 if 4 n, rn x + 83y y/ δ3n + 1/4, 3 if 8 n 1, 0 otherwise, rn x + 3y y δ1n + 1, 3 Proof If n x + 43y y for some x, y Z, then clearly 4 n or 8 n 1 Now assume 4 n or 8 n 1 From Lemma 41 we have rn x + 83y y/ R[4, 0, 8], 4n + 8 R[4, 0, 3], 4n + 8 R[1, 0, 3], 3n + 1 R[3, 0, 4], 3n + 1 N3n + 1, 1 R[3, 0, 4], 3n + 1 If 4 n, then 3n + 1 3x + 4y is insolvable Thus, by Lemma 1 we have N3n + 1, 1 R[3, 0, 4], 3n + 1 N3n + 1, 1 δ3n + 1, 3
10 90 Z H Sun If 8 n 1, then 3n mod 8 By Lemma 1, [, Theorem 93] and 1 we have N3n + 1, 1 R[3, 0, 4], 3n + 1 6δ3n + 1/4, 3 δ3n + 1/4, 3 4δ3n + 1/4, 3 Now combining the above we obtain the result for rn x + 43y y As r4n x + 43y y rn x + 3y y, applying the above we deduce the remaining result Theorem 43 Let n N and b {, 7, 13, 17} Then rn x + b3y y/ δ4n + b, 6b, rn bx + 3y y/ δ4n + 1, 6b Proof From Lemma 41 we have rn x + b3y y/ R[b, 0, 6], 4n + b It is easily seen that H 4b {[1, 0, 6b], [, 0, 3b], [3, 0, b], [6, 0, b]} and 4n + b cannot be represented by x + 6by, x + 3by and 3x + by Thus, using the fact that f 4b 1 and Lemma 1 we deduce R[b, 0, 6], 4n + b N4n + b, 4b δ4n + b, 4b Now combining the above we obtain rn x + b3y y/ δ4n + b, 6b Replacing n with bn we deduce the remaining result Theorem 44 Let n N Then rn x + 33y y/ δn 0, if 9 n 1 and 8n α n 0 3 n 0, δ8n + 1, if 3 n or n 4, 7 mod 9, 0 if n mod 3 and rn 3x + 3y y/ δ4n + 1, Proof From Lemmas 41 and we see that rn x + 33y y/ R[4, 0, 3], 4n + 3 R[4, 0, 7], 4n + 3 R[8, 0, 1], 8n + 1 R[8, 0, 9], 8n + 1 R[, 0, 1], 8n + 1 R[, 0, 9], 8n + 1 Since H 8 {[1, 0, ]}, by Lemma 1 we have R[, 0, 1], 8n + 1 δ8n + 1, It is nown that H 7 {[1, 0, 18], [, 0, 9]} and f 7 3 Thus, by [, Theorem 93] and 1 we have δ8n + 1, if 3 n, R[, 0, 9], 8n + 1 δ8n + 1/9, if 9 n 1, 0 otherwise
11 8n+1 Number of representations of n by ax + byy 1/ 91 When 9 n 1 and 8n α n 0 3 n 0, we have 3 α + n 0 8n α 1 n 0 Now combining all the above we obtain the result for rn x +33y y/ Note that r3n x + 33y y/ rn 3x + 3y y/ We then obtain the remaining result Formulas for rn ax x/ + b3y y/ Lemma 1 Let a, b, n N Then rn ax x/ + b3y y/ R[1a, 1a, 3a + b], 4n + 3a + b R[1a, 0, 4b], 4n + 3a + b R[1a, 1a, 3a + 9b], 4n + 3a + b + R[1a, 0, 36b], 4n + 3a + b If 4 a, we also have rn ax x/ + b3y y/ R[3a, 0, b], 4n + 3a + b R[3a, 0, 4b], 4n + 3a + b Proof Clearly R[3a, 0, 9b], 4n + 3a + b + R[3a, 0, 36b], 4n + 3a + b rn ax x/ + b3y y/ r4n + 3a + b 3ax 1 + b6y 1 { x, y Z : 4n + 3a + b 3ax + by, xy, 3 y} { x, y Z : 4n + 3a + b 3ax + by, xy} { x, y Z : 4n + 3a + b 3ax + b3y, xy} { x, y Z : 4n + 3a + b 3ax + y + by, y} { x, y Z : 4n + 3a + b 3ax + y + 9by, y} { x, y Z : 4n + 3a + b 1ax + 1axy + 3a + by, y} { x, y Z : 4n + 3a + b 1ax + 1axy + 3a + 9by, y} R[1a, 1a, 3a + b], 4n + 3a + b R[1a, 4a, 43a + b], 4n + 3a + b R[1a, 1a, 3a + 9b], 4n + 3a + b R[1a, 4a, 43a + 9b], 4n + 3a + b
12 9 Z H Sun Using 11 we see that [1a, 4a, 43a + b] [1a, 0, 4b] and [1a, 4a, 43a + 9b] [1a, 0, 36b] Thus the first part follows Now assume 4 a If 4n + 3a + b 3ax + b6y 1 for some x, y Z, then clearly x Thus, rn ax x/ + b3y y/ r4n + 3a + b 3ax 1 + b6y 1 r4n + 3a + b 3ax + b6y 1 { x, y Z : 4n + 3a + b 3ax + by, y, 3 y} { x, y Z : 4n + 3a + b 3ax + by, y} { x, y Z : 4n + 3a + b 3ax + b3y, y} R[3a, 0, b], 4n + 3a + b R[3a, 0, 4b], 4n + 3a + b R[3a, 0, 9b], 4n + 3a + b R[3a, 0, 36b], 4n + 3a + b This completes the proof Theorem 1 Let n N Then rn x x/ + 3y y/ δ6n + 1, 3 Proof From Lemmas 1 and 1 we see that rn x x/ + 3y y/ This yields the result Theorem Let n N Then R[1, 1, 4], 4n + 4 R[1, 0, 4], 4n + 4 R[3, 3, 1], 6n + 1 R[3, 0, 1], 6n + 1 N6n + 1, 3 N6n + 1, 1 6δ6n + 1, 3 δ6n + 1, 3 rn x x + 3y y/ δ4n + 7, 6, rn x x/ + 3y y δ4n +, 6 Proof For x, y Z it is clear that x + 6y mod 6 and x + 3y 1 mod 6 Since H 4 {[1, 0, 6], [, 0, 3]} and f 4 1, using Lemmas 1 and 1 we have rn x x + 3y y/ R[6, 0, 1], 4n + 7 N4n + 7, 4 δ4n + 7, 4
13 Number of representations of n by ax + byy 1/ 93 and rn x x/ + 3y y R[3, 0, ], 4n + R[3, 0, 8], 4n + R[, 0, 3], 4n + N4n +, 4 δ4n +, 4 This yields the result Theorem 3 Let n N Then rn x x/ + 33y y/ δ4n + 1, 1 if 3 n 1, δ4n + 1, 1 if 3 n 1 and 9 n, 0 if 9 n Proof Putting a 1 and b 3 in Lemma 1 we see that rn x x/ + 33y y/ R[1, 1, 6], 4n + 6 R[1, 1, 30], 4n + 6 R[,, 1], 4n + 1 R[,, ], 4n + 1 By Lemma 1 we have R[,, 1], 4n+1 N4n+1, 4 4δ4n+1, 1 As H 36 {[1, 0, 9], [,, ]}, by [, Theorem 93] and 1 we have δ4n + 1, 1 if 3 n 1, 1 R[,, ], 4n + 1 4δ4n + 1/9, 1 if 9 n, 0 otherwise If 9 n and 4n α n 0 3 n 0, then δ4n + 1, 1 δ4n + 1/9, α α 0 n 0 4n+1, 4n+1/9 Now putting all the above together we obtain the result Theorem 4 Let n N Then rn 3x x/ + 3y y/ δ1n +, 1 Proof Putting a 3 and b 1 in Lemma 1 we have rn 3x x/ + 3y y/ R[36, 36, 10], 4n + 10 R[18, 18, ], 1n + By 11, we have [18, 18, ] [, 18, 18] [,, ] [,, ] Thus R[18, 18, ], 1n + R[,, ], 1n + Now applying 1 we deduce the result
14 94 Z H Sun Theorem Let n N, a {1, } and 3n+a+3/4 α n 0 n 0 Then r n a x x + a 3y y 1 n 0 Proof Set b /a It is nown that H 60 {[1, 0, 1], [3, 0, ]} and f 60 For x, y Z we see that x +1y mod 3 and 3x +y 1 mod 3 Thus, using Lemmas 1 and 1 we have rn ax x/ + b3y y/ R[3a, 0, b], 4n + 3a + b R[3a, 0, 4b], 4n + 3a + b R[3a, 0, b], 4n + 3a + b R[1a, 0, 4b], 4n + 3a + b R[3a, 0, b], 4n + 3a + b R[3a, 0, b], 6n + 3a + b/4 N4n + 3a + b, 60 N6n + 3a + b/4, n+a+3/4 6n+3a+b/4 1 1 α + α n 0 n 0 This yields the result 6n+3a+b/4/4 Theorem 6 Let n N and b {7, 11, 19, 31, 9} Then rn x x/ + b3y y/ δ1n + b + 3/, 3b, rn bx x/ + 3y y/ δ1n + 3b + 1/, 3b 1 Proof As b 3 mod 4 we see that 3 + b 3b + 1 mod 4 Thus, R[3, 0, 4b], 4n b 0 and R[3b, 0, 4], 4n + 3b Hence, using Lemma 1 we get and rn x x/ + b3y y/ R[3, 0, b], 4n b R[3, 0, 4b], 4n b R[3, 0, 9b], 4n b + R[3, 0, 36b], 4n b R[3, 0, b], 4n b rn bx x/ + 3y y/ R[3b, 0, 1], 4n + 3b + 1 R[3b, 0, 4], 4n + 3b + 1 R[3b, 0, 9], 4n + 3b R[3b, 0, 36], 4n + 3b + 1 R[1, 0, 3b], 4n + 3b + 1
15 Number of representations of n by ax + byy 1/ 9 It is nown that we have H 1b {[1, 0, 3b], [3, 0, b], [,, 3b+1/], [6, 6, b + 3/]} and f 1b 1 One can easily see that 4n b cannot be represented by x + 3by, x + xy + 3b+1 y and 6x + 6xy + b+3 y, and 4n + 3b + 1 cannot be represented by 3x + by, x + xy + 3b+1 y and 6x + 6xy + b+3 y Thus, applying Lemma 1 we have and R[3, 0, b], 4n b N4n b, 1b δ4n b, 1b δ1n + b + 3/, 3b R[1, 0, 3b], 4n + 3b + 1 N4n + 3b + 1, 1b δ4n + 3b + 1, 1b δ1n + 3b + 1/, 3b Now combining all the above we deduce the result Theorem 7 Let n N, m {, 7, 13, 17} and a {1,, m, m} Then r n a x x + m a 3y y 6m 4n+3a+m/a Proof If 4n + 3a + m/a 3ax + 8m a y for some x, y Z, then x and so m a 1 4y m a 8m a y 0 mod 8 This is impossible So R[3a, 0, 8m/a], 4n + 3a + m/a 0 Hence, using Lemma 1 we see that r n a x x + m a 3y y R[3a, 0, m/a], 4n + 3a + m/a It is nown that H 4m {[1, 0, 6m], [, 0, 3m], [3, 0, m], [6, 0, m]} and f 4m 1 Let n N with n, 6 1 It is easily seen that n x + 6my n 1, 1 + 6m mod 4, n x + 3my n 3m +, 3m + 8 mod 4, n 3x + my n m + 3, 8m + 3 mod 4, n 6x + my n m, m + 6 mod 4 Since 1, 1 + 6m, 3m +, 3m + 8, m + 3, 8m + 3, m, m + 6 are distinct modulo 4, we see that n is represented by at most one class in H 4m As 4n+3a+m/a, 6 1, we see that 4n+3a+m/a cannot be represented by any class K H 4m with K [3a, 0, m/a] From the above and Lemma 1 we derive
16 96 Z H Sun r n a x x + m a 3y y R[3a, 0, m/a], 4n + 3a + m/a So the theorem is proved Theorem 8 Let n N Then N4n + 3a + m/a, 4m δ4n + 3a + m/a, 4m rn 1x x/ + 3y y/ δ1n + 3,, rn 3x x/ + 3y y/ δ1n + 7, Proof Suppose 1n + 3 α n 1 with n 1 From Lemma 1 and the fact that 4n + 46 mod 4 we have R[4, 0, 4], 4n and so rn 1x x/ + 3y y/ R[4, 0, 1], 4n + 46 R[4, 0, 4], 4n + 46 R[4, 0, 9], 4n R[4, 0, 36], 4n + 46 R[4, 0, 1], 4n + 46 R[1, 0, 4], α n 1 Since 4n mod 3, applying the above and Lemma 4 we see that { r n 1 x x + 3y y δn1, 0 if n 1 ± mod, 0 if n 1 ±1 mod If n 1 ±1 mod, as n 1 α n 1 1n mod 4 we see that 0 n 1 n 1 n 1 n 1 1 and so δn 1, 0 0 by 1 Since δn 1, 0 δn 1, 0, we always have r n 1 x x + 3y y 0 n 1 1n+3 Now suppose 1n + 7 β n with n From Lemma 1 and the fact that 4n + 14 mod 4 we have R[9, 0, 0], 4n and so rn 3x x/ + 3y y/ R[9, 0, ], 4n + 14 R[9, 0, 0], 4n + 14 R[9, 0, 4], 4n R[9, 0, 180], 4n + 14 R[9, 0, ], 4n + 14 R[, 0, 9], β n Since 4n + 14 mod 3, applying the above and Lemma 4 we see that { r n 3 x x + 3y y δn, 0 if n ± mod, 0 if n ±1 mod If n ±1 mod, as n α n 1n mod 4 we see that n n n 1 and so n 0 0 by 1 0 n
17 Number of representations of n by ax + byy 1/ 97 Since δn, 0 δn, 0, we always have r n 3 x x + 3y y 0 n The proof is now complete 1n+7 Theorem 9 Let n N and 4n+3 α n 0 n 0 If n 0 ±1 mod, then r n x x + 1 3y y r n x x + 3 3y y 0 If n 0 ± mod, then r n x x + 1 3y y r n x x + 3 3y y where n 1 is given by n 0 3 β n 1 3 n 1 and δn 1, if 9 n 6, 0 if 3 n, δn 0, otherwise, δn 1, if 9 n 6, 0 if 3 n 1, δn 0, otherwise, Proof By Lemma 1 and the fact that 4n + 18 mod 4 we have rn x x/ + 13y y/ R[3, 0, 1], 4n + 18 R[3, 0, 60], 4n + 18 R[3, 0, 13], 4n R[3, 0, 40], 4n + 18 R[3, 0, 1], 4n + 18 R[3, 0, 13], 4n + 18 R[1, 0, ], 8n + 6 R[1, 0, 4], 8n + 6 rn x x/ + 33y y/ R[1, 0, 3], 4n + 18 R[1, 0, 1], 4n + 18 R[1, 0, 7], 4n R[1, 0, 108], 4n + 18 R[1, 0, 3], 4n + 18 R[1, 0, 7], 4n + 8 R[1, 0, ], 8n + 6 R[, 0, 9], 8n + 6 For m N, m x + y x, y Z implies x and m x/ + y Thus R[1, 0, ], m R[1, 0, ], m Hence R[1, 0, ], 8n + 6 R[1, 0, ], α n 0 R[1, 0, ], α 1 n 0 R[1, 0, ], n 0
18 98 Z H Sun If n 0 ±1 mod, then x n 0 mod is insolvable and so R[1, 0, ], 8n + 6 R[1, 0, ], n 0 0 Hence, by the above we have rn x x/ + 13y y/ 0 and rn x x/ + 33y y/ 0 Now we assume n 0 ± mod Then n 0 ±4 mod and so n 0 cannot be represented by x + xy + 3y Since H 0 {[1, 0, ], [,, 3]}, from the above and Lemma 1 we see that R[1, 0, ], 8n + 6 R[1, 0, ], n 0 Nn 0, 0 δn 0, 0 From Lemma 4 we now that δn 0 /9, 0 if 9 n 6, R[1, 0, 4], 8n + 6 δn 0, 0 if 3 n, 0 otherwise, δn 0 /9, 0 if 9 n 6, R[, 0, 9], 8n + 6 δn 0, 0 if 3 n 1, 0 otherwise Since δn 0, 0 δn 0,, δn 0 /9, 0 δn 0 /9, and n 0 3 β n 1 3 n 1, we see that for n 6 mod 9, δn 0, 0 δn 0 /9, 0 n 0, n 0 /9 n 1 3 β β 1 n 1 Now putting all the above together we obtain the result Lemma [4, Theorem 61] Let i, n N, i 30 and in α i 3 β i γ i n 0 with n 0, 30 1 Let m {7, 11, 3} and [i, 0, 1m/i] if i, [ A i i, i, 1 i + 1m ] if i i/ Then RA i, n > 0 if and only if ord q n 0 for every prime q with 1m q 1, 1 n 0 1 m+1/4α i+β i, n α i+[m+/3]β i +γ i and n 0 1 α i+β i +[m 3/]γ i Moreover, if RA i, n > 0, then RA i, n 1 + ord p n 0 1m p 1 Theorem 10 Let n N, m {7, 11, 3}, a {1,, m, m} and 1n+3a+m/a/ γ n 0 n 0 Then n is represented by ax x/+ m a 3y y/ if and only if ord q n 0 for every prime q with 1m q 1
19 and Number of representations of n by ax + byy 1/ 99 n0 1 [m 3/]γ if a 1, 1 [m 3/]γ+1 if a, 1 1+[m 3/]γ+1 if a m, 1 1+[m 3/]γ if a m Moreover, if the above conditions hold, then r n ax x/ + m a 3y y/ 1 + ord p n 0 1m p 1 Proof As 3a + m/a mod 4, we see that R[3a, 0, 0m/a], 4n + 3a + m/a R[1a, 0, 0m/a], 4n + 3a + m/a 0 Hence, using Lemma 1 we get r n a x x + m a 3y y R[3a, 0, m/a], 4n + 3a + m/a From 1n + 3a + m/a/ γ n 0 we deduce that n 0 3a + m/a/ a3 + m/ am 1/ mod 4 and 1 γ n 0 γ n 0 m/a am mod 3 Thus 1 1 m 1 a/4, n 0 n0 am 1 γ 3 3 a 1 [m+/3]+γ 3 For a 1 we have 34n m 3 γ n 0 For a we have 14n m 3 γ+1 n 0 For a m we have 4n + + 3m γ+1 n 0 For a m we have 4n m γ n 0 Thus applying the above and Lemma we deduce the result Using Lemma 1 and [4, Theorems 6 and 63] one can similarly prove the following result Theorem 11 Let n N, m {13, 17}, a {1, 7, m, 7m} and 1n + 3a + 7m/a/ 7 γ n 0 7 n 0 Then n is represented by ax x/ + 7m a 3y y/ if and only if ord q n 0 for every prime q with 1m q 1 and { 3,, 6 mod 7 if a 1, 7, n 0 1,, 4 mod 7 if a m, 7m Moreover, if the above conditions hold, then r n ax x/ + 7m a 3y y/ 1 + ord p n 0 1m p 1 Let µn denote the Möbius function Using Lemma 1 and [4, Theorem 81] one can similarly deduce the following result Theorem 1 Let a, n N, a 4 and 1n+3a+4/a/ γ 7 δ n 0 with n 0, 3 1 Then n is represented by ax x/ + 4 a 3y y/
20 100 Z H Sun if and only if ord q n 0 for every prime q with 136 q 1 and n 0 n γ+δ µa Moreover, if the above conditions hold, then r n ax x/ + 4 a 3y y/ 136 p ord p n 0 Remar 1 Let n N and 4n + 1 α n 0 3 β n 1 with n 0 and 3 n 1 By [, Theorem 44] we have r n 3x x + 3y y 1 + n 0 Suppose n 1 α n Then n and n 0 3 β n Since n 0 1 mod 4 and n 1 1 β mod 4, we have n 0 n 0 n 0 3 β n n and n 1 n By 1, n 0 implies n 0 n p n p ordp n 1 Thus, by we have 3 r n 3x x + 3y y n n 1 Acnowledgements The author is supported by the Natural Sciences Foundation of China grant n 1 References [1] D A Cox, Primes of the Form x + ny : Fermat, Class Field Theory, and Complex Multiplication, Wiley, New Yor, 1989 [] Z H Sun, The expansion of Q 1 1 qa 1 q b, Acta Arith , 11 9 [3], On the number of representations of n by axx 1/ + byy 1/, J Number Theory , [4], Binary quadratic forms and sums of triangular numbers, Acta Arith , 7 97 [] Z H Sun and K S Williams, On the number of representations of n by ax + bxy + cy, ibid 1 006, [6],, Ramanujan identities and Euler products for a type of Dirichlet series, ibid 1 006, Zhi-Hong Sun School of Mathematical Sciences Huaiyin Normal University Huaian, Jiangsu 3001, PR China zhihongsun@yahoocom Received on and in revised form on
Binary quadratic forms and sums of triangular numbers
Binary quadratic forms and sums of triangular numbers Zhi-Hong Sun( ) Huaiyin Normal University http://www.hytc.edu.cn/xsjl/szh Notation: Z the set of integers, N the set of positive integers, [x] the
More informationAdvances in Applied Mathematics 48(2012), Constructing x 2 for primes p = ax 2 + by 2
Advances in Applied Mathematics 4(01, 106-10 Constructing x for primes p ax + by Zhi-Hong Sun School of Mathematical Sciences, Huaiyin Normal University, Huaian, Jiangsu 3001, P.R. China E-mail: zhihongsun@yahoo.com
More informationCONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN
Int. J. Number Theory 004, no., 79-85. CONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN School of Mathematical Sciences Huaiyin Normal University Huaian, Jiangsu 00, P.R. China zhihongsun@yahoo.com
More informationp-regular functions and congruences for Bernoulli and Euler numbers
p-regular functions and congruences for Bernoulli and Euler numbers Zhi-Hong Sun( Huaiyin Normal University Huaian, Jiangsu 223001, PR China http://www.hytc.edu.cn/xsjl/szh Notation: Z the set of integers,
More informationPart II. Number Theory. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section I 1G 70 Explain what is meant by an Euler pseudoprime and a strong pseudoprime. Show that 65 is an Euler
More informationColloq. Math. 145(2016), no. 1, ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS. 1. Introduction. x(x 1) (1.1) p m (x) = (m 2) + x.
Colloq. Math. 145(016), no. 1, 149-155. ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS FAN GE AND ZHI-WEI SUN Abstract. For m = 3, 4,... those p m (x) = (m )x(x 1)/ + x with x Z are called generalized
More informationZhi-Wei Sun Department of Mathematics, Nanjing University Nanjing , People s Republic of China
J. Number Theory 16(016), 190 11. A RESULT SIMILAR TO LAGRANGE S THEOREM Zhi-Wei Sun Department of Mathematics, Nanjing University Nanjing 10093, People s Republic of China zwsun@nju.edu.cn http://math.nju.edu.cn/
More informationZhi-Wei Sun. Department of Mathematics Nanjing University Nanjing , P. R. China
A talk given at National Cheng Kung Univ. (2007-06-28). SUMS OF SQUARES AND TRIANGULAR NUMBERS, AND RADO NUMBERS FOR LINEAR EQUATIONS Zhi-Wei Sun Department of Mathematics Nanjing University Nanjing 210093,
More informationClass Field Theory. Steven Charlton. 29th February 2012
Class Theory 29th February 2012 Introduction Motivating examples Definition of a binary quadratic form Fermat and the sum of two squares The Hilbert class field form x 2 + 23y 2 Motivating Examples p =
More informationJournal of Combinatorics and Number Theory 1(2009), no. 1, ON SUMS OF PRIMES AND TRIANGULAR NUMBERS. Zhi-Wei Sun
Journal of Combinatorics and Number Theory 1(009), no. 1, 65 76. ON SUMS OF PRIMES AND TRIANGULAR NUMBERS Zhi-Wei Sun Department of Mathematics, Nanjing University Nanjing 10093, People s Republic of China
More informationThe Fibonacci Quarterly 44(2006), no.2, PRIMALITY TESTS FOR NUMBERS OF THE FORM k 2 m ± 1. Zhi-Hong Sun
The Fibonacci Quarterly 44006, no., 11-130. PRIMALITY TESTS FOR NUMBERS OF THE FORM k m ± 1 Zhi-Hong Sun eartment of Mathematics, Huaiyin Teachers College, Huaian, Jiangsu 3001, P.R. China E-mail: zhsun@hytc.edu.cn
More informationPrimes - Problem Sheet 5 - Solutions
Primes - Problem Sheet 5 - Solutions Class number, and reduction of quadratic forms Positive-definite Q1) Aly the roof of Theorem 5.5 to find reduced forms equivalent to the following, also give matrices
More informationCONSECUTIVE NUMBERS WITHTHESAMELEGENDRESYMBOL
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 130, Number 9, Pages 503 507 S 000-9939(0)06600-5 Article electronically ublished on Aril 17, 00 CONSECUTIVE NUMBERS WITHTHESAMELEGENDRESYMBOL ZHI-HONG
More informationLegendre polynomials and Jacobsthal sums
Legendre olynomials and Jacobsthal sums Zhi-Hong Sun( Huaiyin Normal University( htt://www.hytc.edu.cn/xsjl/szh Notation: Z the set of integers, N the set of ositive integers, [x] the greatest integer
More informationPredictive criteria for the representation of primes by binary quadratic forms
ACTA ARITHMETICA LXX3 (1995) Predictive criteria for the representation of primes by binary quadratic forms by Joseph B Muskat (Ramat-Gan), Blair K Spearman (Kelowna, BC) and Kenneth S Williams (Ottawa,
More informationPolygonal Numbers, Primes and Ternary Quadratic Forms
Polygonal Numbers, Primes and Ternary Quadratic Forms Zhi-Wei Sun Nanjing University Nanjing 210093, P. R. China zwsun@nju.edu.cn http://math.nju.edu.cn/ zwsun August 26, 2009 Modern number theory has
More informationSummary Slides for MATH 342 June 25, 2018
Summary Slides for MATH 342 June 25, 2018 Summary slides based on Elementary Number Theory and its applications by Kenneth Rosen and The Theory of Numbers by Ivan Niven, Herbert Zuckerman, and Hugh Montgomery.
More informationTurán s problem and Ramsey numbers for trees. Zhi-Hong Sun 1, Lin-Lin Wang 2 and Yi-Li Wu 3
Colloquium Mathematicum 139(015, no, 73-98 Turán s problem and Ramsey numbers for trees Zhi-Hong Sun 1, Lin-Lin Wang and Yi-Li Wu 3 1 School of Mathematical Sciences, Huaiyin Normal University, Huaian,
More informationSOME VARIANTS OF LAGRANGE S FOUR SQUARES THEOREM
Acta Arith. 183(018), no. 4, 339 36. SOME VARIANTS OF LAGRANGE S FOUR SQUARES THEOREM YU-CHEN SUN AND ZHI-WEI SUN Abstract. Lagrange s four squares theorem is a classical theorem in number theory. Recently,
More informationThe genera representing a positive integer
ACTA ARITHMETICA 102.4 (2002) The genera representing a positive integer by Pierre Kaplan (Nancy) and Kenneth S. Williams (Ottawa) 1. Introduction. A nonsquare integer d with d 0 or 1 (mod 4) is called
More informationDepartment of Mathematics, Nanjing University Nanjing , People s Republic of China
Proc Amer Math Soc 1382010, no 1, 37 46 SOME CONGRUENCES FOR THE SECOND-ORDER CATALAN NUMBERS Li-Lu Zhao, Hao Pan Zhi-Wei Sun Department of Mathematics, Naning University Naning 210093, People s Republic
More informationON UNIVERSAL SUMS OF POLYGONAL NUMBERS
Sci. China Math. 58(2015), no. 7, 1367 1396. ON UNIVERSAL SUMS OF POLYGONAL NUMBERS Zhi-Wei SUN Department of Mathematics, Nanjing University Nanjing 210093, People s Republic of China zwsun@nju.edu.cn
More informationTHE ARITHMETIC OF THE COEFFICIENTS OF HALF INTEGRAL WEIGHT EISENSTEIN SERIES. H(1, n)q n =
THE ARITHMETIC OF THE COEFFICIENTS OF HALF INTEGRAL WEIGHT EISENSTEIN SERIES ANTAL BALOG, WILLIAM J. MCGRAW AND KEN ONO 1. Introduction and Statement of Results If H( n) denotes the Hurwitz-Kronecer class
More informationarxiv:math/ v1 [math.nt] 9 Aug 2004
arxiv:math/0408107v1 [math.nt] 9 Aug 2004 ELEMENTARY RESULTS ON THE BINARY QUADRATIC FORM a 2 + ab + b 2 UMESH P. NAIR Abstract. This paper examines with elementary proofs some interesting properties of
More informationMath 314 Course Notes: Brief description
Brief description These are notes for Math 34, an introductory course in elementary number theory Students are advised to go through all sections in detail and attempt all problems These notes will be
More informationMATH 4400 SOLUTIONS TO SOME EXERCISES. 1. Chapter 1
MATH 4400 SOLUTIONS TO SOME EXERCISES 1.1.3. If a b and b c show that a c. 1. Chapter 1 Solution: a b means that b = na and b c that c = mb. Substituting b = na gives c = (mn)a, that is, a c. 1.2.1. Find
More informationIntroduction to Number Theory
INTRODUCTION Definition: Natural Numbers, Integers Natural numbers: N={0,1,, }. Integers: Z={0,±1,±, }. Definition: Divisor If a Z can be writeen as a=bc where b, c Z, then we say a is divisible by b or,
More informationPrimes of the Form x 2 + ny 2
Primes of the Form x 2 + ny 2 Steven Charlton 28 November 2012 Outline 1 Motivating Examples 2 Quadratic Forms 3 Class Field Theory 4 Hilbert Class Field 5 Narrow Class Field 6 Cubic Forms 7 Modular Forms
More informationA CRITERION FOR POLYNOMIALS TO BE CONGRUENT TO THE PRODUCT OF LINEAR POLYNOMIALS (mod p) ZHI-HONG SUN
A CRITERION FOR POLYNOMIALS TO BE CONGRUENT TO THE PRODUCT OF LINEAR POLYNOMIALS (mod ) ZHI-HONG SUN Deartment of Mathematics, Huaiyin Teachers College, Huaian 223001, Jiangsu, P. R. China e-mail: hyzhsun@ublic.hy.js.cn
More informationJ. Combin. Theory Ser. A 116(2009), no. 8, A NEW EXTENSION OF THE ERDŐS-HEILBRONN CONJECTURE
J. Combin. Theory Ser. A 116(2009), no. 8, 1374 1381. A NEW EXTENSION OF THE ERDŐS-HEILBRONN CONJECTURE Hao Pan and Zhi-Wei Sun Department of Mathematics, Naning University Naning 210093, People s Republic
More informationNumber Theory Marathon. Mario Ynocente Castro, National University of Engineering, Peru
Number Theory Marathon Mario Ynocente Castro, National University of Engineering, Peru 1 2 Chapter 1 Problems 1. (IMO 1975) Let f(n) denote the sum of the digits of n. Find f(f(f(4444 4444 ))). 2. Prove
More information6 Binary Quadratic forms
6 Binary Quadratic forms 6.1 Fermat-Euler Theorem A binary quadratic form is an exression of the form f(x,y) = ax 2 +bxy +cy 2 where a,b,c Z. Reresentation of an integer by a binary quadratic form has
More informationSuper congruences involving binomial coefficients and new series for famous constants
Tal at the 5th Pacific Rim Conf. on Math. (Stanford Univ., 2010 Super congruences involving binomial coefficients and new series for famous constants Zhi-Wei Sun Nanjing University Nanjing 210093, P. R.
More informationA PROBLEM ON THE CONJECTURE CONCERNING THE DISTRIBUTION OF GENERALIZED FERMAT PRIME NUMBERS (A NEW METHOD FOR THE SEARCH FOR LARGE PRIMES)
A PROBLEM ON THE CONJECTURE CONCERNING THE DISTRIBUTION OF GENERALIZED FERMAT PRIME NUMBERS A NEW METHOD FOR THE SEARCH FOR LARGE PRIMES) YVES GALLOT Abstract Is it possible to improve the convergence
More informationThe Mass Formula for Binary Quadratic Forms
The Mass Formula for Binary Quadratic Forms by John Paul Cook A well-documented question from classical number theory pertains to the different representations of an integer k by a binary quadratic form.
More informationExtending Theorems of Serret and Pavone
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 20 (2017), Article 17.10.5 Extending Theorems of Serret and Pavone Keith R. Matthews School of Mathematics and Physics University of Queensland Brisbane
More informationActa Arith., 140(2009), no. 4, ON BIALOSTOCKI S CONJECTURE FOR ZERO-SUM SEQUENCES. 1. Introduction
Acta Arith., 140(009), no. 4, 39 334. ON BIALOSTOCKI S CONJECTURE FOR ZERO-SUM SEQUENCES SONG GUO AND ZHI-WEI SUN* arxiv:081.174v3 [math.co] 16 Dec 009 Abstract. Let n be a positive even integer, and let
More informationRepresented Value Sets for Integral Binary Quadratic Forms and Lattices
Southern Illinois University Carbondale OpenSIUC Articles and Preprints Department of Mathematics 2007 Represented Value Sets for Integral Binary Quadratic Forms and Lattices A. G. Earnest Southern Illinois
More informationNumber Theory Marathon. Mario Ynocente Castro, National University of Engineering, Peru
Number Theory Marathon Mario Ynocente Castro, National University of Engineering, Peru 1 2 Chapter 1 Problems 1. (IMO 1975) Let f(n) denote the sum of the digits of n. Find f(f(f(4444 4444 ))). 2. Prove
More informationOn arithmetic functions of balancing and Lucas-balancing numbers
MATHEMATICAL COMMUNICATIONS 77 Math. Commun. 24(2019), 77 1 On arithmetic functions of balancing and Lucas-balancing numbers Utkal Keshari Dutta and Prasanta Kumar Ray Department of Mathematics, Sambalpur
More informationON DIRICHLET S CONJECTURE ON RELATIVE CLASS NUMBER ONE
ON DIRICHLET S CONJECTURE ON RELATIVE CLASS NUMBER ONE AMANDA FURNESS Abstract. We examine relative class numbers, associated to class numbers of quadratic fields Q( m) for m > 0 and square-free. The relative
More informationApéry Numbers, Franel Numbers and Binary Quadratic Forms
A tal given at Tsinghua University (April 12, 2013) and Hong Kong University of Science and Technology (May 2, 2013) Apéry Numbers, Franel Numbers and Binary Quadratic Forms Zhi-Wei Sun Nanjing University
More informationON MONIC BINARY QUADRATIC FORMS
ON MONIC BINARY QUADRATIC FORMS JEROME T. DIMABAYAO*, VADIM PONOMARENKO**, AND ORLAND JAMES Q. TIGAS*** Abstract. We consider the quadratic form x +mxy +ny, where m n is a prime number. Under the assumption
More informationSome Congruences for the Partial Bell Polynomials
3 47 6 3 Journal of Integer Seuences, Vol. 009), Article 09.4. Some Congruences for the Partial Bell Polynomials Miloud Mihoubi University of Science and Technology Houari Boumediene Faculty of Mathematics
More informationk 2r n k n n k) k 2r+1 k 2r (1.1)
J. Number Theory 130(010, no. 1, 701 706. ON -ADIC ORDERS OF SOME BINOMIAL SUMS Hao Pan and Zhi-Wei Sun Abstract. We prove that for any nonnegative integers n and r the binomial sum ( n k r is divisible
More informationFive peculiar theorems on simultaneous representation of primes by quadratic forms
Five peculiar theorems on simultaneous representation of primes by quadratic forms David Brink January 2008 Abstract It is a theorem of Kaplansky that a prime p 1 (mod 16) is representable by both or none
More informationA talk given at University of Wisconsin at Madison (April 6, 2006). Zhi-Wei Sun
A tal given at University of Wisconsin at Madison April 6, 2006. RECENT PROGRESS ON CONGRUENCES INVOLVING BINOMIAL COEFFICIENTS Zhi-Wei Sun Department of Mathematics Nanjing University Nanjing 210093,
More informationSchool of Mathematics
School of Mathematics Programmes in the School of Mathematics Programmes including Mathematics Final Examination Final Examination 06 22498 MSM3P05 Level H Number Theory 06 16214 MSM4P05 Level M Number
More informationINDEFINITE QUADRATIC FORMS AND PELL EQUATIONS INVOLVING QUADRATIC IDEALS
INDEFINITE QUADRATIC FORMS AND PELL EQUATIONS INVOLVING QUADRATIC IDEALS AHMET TEKCAN Communicated by Alexandru Zaharescu Let p 1(mod 4) be a prime number, let γ P + p Q be a quadratic irrational, let
More informationarxiv: v3 [math.nt] 28 Jul 2012
SOME REMARKS ON RANKIN-COHEN BRACKETS OF EIGENFORMS arxiv:1111.2431v3 [math.nt] 28 Jul 2012 JABAN MEHER Abstract. We investigate the cases for which products of two quasimodular or nearly holomorphic eigenforms
More informationElementary Number Theory MARUCO. Summer, 2018
Elementary Number Theory MARUCO Summer, 2018 Problem Set #0 axiom, theorem, proof, Z, N. Axioms Make a list of axioms for the integers. Does your list adequately describe them? Can you make this list as
More informationMath 118: Advanced Number Theory. Samit Dasgupta and Gary Kirby
Math 8: Advanced Number Theory Samit Dasgupta and Gary Kirby April, 05 Contents Basics of Number Theory. The Fundamental Theorem of Arithmetic......................... The Euclidean Algorithm and Unique
More informationELEMENTARY PROOFS OF PARITY RESULTS FOR 5-REGULAR PARTITIONS
Bull Aust Math Soc 81 (2010), 58 63 doi:101017/s0004972709000525 ELEMENTARY PROOFS OF PARITY RESULTS FOR 5-REGULAR PARTITIONS MICHAEL D HIRSCHHORN and JAMES A SELLERS (Received 11 February 2009) Abstract
More informationRings and modular arithmetic
Chapter 8 Rings and modular arithmetic So far, we have been working with just one operation at a time. But standard number systems, such as Z, have two operations + and which interact. It is useful to
More informationFermat numbers and integers of the form a k + a l + p α
ACTA ARITHMETICA * (200*) Fermat numbers and integers of the form a k + a l + p α by Yong-Gao Chen (Nanjing), Rui Feng (Nanjing) and Nicolas Templier (Montpellier) 1. Introduction. In 1849, A. de Polignac
More informationarxiv: v1 [math.nt] 22 Jan 2019
Factors of some truncated basic hypergeometric series Victor J W Guo School of Mathematical Sciences, Huaiyin Normal University, Huai an 223300, Jiangsu People s Republic of China jwguo@hytceducn arxiv:190107908v1
More informationRepresentation of prime numbers by quadratic forms
Representation of prime numbers by quadratic forms Bachelor thesis in Mathematics by Simon Hasenfratz Supervisor: Prof. R. Pink ETH Zurich Summer term 2008 Introduction One of the most famous theorems
More informationQUADRATIC RESIDUES OF CERTAIN TYPES
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 36, Number 6, 2006 QUADRATIC RESIDUES OF CERTAIN TYPES ALEXANDRU GICA ABSTRACT. The main purpose of the paper is to show that if p is a prime different from
More informationElementary Properties of Cyclotomic Polynomials
Elementary Properties of Cyclotomic Polynomials Yimin Ge Abstract Elementary properties of cyclotomic polynomials is a topic that has become very popular in Olympiad mathematics. The purpose of this article
More informationarxiv: v5 [math.nt] 22 Aug 2013
Prerint, arxiv:1308900 ON SOME DETERMINANTS WITH LEGENDRE SYMBOL ENTRIES arxiv:1308900v5 [mathnt] Aug 013 Zhi-Wei Sun Deartment of Mathematics, Nanjing University Nanjing 10093, Peole s Reublic of China
More informationTheory of Numbers Problems
Theory of Numbers Problems Antonios-Alexandros Robotis Robotis October 2018 1 First Set 1. Find values of x and y so that 71x 50y = 1. 2. Prove that if n is odd, then n 2 1 is divisible by 8. 3. Define
More informationSubset sums modulo a prime
ACTA ARITHMETICA 131.4 (2008) Subset sums modulo a prime by Hoi H. Nguyen, Endre Szemerédi and Van H. Vu (Piscataway, NJ) 1. Introduction. Let G be an additive group and A be a subset of G. We denote by
More informationActa Mathematica Universitatis Ostraviensis
Acta Mathematica Universitatis Ostraviensis Jiří Klaška Short remark on Fibonacci-Wieferich primes Acta Mathematica Universitatis Ostraviensis, Vol. 15 (2007), No. 1, 21--25 Persistent URL: http://dml.cz/dmlcz/137492
More informationSome generalizations of a supercongruence of van Hamme
Some generalizations of a supercongruence of van Hamme Victor J. W. Guo School of Mathematical Sciences, Huaiyin Normal University, Huai an, Jiangsu 3300, People s Republic of China jwguo@hytc.edu.cn Abstract.
More informationExact exponent in the remainder term of Gelfond s digit theorem in the binary case
ACTA ARITHMETICA 136.1 (2009) Exact exponent in the remainder term of Gelfond s digit theorem in the binary case by Vladimir Shevelev (Beer-Sheva) 1. Introduction. For integers m > 1 and a [0, m 1], define
More information= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2
8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose
More informationIntroduction to Lucas Sequences
A talk given at Liaoning Normal Univ. (Dec. 14, 017) Introduction to Lucas Sequences Zhi-Wei Sun Nanjing University Nanjing 10093, P. R. China zwsun@nju.edu.cn http://math.nju.edu.cn/ zwsun Dec. 14, 017
More informationREPRESENTATION OF A POSITIVE INTEGER BY A SUM OF LARGE FOUR SQUARES. Byeong Moon Kim. 1. Introduction
Korean J. Math. 24 (2016), No. 1, pp. 71 79 http://dx.doi.org/10.11568/kjm.2016.24.1.71 REPRESENTATION OF A POSITIVE INTEGER BY A SUM OF LARGE FOUR SQUARES Byeong Moon Kim Abstract. In this paper, we determine
More informationSome sophisticated congruences involving Fibonacci numbers
A tal given at the National Center for Theoretical Sciences (Hsinchu, Taiwan; July 20, 2011 and Shanghai Jiaotong University (Nov. 4, 2011 Some sohisticated congruences involving Fibonacci numbers Zhi-Wei
More informationPublic-key Cryptography: Theory and Practice
Public-key Cryptography Theory and Practice Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Chapter 2: Mathematical Concepts Divisibility Congruence Quadratic Residues
More informationMathematics for Cryptography
Mathematics for Cryptography Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo Waterloo, Ontario, N2L 3G1, Canada March 15, 2016 1 Groups and Modular Arithmetic 1.1
More informationOn Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers
A tal given at the Institute of Mathematics, Academia Sinica (Taiwan (Taipei; July 6, 2011 On Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers Zhi-Wei Sun Nanjing University
More informationIntroduction to Information Security
Introduction to Information Security Lecture 5: Number Theory 007. 6. Prof. Byoungcheon Lee sultan (at) joongbu. ac. kr Information and Communications University Contents 1. Number Theory Divisibility
More informationarxiv: v1 [math.co] 8 Sep 2017
NEW CONGRUENCES FOR BROKEN k-diamond PARTITIONS DAZHAO TANG arxiv:170902584v1 [mathco] 8 Sep 2017 Abstract The notion of broken k-diamond partitions was introduced by Andrews and Paule Let k (n) denote
More informationA talk given at the City Univ. of Hong Kong on April 14, ON HILBERT S TENTH PROBLEM AND RELATED TOPICS
A talk given at the City Univ. of Hong Kong on April 14, 000. ON HILBERT S TENTH PROBLEM AND RELATED TOPICS Zhi-Wei Sun Department of Mathematics Nanjing University Nanjing 10093 People s Republic of China
More informationHASSE-MINKOWSKI THEOREM
HASSE-MINKOWSKI THEOREM KIM, SUNGJIN 1. Introduction In rough terms, a local-global principle is a statement that asserts that a certain property is true globally if and only if it is true everywhere locally.
More informationASSIGNMENT Use mathematical induction to show that the sum of the cubes of three consecutive non-negative integers is divisible by 9.
ASSIGNMENT 1 1. Use mathematical induction to show that the sum of the cubes of three consecutive non-negative integers is divisible by 9. 2. (i) If d a and d b, prove that d (a + b). (ii) More generally,
More informationOn the prime divisors of elements of a D( 1) quadruple
arxiv:1309.4347v1 [math.nt] 17 Sep 2013 On the prime divisors of elements of a D( 1) quadruple Anitha Srinivasan Abstract In [4] it was shown that if {1,b,c,d} is a D( 1) quadruple with b < c < d and b
More informationON THE LENGTH OF THE PERIOD OF A REAL QUADRATIC IRRATIONAL. N. Saradha
Indian J Pure Appl Math, 48(3): 311-31, September 017 c Indian National Science Academy DOI: 101007/s136-017-09-4 ON THE LENGTH OF THE PERIOD OF A REAL QUADRATIC IRRATIONAL N Saradha School of Mathematics,
More informationOn the number of semi-primitive roots modulo n
Notes on Number Theory and Discrete Mathematics ISSN 1310 5132 Vol. 21, 2015, No., 8 55 On the number of semi-primitive roots modulo n Pinkimani Goswami 1 and Madan Mohan Singh 2 1 Department of Mathematics,
More informationThe primitive root theorem
The primitive root theorem Mar Steinberger First recall that if R is a ring, then a R is a unit if there exists b R with ab = ba = 1. The collection of all units in R is denoted R and forms a group under
More informationSolving the general quadratic congruence. y 2 Δ (mod p),
Quadratic Congruences Solving the general quadratic congruence ax 2 +bx + c 0 (mod p) for an odd prime p (with (a, p) = 1) is equivalent to solving the simpler congruence y 2 Δ (mod p), where Δ = b 2 4ac
More informationPractice Final Solutions
Practice Final Solutions 1. Find integers x and y such that 13x + 1y 1 SOLUTION: By the Euclidean algorithm: One can work backwards to obtain 1 1 13 + 2 13 6 2 + 1 1 13 6 2 13 6 (1 1 13) 7 13 6 1 Hence
More information3 The fundamentals: Algorithms, the integers, and matrices
3 The fundamentals: Algorithms, the integers, and matrices 3.4 The integers and division This section introduces the basics of number theory number theory is the part of mathematics involving integers
More informationCongruences involving Bernoulli and Euler numbers Zhi-Hong Sun
The aer will aear in Journal of Nuber Theory. Congruences involving Bernoulli Euler nubers Zhi-Hong Sun Deartent of Matheatics, Huaiyin Teachers College, Huaian, Jiangsu 300, PR China Received January
More informationSection VI.33. Finite Fields
VI.33 Finite Fields 1 Section VI.33. Finite Fields Note. In this section, finite fields are completely classified. For every prime p and n N, there is exactly one (up to isomorphism) field of order p n,
More informationRelative Densities of Ramified Primes 1 in Q( pq)
International Mathematical Forum, 3, 2008, no. 8, 375-384 Relative Densities of Ramified Primes 1 in Q( pq) Michele Elia Politecnico di Torino, Italy elia@polito.it Abstract The relative densities of rational
More informationreview To find the coefficient of all the terms in 15ab + 60bc 17ca: Coefficient of ab = 15 Coefficient of bc = 60 Coefficient of ca = -17
1. Revision Recall basic terms of algebraic expressions like Variable, Constant, Term, Coefficient, Polynomial etc. The coefficients of the terms in 4x 2 5xy + 6y 2 are Coefficient of 4x 2 is 4 Coefficient
More informationThe Diophantine equation x n = Dy 2 + 1
ACTA ARITHMETICA 106.1 (2003) The Diophantine equation x n Dy 2 + 1 by J. H. E. Cohn (London) 1. Introduction. In [4] the complete set of positive integer solutions to the equation of the title is described
More informationNew Congruences for Broken k-diamond Partitions
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 21 (2018), Article 18.5.8 New Congruences for Broken k-diamond Partitions Dazhao Tang College of Mathematics and Statistics Huxi Campus Chongqing University
More informationSOLUTIONS Math 345 Homework 6 10/11/2017. Exercise 23. (a) Solve the following congruences: (i) x (mod 12) Answer. We have
Exercise 23. (a) Solve the following congruences: (i) x 101 7 (mod 12) Answer. We have φ(12) = #{1, 5, 7, 11}. Since gcd(7, 12) = 1, we must have gcd(x, 12) = 1. So 1 12 x φ(12) = x 4. Therefore 7 12 x
More informationD( 1)-QUADRUPLES AND PRODUCTS OF TWO PRIMES. Anitha Srinivasan Saint Louis University-Madrid campus, Spain
GLASNIK MATEMATIČKI Vol. 50(70)(2015), 261 268 D( 1)-QUADRUPLES AND PRODUCTS OF TWO PRIMES Anitha Srinivasan Saint Louis University-Madrid campus, Spain Abstract. A D( 1)-quadruple is a set of positive
More informationx 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p,
13. Quadratic Residues We now turn to the question of when a quadratic equation has a solution modulo m. The general quadratic equation looks like ax + bx + c 0 mod m. Assuming that m is odd or that b
More informationx 9 or x > 10 Name: Class: Date: 1 How many natural numbers are between 1.5 and 4.5 on the number line?
1 How many natural numbers are between 1.5 and 4.5 on the number line? 2 How many composite numbers are between 7 and 13 on the number line? 3 How many prime numbers are between 7 and 20 on the number
More informationElliptic Curves and the abc Conjecture
Elliptic Curves and the abc Conjecture Anton Hilado University of Vermont October 16, 2018 Anton Hilado (UVM) Elliptic Curves and the abc Conjecture October 16, 2018 1 / 37 Overview 1 The abc conjecture
More informationarxiv: v1 [math.nt] 23 Jan 2019
SOME NEW q-congruences FOR TRUNCATED BASIC HYPERGEOMETRIC SERIES arxiv:1901.07962v1 [math.nt] 23 Jan 2019 VICTOR J. W. GUO AND MICHAEL J. SCHLOSSER Abstract. We provide several new q-congruences for truncated
More informationJournal of Number Theory
Journal of Number Theory 130 (2010) 1737 1749 Contents lists available at ScienceDirect Journal of Number Theory www.elsevier.com/locate/jnt A binary linear recurrence sequence of composite numbers Artūras
More informationHomework 7 solutions M328K by Mark Lindberg/Marie-Amelie Lawn
Homework 7 solutions M328K by Mark Lindberg/Marie-Amelie Lawn Problem 1: 4.4 # 2:x 3 + 8x 2 x 1 0 (mod 1331). a) x 3 + 8x 2 x 1 0 (mod 11). This does not break down, so trial and error gives: x = 0 : f(0)
More informationMultiplication of Polynomials
Summary 391 Chapter 5 SUMMARY Section 5.1 A polynomial in x is defined by a finite sum of terms of the form ax n, where a is a real number and n is a whole number. a is the coefficient of the term. n is
More information