Perfect powers in Arithmetic Progression
|
|
- Harvey Sullivan
- 6 years ago
- Views:
Transcription
1 isid/ms/015/18 October 1, statmath/index.php?module=preprint Perfect powers in Arithmetic Progression Shanta Laishram and T. N. Shorey Indian Statistical Institute, Delhi Centre 7, SJSS Marg, New Delhi , India
2
3 PERFECT POWERS IN ARITHMETIC PROGRESSION SHANTA LAISHRAM AND T. N. SHOREY Abstract. The conjecture of Masser-Oesterlé, popularly known as abc-conjecture have many consequences. We use an explicit version due to Baker to solve the equation n(n + d) (n + (k 1)d) = by l in positive integer variables n, d, k, b, y, l such that b square free with the largest prime divisor of b at most k, k, l and gcd(n, d) = Introduction Let n, d, k, b, y be positive integers such that b is square free with P (b) k, k, l and gcd(n, d) = 1. Here P (m) denotes the largest prime divisor of m with the convention P (1) = 1. We consider the equation (1) n(n + d) (n + (k 1)d) = by l in variables n, d, k, b, y, l. If k =, we observe that () has infinitely many solutions. Therefore we always suppose that k 3. It has been conjectured (see [Tij88], [SaSh05]) that Conjecture 1.1. Equation (1) implies that (k, l) {(3, 3), (, ), (3, )}. It is known that (1) has infinitely many solutions when (k, l) {(3, ), (3, 3)(, )}. A weaker version of Conjecture 1.1 is the following conjecture due to Erdős. Conjecture 1.. Equation (1) implies that k is bounded by an absolute constant. For an account of results on (1), we refer to Shorey [Sho0b] and [Sho06]. The well known conjecture of Masser-Oesterle states that Conjecture 1.3. Oesterlé and Masser s abc-conjecture: For any given ɛ > 0 there exists a computable constant c ɛ depending only on ɛ such that if () a + b = c where a, b and c are coprime positive integers, then c c ɛ p p abc 1+ɛ. Key words and phrases. abc Conjecture, Arithmetic progressions, Erdős Conjecture. 1
4 SHANTA LAISHRAM AND T. N. SHOREY It is known as abc-conjecture; the name derives from the usage of letters a, b, c in (). For any positive integer i > 1, let N = N(i) = p i p be the radical of i, P (i) be the greatest prime factor of i and ω(i) be the number of distinct prime factors of i and we put N(1) = 1, P (1) = 1 and ω(1) = 0. It has been shown in Elkies [Elk91] and Granville and Tucker [GrTu0, (13)] that abc-conjecture is equivalent to the following: Conjecture 1.. Let F (x, y) Z[x, y] be a homogenous polynomial. Assume that F has pairwise non-proportional linear factors in its factorisation over C. Given ɛ > 0, there exists a computable constant κ ɛ depending only on F and ɛ such that if m and n are coprime integers, then p κ ɛ (max{ m, n }) deg(f ) ɛ. p F (m,n) Shorey [Sho99] showed that abc-conjecture implies Conjecture 1. for l using d k c 1 log log k. Granville (unpublished) gave a proof of the preceding result without using the inequality d k c 1 log log k. Furthermore his proof is also valid for l =, 3. Theorem 1. The abc conjecture implies Conjecture (1.). The proof was first published in the Master s Thesis of first author [Lai0]. We include the proof in this paper to have a published literature. This is given in Section 6. We would like to thank Professor A. Granville for allowing us to publish his proof. An explicit version of Conjecture due to Baker [Bak9] is the following: Conjecture 1.5. Explicit abc-conjecture: Let a, b and c be pairwise coprime positive integers satisfying (). Then where N = N(abc) and ω = ω(n). c < 6 (log N)ω N 5 ω! We observe that N = N(abc) whenever a, b, c satisfy (). We shall refer to Conjecture 1.3 as abc conjecture and Conjecture 1.5 as explicit abc conjecture. Conjecture 1.5 implies the following explicit version of Conjecture 1.3 proved in [LaSh1]. Theorem. Assume Conjecture 1.5. Let a, b and c be pairwise coprime positive integers satisfying () and N = N(abc). Then we have (3) c < N Further for 0 < ɛ 3, there exists an integer ω ɛ depending only ɛ such that when N = N(abc) N ɛ = p p ωɛ p, we have c < κ ɛ N 1+ɛ
5 where PERFECT POWERS IN ARITHMETIC PROGRESSION 3 κ ɛ = 6 5 π max(ω, ω ɛ ) 6 5 πω ɛ with ω = ω(n). Here are some values of ɛ, ω ɛ and N ɛ. 3 ɛ ω ɛ N ɛ e e 0.75 e e e e e Thus c < N which was conjectured in Granville and Tucker [GrTu0]. As a consequence of Theorem, we prove Theorem 3. Assume Conjecture 1.5. Then the equation () n(n + d) (n + (k 1)d) = by l in integers n 1, d > 1, k, b 1, y 1, l > 1 with gcd(n, d) = 1 and P (b) k implies l 7. Further k < e when l = 7. We observe that e < e e9.5. Theorem 3 is a considerable improvement of Saradha [Sar1] where it is shown that () with k 8 implies that l 9 and further k 8, 3, 10, 10 7 and e e80 according as l = 9, l {3, 19}, l = 17, 13 and l {11, 7}, respectively.. Notation and Preliminaries For an integer i > 0, let p i denote the i th prime. We always write p for a prime number. For a real x > 0 and d Z, d 1, let π d (x) = p and θ(x) = log(θ(x)). p x,p d 1, π(x) = π 1 (x) = p x 1, Θ(x) = p x We write log i for log(log i). Here we understand that log 1 =. Lemma.1. We have (i) π(x) x ( ) for x > 1. log x log x (ii) p i i(log i + log i 1) for i 1 (iii) θ(p i ) i(log i + log i ) for i 1 (iv) θ(x) < x for x > 0 (v) πk( k e )k e 1 1k+1 k! πk( k e )k e 1 1k. The estimates (i) and (ii) are due to Dusart, see [Dus99b] and [Dus99a], respectively. The estimate (iii) is [Rob83, Theorem 6]. For estimate (iv), see [Dus99b]. The estimate (v) is [Rob55, Theorem 6].
6 SHANTA LAISHRAM AND T. N. SHOREY 3. Proof of Theorem 3 Let n, d, k, b, y be positive integers with n 1, d > 1, k, b 1, y 1, gcd(n, d) = 1 and P (b) k. We consider the Diophantine equation (5) n(n + d) (n + (k 1)d) = by l. Observe that P (n(n + d) (n + (k 1)d)) > k by a result of Shorey and Tijdeman [ShTi90] and hence P (y) > k and n + (k 1)d (k + 1) l. For every 0 i < k, we write n + id = A i X l i with P (A i ) k and (X i, p k p) = 1. Without loss of generality, we may assume that k = or k 5 is a prime which we assume throughout in this section. We observe that (A i, d) = 1 for 0 i < k and (X i, X j ) = 1. Let S 0 = {A 0, A 1,..., A k 1 }. For every prime p k and p d, let i p be such that ord p (A i ) =ord p (n + id) ord p (n + i p d) for 0 i < k. For a S S 0, let S = S {A ip : p k, p d}. Then S S π d (k). By Sylvester-Erdős inequality(see [ErSe75, Lemma ] for example), we obtain (6) A i (k 1)! p ordp((k 1)!). A i S As a consequence, we have Lemma 3.1. Let α, β R with α 1, β < 1 and eβ < α. Let For (7) ( log( eα β ) + k log(αk) log k k max{ we have S 1 > βk. p d S 1 := S 1 (α) := {A i S 0 : A i αk} log k log(eα) + β log ( β eα ) log(αk) ), exp( log k 1 β )} Proof. Let S = S 0, s 1 = S 1 and s = S S 1. Then s k π(k) s 1. We get from (6) that (8) k π(k) s 1 s 1! ([αk + i]) A i (k 1)! i=1 A i S since elements of S S 1 are distinct and the product on the left side is taken to be 1 if k π(k) s 1.
7 PERFECT POWERS IN ARITHMETIC PROGRESSION 5 Suppose s 1 βk. If k π(k) s 1, then using Lemma.1 (i), we get (1 β) log k < which is not possible by (7). Hence k π(k) > s log k 1. By using Lemma.1 (v), we obtain (αk) k π(k) (k 1)! ( π(k 1) k 1 ) k 1 1 < (αk) s 1 e e 1(k 1) < if s 1 = 0 ) s1 ( s 1! k 1 ) k 1 if s 1 > 0. ( k 1 s 1 We check that the expression for s 1 = 0 is less than that of s 1 = 1 since α 1. Observe that k 1 ( αke ) s 1 s 1 s 1 is an increasing function of s 1 since s 1 βk and eβ < α. This can be verified by taking log of the above expression and differentiating it with respect to s 1. Therefore ( ) βk ( ) k 1 ( ) βk ( ) k 1 (αk) k π(k) k 1 eα k 1 1 eα k < < βk β e β β e implying Using Lemma.1 (i), we obtain ( ) β log(eα) + β log < 1 eα k αke s 1 ( ) βk β (eα) k < eα (αk) π(k) 1. eα β eα log( ) + log(αk) ( ) β log k log k e log(αk). k The right hand side of the above inequality is a decreasing function of k for k given log αk by (7). This can be verified by observing that = 1 + log α and differentiating log k log k 1.76+log α log(αk) with respect to k. This is a contradiction for k given by (7). log k k Corollary 3.. For k > 113, there exist 0 f < g < h < k with h f 8 such that max(a f, A g, A h ) k. Proof. By dividing [0, k 1] into subintervals of the form [9i, 9(i + 1)), it suffices to show S 1 () > ([ k] + 1) where S 9 1 is as defined in Lemma 3.1. Taking α =, β = 1, we obtain from Lemma 3.1 that for k 700, S 1 () > k > ([ k ] + 1). Thus we may 9 suppose k < 700 and S 1 () ([ k ] + 1). For each prime k with 113 < k < 700, 9 taking α = and βk = ([ k ] + 1) in Lemma 3.1, we get a contradiction from (8). 9 Therefore S 1 () > ([ k ] + 1) and the assertion follows. 9 (9) Given 0 f < g < h k 1, we have (h f)a g X l g = (h g)a f X l f + (g f)a h X l h. Let λ =gcd(h f, h g, g f) and write h f = λw, h g = λu, g f = λv. Rewriting h f = h g + g f as w = u + v with gcd(u, v) = 1,
8 6 SHANTA LAISHRAM AND T. N. SHOREY (9) can be written as (10) Let G = gcd(wa g, ua f, va h ), (11) and we rewrite (10) as (1) Note that gcd(rx l f, sxl h ) = 1. wa g X l g = ua f X l f + va h X l h. r = ua f G, s = va h G, t = wa g G tx l g = rx l f + sx l h. From now on, we assume explicit abc conjecture. Given ɛ > 0, let N(rstX f X g X h ) N ɛ which we assume from now on till the expression (18). By Theorem, we obtain (13) i.e., (1) tx l g < κ ɛ N(rstX f X g X h ) 1+ɛ Xg l N(rst) 1+ɛ (X f X g X h ) 1+ɛ < κ ɛ. t Here N ɛ = κ ɛ = 1 if ɛ > 3. For ɛ = 3/, by abuse of notation, we will be taking either N ɛ = 1, κ ɛ = 1 or N ɛ = e , κ ɛ 6 5 if N(rstX 8π fx g X h ) N 3. We will be taking ɛ = 3 5 for l > 7 and ɛ {, 1 } for l = 7. We have from (13) that 1 3 Putting X 3 = X f X g X h, we obtain rst(x f X g X h ) l < κ 3 ɛn(rst) 3(1+ɛ) (X f X g X h ) 3(1+ɛ). (15) X l 3(1+ɛ) < κ ɛ N(rst) 3 +ɛ = κ ɛ N( uvwa fa g A h G 3 ) 3 +ɛ. Again from (1), we have implying rs(x f X h ) l Therefore we have from (1) that (16) i.e., (17) ( rx l f + sx l h ) = t X l g ( ) 1 ( t l X f X h X g X 3 w A ) 1 l g rs g = Xg 3. uva f A h N(rst) 1+ɛ X Xg l g 3+3ɛ < κ ɛ t X l 3(1+ɛ) g ( t rs N(rst) (1+ɛ)(1 1 l ) < κ ɛ 1+ɛ l 3(1+ɛ) 1 t l ) 1+ɛ l N(rst) 1+ɛ Xg 3+3ɛ = κ ɛ (rst) 1+ɛ l 3(1+ɛ) 1 t l N(rs)(1+ɛ)(1 1 l ) N(t) ɛ+ (1+ɛ) l. 1+ɛ l
9 We also have from (17) that (18) PERFECT POWERS IN ARITHMETIC PROGRESSION 7 X l 3(1+ɛ) g N( uvaf Ah G < κ ɛ ) (1+ɛ)(1 1 l ) N( wag G 1+ɛ l (1+ɛ) )ɛ+ l Lemma 3.3. Let l 11. Let S 0 = {A 0, A 1,..., A k 1 } = {B 0, B 1,..., B k 1 } with B 0 B 1... B k 1. Then In particular S 0 k 1. B 0 B 1 < B... < B k 1.. Proof. Suppose there exists 0 f < g < h < k with {f, g, h} = {i 1, i, i 3 } and A i1 = A i = A and A i3 A. By (10) and (11), we see that max(a f, A g, A h ) G and therefore r u < k, s v < k and t w < k. Since X g > k, we get from the first inequality of (17) with ɛ = 3, N ɛ = κ ɛ = 1 that k l 3(1+ɛ) < (rs) (1+ɛ)(1 1 l ) (1+ɛ) ɛ+ t l < k +3ɛ implying l < 5 + 6ɛ = This is a contradiction since l 11. Therefore either A i s are distinct or if A i = A j = A, then A m > A for m / {i, j} implying the assertion. As a consequence, we have Corollary 3.. Let d be even and l 11. Then k 1. Proof. Let d be even and l 11. Then we get from (6) with S = S 0 that A i (k 1)! ord((k 1)!) = (i + 1). A i S i+1 k 1 Observe that the right hand side of the above inequality is the product of all positive odd numbers less than k. On the other hand, since gcd(n, d) = 1, we see that all A i s are odd and S S 0 π(k) k 1 π(k) by Lemma 3.3. Hence A i S A i k 1 π(k) i=1 (i 1). Observe here again that the right hand side of the above inequality is the product of first positive k 1 π(k) odd numbers. Hence we get a contradiction if (k 1 π(k)) 1 > k 1. Assume k + π(k). By Lemma.1 (i), we get (1 + ) k log k log k which is not possible for k 30. By using exact values of π(k), we check that k + π(k) is not possible for 15 k < 30. Hence the assertion. Lemma 3.5. Let l 11. Then k < 00.
10 8 SHANTA LAISHRAM AND T. N. SHOREY Proof. Assume that k 00. By Corollary 3., we may suppose that d is odd. Further by Corollary 3., there exists f < g < h with h f 8 and max(a f, A g, A h ) k. Since n + (k 1)d > k l, we observe that X f > k, X g > k, X h > k implying X > k. First assume that N = N(rstX f X g X h ) < e Then taking ɛ = 3, N ɛ = 1 in (13), we get k 11 txg l < N 1+ 3 e 37.1(1+ 3 ) which is a contradiction. Hence we may suppose that N e 37.1 N 3. Note that we have u + v = w h f 8. We observe that uvw is even. If A f A g A h is odd, then h f, g f, h g are all even implying 1 u, v, w or N(uvw) 6 giving N(uvwA f A g A h ) 6A f A g A h. Again if A f A g A h is even, then N(uvwA f A g A h ) N((uvw) )A f A g A h 35A f A g A h where (uvw) is the odd part of uvw and N((uvw) ) 35. Observe that N((uvw) ) is obtained when w = 7, u =, v = 5 or w = 7, u = 5, v =. Thus we always have N(uvwA f A g A h ) 35A f A g A h 35 (k) 3 since max(a f, A g, A h ) k. Therefore taking ɛ = 3 in (15), we obtain using l 11 and X > k that k 11 3(1+ 3 ) 6 < 5 8π (k) 3( ). This is a contradiction since k 00. Hence the assertion.. Proof of Theorem 3 for k < 00 We assume that l 11. It follows from the result of Saradha and Shorey [SaSh05, Theorem 1] that d > Hence we may suppose that d > in this section. i k Lemma.1. Let r k = [k + 1 π(k) log i ] and 15 log 10 Then I(k) r k. I(k) = {i [1, k] : P (n + id) > k}. Proof. Suppose not. Then I(k) r k 1. Let I (k) = {i [1, k] : P (n + id) k} = {i [1, k] : n + id = A i }. We have A i = n + id (n + d) for i I (k). Let S = {A i : i I (k)}. Then S k + 1 r k. From (6), we get (k 1)! A i S A i (n + d) S > d k+1 rk π(k). Since d > 10 15, we get k + 1 π(k) This is a contradiction. Here are some values of (k, r k ). i k log i 15 log 10 < r i k k = [k + 1 π(k) log i 15 log 10 ].
11 PERFECT POWERS IN ARITHMETIC PROGRESSION 9 k r k We give the strategy here. Let I k = [0, k 1] Z and a 0, b 0, z 0 be given. Let obtain a subset I 0 I k with the following properties: (1) I 0 z 0 3. () P (A i ) a 0 for i I 0. (3) I 0 [j 0, j 0 + b 0 1] for some j 0. () X 0 = max i I0 {X i } > k and let i 0 I 0 be such that X 0 = X i0. For any i, j I 0, taking {f, g, h} = {i, j, i 0 }, let N = N(rstX f X g X h ). Observe that X 0 p π(k)+1 and further for any f, g, h I 0, we have N(uvw) p b 0 1 p and N(A f A g A h ) p a 0 p. We will always take ɛ = 3, N ɛ = 1 so that κ ɛ = 1 in (13) to (18). Case I: Suppose there exists i, j I 0 such that X i = X j = 1. Taking {f, g, h} = {i, j, i 0 } and ɛ = 3, we obtain from (1) and l 11 that p 37 l 7 π(k)+1 X (19) 0 < N(uvwA f A g A h ) p. p max{a 0,b 0 1} Case II: There is at most one i I 0 such that X i = 1. Then {i I 0 : X i > k} z 0 1. We take a 1, b 1, z 1 and find a subset U 0 I 0 with the following properties: (1) U 0 z 1 3, z 0 z 1 z 0. () P (A i ) a 1 for i U 0. (3) U 0 [i, i + b 1 1] for some i. Let X 1 = max i U0 {X i } p π(k)+z1 1 and i 1 be such that X i1 = X 1. Taking {f, g, h} = {i, j, i 1 } for some i, j U 0 and ɛ = 3, we obtain from (17) and l 11 that p 3 l 7 π(k)+z1 1 X (0) 0 < N(uvwA f A g A h ) p p max{a 1,b 1 1} since l 11. One choice is (U 0, a 1, b 1, z 1 ) = (I 0, a 0, b 0, z 0 ). We state the other choice. Let b = max(a 0, b 0 1). For each b 0 1 < p b 1, we remove those i I 0 such that p (n + id). There are at most (π(b 1) π( b 0 1)) such i. Let I 0 be obtained from I 0 after deleting those i s. Then I 0 z 0 (π(b 1) π( b 0 1)). Let U 1 = I 0 [j 0, j 0 + b 0 1] and U 1 = I 0 [j 0 + b 0, j 0 + b 0 1]. Let U 0 {U 1, U } for which U 0 = max( U 1, U ) and choose one of them if U 1 = U. Then U 0 z 0 π(b 1) + π( b 0 1) = z 1. Further P (A i ) b 0 1 = a 1 and b 1 = b 0. Further X 1 = max i U0 {X i } p π(k)+z1 1. Our choice of z 0, a 0, b 0 will imply that z 1 3.
12 10 SHANTA LAISHRAM AND T. N. SHOREY.1. k {, 5, 7, 11} We take I 0 = U 0 = I k, a i = b i = z i = k for i {0, 1} and hence N(uvwA f A g A h ) p. And the assertion follows since both (19) and (0) are contradicted. p k.. k {13, 17, 19, 3} We take I 0 = {i [1, 11] : p (n+id) for 13 p 3}. Then by r 11 = 6 and Lemma.1 with k = 11, we see that I 0 z 0 = 11 > 11 r I(11). Therefore there exist an i I 0 I 11 and hence X i > 3. We take U 0 = I 0, a i = b i = 11, z 1 = z 0 for i {0, 1} and hence N(uvwA f A g A h ) p 11 p. And the assertion follows since both (19) and (0) are contradicted k 7 We take I 0 = {i [1, 17] : p (n + id) for 17 p k}. Then by r 17 = 10 and Lemma.1 with k = 17, we have I 0 z 0 = 17 (π(k) π(13)) = 3 π(k) 3 π(7) = 8 > 17 r I(17) implying that there exists i I 0 with X i > k. We take a i = 13, b i = 17, z i = 3 π(k) for i {0, 1} and hence N(uvwA f A g A h ) p 13 p. And the assertion follows since both (19) and (0) are contradicted... k 53 Given m and q such that mq < k, we consider the q intervals I j = [(j 1)m + 1, jm] Z for 1 j q and let I = q j=1 I j and I = {i I : m P (A i ) k}. There is at most one i I such that mq 1 < P (A i ) k and for each j q, there are at most j number of i I such that mq 1 < P (A j i ) mq 1. Therefore j 1 q ( I π(k) π(mq 1) + j π( mq 1 j 1 ) π(mq 1 ) ) j j=1 j= q 1 = π(k) + π( mq 1 ) qπ(m 1) =: T (k, m, q). j Hence there is at least one j such that I j I [ T (k,m,q) ]. We will choose q such that q ] < r m. Let I 0 = I j \I and let j 0 be such that I 0 [(j 0 1)m+1, j 0 m]. Then [ T (k,m,q) q p (n + id) imply p < m or p > k whenever i I 0. Further I 0 z 0 = m [ T (k,m,q ]. q Since [ T (k,m,q) ] < r q m, we get from Lemma.1 with k = m and n = (j 0 1)m that there is an i I 0 with X i > k. Further P (A i ) < m for all i I 0. Here are the choices of m and q.
13 PERFECT POWERS IN ARITHMETIC PROGRESSION 11 k 53 k < k < k < k < k < 33 (m, q) (17, 3) (8, 3) (36, 5) (36, 6) (36, 10) We have a 0 = m 1, b 0 = m and z 0 = m [ T (k,m,q) ] and we check that z q 0 3. The Subsection.3(9 k 7) is in fact obtained by considering m = 17, q = 1. Now we consider Cases I and II and try to get contradiction in both (19) and (0). For these choices of (m, q), we find that the Cases I are contradicted. Further taking U 0 = I 0, a 1 = a 0 = m 1, b 1 = b 0 = m, z 1 = z 0, we find that Case II is also contradicted for 53 k < 89. Thus the assertion follows in the case 53 k < 89. So, we consider k 89 and try to contradict Cases II. Recall that we have X i > k for all but at most one i I 0. Write I 0 = U 1 U where U 1 = I 0 [(j 0 1)m+1, (j 0 1)m+ m] and U = I 0 [(j 0 1)m+ m +1, j 0m]. Let U 0 = U 1 or U 0 = U according as U 1 z 0 or U z 0, respectively. Let U 0 = {i U 0 : p A i for m p < m}. Then U 0 z 1 := z 0 (π(m 1) π( m)) = m [ T (k,m,q) ] q (π(m 1) π( m )) 3. Further p (n + id) with i U 0 imply p < m or p > k. Now we have Case II with a 1 = m 1, b 1 = m and find that (0) is contradicted. Hence the assertion. 5. l = 7 Let l = 7. Assume that k exp(13006.). Taking α = 3, β = 1 3.1, we get in Lemma S 1 (3) = {i [0, k 1] : A i 3k} > k( ). For i s such that A i S 1 (3), we have X i > k and we arrange these X i s in increasing order as X i1 < X i <... <. Then X ij p π(k)+j. Consider the set J 0 = {i : X i p π(k)+[ k ] }. We have 15 J 0 > k( ) k ( 15 + [ k 1 ) ] Hence there are f, g, h J 0, f < g < h such that h f 8. Also A i 3k and X = (X f X g X h ) 1 3 p π(k)+[ k ]. 15 First assume that N = N(rstX f X g X g ) exp(6377) N 1. Observe that uvw 3 70 since u + v = w 8, obtained at + 5 = 7. Taking ɛ = 1, we obtain from 3 (15) and max(a f, A g, A h ) 3k that p 3 π(k)+[ k 15 ] < 5 6 π 658 N(uvwA fa g A h ) 5 70 (3k) π. Since π(k) > we have π(k) + [ k ] > k and hence p π(k)+[ k 15 ] > k log k by Lemma.1 (ii). Therefore ( log k ) ( 3 ( ) ) (3 15)3 < or k < 15 exp 5 190π π
14 1 SHANTA LAISHRAM AND T. N. SHOREY which is a contradiction since k exp(13006.). Therefore we have N = N(rstX f X g X h ) < exp(6377). We may also assume that N > exp(3895) otherwise taking ɛ = 3 in (13), we get k7 < Xg 7 < N 1+ 3 exp(3895 7) or k < exp( ) which is a contradiction. Now we take ɛ = 1 in (13) to get k 7 < Xg 7 < N exp( ) or k < exp(13006.). Hence the assertion abc-conjecture implies Erdős conjecture: Proof of Theorem 1 Assume (5). We show that k is bounded by a computable absolute constant. Let k k 0 where k 0 is a sufficiently large computable absolute constant. Let ɛ > 0. Let c 1, c, be positive computable constants depending only on ɛ. Let I = {i p p k and p d} where i p be as defined in beginning of Section 3. Let S = {A i : [ k] i < k or i I} and Φ = A i. i [ k ] i / I i [ k ] i / I By Sylvester-Erdős inequality(see [ErSe75, Lemma ] for example), we get { ( ordp (k [ k ord p (Φ) ord p (i i p ) ( ] 1 (i p [ k]))!(i p [ k])!) if i p [ k], (k 1 ip ) ) ord p k [ (k [ k ])! otherwise. k ] Since ord p (r!s!) ord p ((r + s)!) and k [ k] = [ k+1 ], we see that p ordp(φ) p ordp((k 1 ip [ k+1 ] )) k+1 ordp([ p ]!). Using the fact that p ordp((x k)) x for any x k, we get Φ (k 1) π d(k) ([ k + 1 ])! k k e c 1 k by using Lemma.1 (i), (v). Let D be a fixed positive integer and let { k 1 J = D j k 1 } 1 {Dj + 1, Dj +,, Dj + D} I = φ. D We shall choose D = 0. Let j, j J be such that j j. Then Dj + i Dj + i for 1 i, i D otherwise D(j j ) = (i i ) and i i < D. Further we also see that [ k k 1 ] Dj + i k 1 for 1 i D and consequently J π(k). For each D D j J, let Φ j = A Dj+i. Then j J Φ j divides Φ implying i=1 Φ j Φ k k e c 1 k. j J
15 PERFECT POWERS IN ARITHMETIC PROGRESSION 13 Thus there exists j 0 J such that ( ) Φ j0 k k 1 e c 1 k J ) ( k k e c 1 k ) 1 k 1 D π(k) c D k D. Let H := D (n + (Dj 0 + i)d). i=1 Since A Dj0 +ixdj l 0 +i n + (k 1)d, we have X Dj 0 +i ( n+(k 1)d A Dj0 ) 1 l. Thus +i p = p H p>k D X Dj0 +i (n + (k 1)d) D l (Φj0 ) 1 l i=1 Therefore p = p p Φ j 0 (n + (k 1)d) D l (Φj0 ) 1 D(1 l c 1 l ) k D(1 1 l ) (n + (k 1)d) D l. p H p H p k p H p>k On the other hand, we have H = F (n + Dj 0 d, d) where F (x, y) = D (x + iy) is a binary form in x and y of degree D such that F has distinct linear factors. From Conjecture 1., we have p c 3 (n + Dj 0 d) D ɛ. p H i=1 Comparing the lower and upper bounds of p H get +ɛ 1 D(1 k > c (n + (k 1)d) 1 l ). We now use n + (k 1)d > k l to derive that +ɛ l(1 D(1 c 5 > k 1 ) 1 l ). p and using n + Dj 0 d > n+(k 1)d, we Taking ɛ = 1 and putting D = 0, we get l c 6 > k l 1 1 8(l 1) k since l. This is a contradiction since k k 0 and k 0 is sufficiently large.
16 1 SHANTA LAISHRAM AND T. N. SHOREY Acknowledgments The second author would like to thank ISI, New Delhi where this work was initiated during his visit in July 011. References [Bak9] A. Baker, Experiments on the abc-conjecture, Publ. Math. Debrecen 65(00), [Dus99a] P. Dusart, The k th prime is greater than k(ln k + ln ln k 1) for k, Math. Comp. 68 (1999), [Dus99b] P. Dusart, Inégalitiés explicites pour ψ(x), θ(x), π(x) et les nombres premiers, C. R. Math. Rep. Acad. Sci. Canada 1(1)(1999), [Elk91] N. Elkies, ABC implies Mordell, Int. Math. Res. Not. 7 (1991), [ErSe75] P. Erdős and J. L. Selfridge, The product of consecutive integers is never a power, Illinois J. Math. 19 (1975), [GrTu0] A. Granville and T. J. Tucker, It s as easy as abc, Notices of the AMS, 9(00), [Lai0] S. Laishram, Topics in Diophantine equations, M.Sc. Thesis, TIFR/Mumbai University, 00, online at http: // shanta/mscthesis.pdf. [LaSh1] S. Laishram and T. N. Shorey, Baker s Explicit abc-conjecture and applications, Acta Arith., 155 (01), [Rob55] H. Robbins, A remark on Stirling s formula, Amer. Math. Monthly 6 (1955), 6-9. [Rob83] G. Robin, Estimation de la fonction de Tchebychef θ sur le k-ieme nombre premier et grandes valeurs de la fonction ω(n) nombre de diviseurs premiers de n, Acta Arith. (1983), [Sar1] N. Saradha, Applications of Explicit abc-conjecture on two Diophantine Equatiosn, Acta Arith., 151 (01), [SaSh05] N. Saradha and T. N. Shorey, Contributions towards a conjecture of Erdos on perfect powers in arithmetic progressions, Compositio Math., 11 (005), [Sho06] T. N. Shorey, Diophantine approximations, Diophantine equations, Transcendence and Applications, Indian Jour. of Pure and Applied Math, 37 (006), [Sho0b] T.N. Shorey, Powers in arithmetic progression (II), Analytic Number Theory, RIMS Kokyuroku (00), Kyoto University. [Sho99] T. N. Shorey, Exponential diophantine equations involving products of consecutive integers and related equations, Number Theory ed. R.P. Bambah, V.C. Dumir and R.J. Hans-Gill, Hindustan Book Agency (1999), [ShTi90] T. N. Shorey and R. Tijdeman, On the greatest prime factor of an arithmetical progression, A tribute to Paul Erdős, ed. by A. Baker, B. Bollobás and A. Hajnal, Cambridge University Press (1990), [Tij88] R. Tijdeman, Diophantine equations and diophantine approximations, Number Theory and Applications, Kluwer (1988), address: shanta@isid.ac.in Stat Math Unit, Indian Statistical Institute, 7 SJS Sansanwal Marg, New Delhi , India address: shorey@math.iitb.ac.in Department of Mathematics, Indian Institute of Technology Bombay, Powai, Mumbai 00076, India
PERFECT POWERS IN ARITHMETIC PROGRESSION
Perfect powers in Arithmetic Progression 1 PERFECT POWERS IN ARITHMETIC PROGRESSION Shanta Laishram Stat-Math Unit, Indian Statistical Institute New Delhi 110016, India Tarlok N. Shorey Department of Mathematics,
More informationBAKER S EXPLICIT ABC-CONJECTURE AND APPLICATIONS
BAKER S EXPLICIT ABC-CONJECTURE AND APPLICATIONS SHANTA LAISHRAM AND T. N. SHOREY Dedicated to Professor Andrzej Schinzel on his 75th Birthday Abstract. The conjecture of Masser-Oesterlé, popularly known
More informationAN ESTIMATE FOR THE LENGTH OF AN ARITHMETIC PROGRESSION THE PRODUCT OF WHOSE TERMS IS ALMOST SQUARE 1. INTRODUCTION
AN ESTIMATE FOR THE LENGTH OF AN ARITHMETIC PROGRESSION THE PRODUCT OF WHOSE TERMS IS ALMOST SQUARE SHANTA LAISHRAM ABSTRACT. Erdős conjectured that ( n(n + d (n + ( d = y in positive integers n,, d >,
More informationSquares in products with terms in an arithmetic progression
ACTA ARITHMETICA LXXXVI. (998) Squares in products with terms in an arithmetic progression by N. Saradha (Mumbai). Introduction. Let d, k 2, l 2, n, y be integers with gcd(n, d) =. Erdős [4] and Rigge
More informationAlmost perfect powers in consecutive integers (II)
Indag. Mathem., N.S., 19 (4), 649 658 December, 2008 Almost perfect powers in consecutive integers (II) by N. Saradha and T.N. Shorey School of Mathematics, Tata Institute of Fundamental Research, Homi
More informationSQUARES IN BLOCKS FROM AN ARITHMETIC PROGRESSION AND GALOIS GROUP OF LAGUERRE POLYNOMIALS
SQUARES IN BLOCKS FROM AN ARITHMETIC PROGRESSION AND GALOIS GROUP OF LAGUERRE POLYNOMIALS N SARADHA AND T N SHOREY Abstract We investigate when a product of t 2 terms taken from a set of k successive terms
More informationAN EXTENSION OF A THEOREM OF EULER. 1. Introduction
AN EXTENSION OF A THEOREM OF EULER NORIKO HIRATA-KOHNO, SHANTA LAISHRAM, T. N. SHOREY, AND R. TIJDEMAN Abstract. It is proved that equation (1 with 4 109 does not hold. The paper contains analogous result
More informationPower values of sums of products of consecutive integers
isid/ms/2015/15 October 12, 2015 http://www.isid.ac.in/ statmath/index.php?module=preprint Power values of sums of products of consecutive integers L. Hajdu, S. Laishram and Sz. Tengely Indian Statistical
More informationTHE NUMBER OF PRIME DIVISORS OF A PRODUCT
Journal of Combinatorics and Number Theory JCNT 2009, Volume 1, Issue # 3, pp. 65-73 ISSN 1942-5600 c 2009 Nova Science Publishers, Inc. THE NUMBER OF PRIME DIVISORS OF A PRODUCT OF CONSECUTIVE INTEGERS
More informationOn the irreducibility of certain polynomials with coefficients as products of terms in an arithmetic progression
On the irreducibility of certain polynomials with coefficients as products of terms in an arithmetic progression Carrie E. Finch and N. Saradha 1 Introduction In 1929, Schur [9] used prime ideals in algebraic
More informationPOWER VALUES OF SUMS OF PRODUCTS OF CONSECUTIVE INTEGERS. 1. Introduction. (x + j).
POWER VALUES OF SUMS OF PRODUCTS OF CONSECUTIVE INTEGERS L. HAJDU, S. LAISHRAM, SZ. TENGELY Abstract. We investigate power values of sums of products of consecutive integers. We give general finiteness
More informationAlmost fifth powers in arithmetic progression
Almost fifth powers in arithmetic progression L. Hajdu and T. Kovács University of Debrecen, Institute of Mathematics and the Number Theory Research Group of the Hungarian Academy of Sciences Debrecen,
More informationOn the number of special numbers
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 27, No. 3, June 207, pp. 423 430. DOI 0.007/s2044-06-0326-z On the number of special numbers KEVSER AKTAŞ and M RAM MURTY 2, Department of Mathematics Education,
More informationPRODUCTS OF THREE FACTORIALS
PRODUCTS OF THREE FACTORIALS A. DUJELLA, F. NAJMAN, N. SARADHA AND T. N. SHOREY Abstract. We study a question of Erdős and Graham on products of three factorials being a square. 1. Introduction For any
More informationOn prime factors of subset sums
On prime factors of subset sums by P. Erdös, A. Sárközy and C.L. Stewart * 1 Introduction For any set X let X denote its cardinality and for any integer n larger than one let ω(n) denote the number of
More informationON THE GALOIS GROUPS OF GENERALIZED LAGUERRE POLYNOMIALS
ON THE GALOIS GROUPS OF GENERALIZED LAGUERRE POLYNOMIALS SHANTA LAISHRAM Abstract. For a positive integer n and a real number α, the generalized Laguerre polynomials are defined by L (α) (n + α)(n 1 +
More informationThe Diophantine equation x(x + 1) (x + (m 1)) + r = y n
The Diophantine equation xx + 1) x + m 1)) + r = y n Yu.F. Bilu & M. Kulkarni Talence) and B. Sury Bangalore) 1 Introduction Erdős and Selfridge [7] proved that a product of consecutive integers can never
More informationOn the power-free parts of consecutive integers
ACTA ARITHMETICA XC4 (1999) On the power-free parts of consecutive integers by B M M de Weger (Krimpen aan den IJssel) and C E van de Woestijne (Leiden) 1 Introduction and main results Considering the
More informationFibonacci numbers of the form p a ± p b
Fibonacci numbers of the form p a ± p b Florian Luca 1 and Pantelimon Stănică 2 1 IMATE, UNAM, Ap. Postal 61-3 (Xangari), CP. 8 089 Morelia, Michoacán, Mexico; e-mail: fluca@matmor.unam.mx 2 Auburn University
More informationON A PROBLEM OF PILLAI AND ITS GENERALIZATIONS
ON A PROBLEM OF PILLAI AND ITS GENERALIZATIONS L. HAJDU 1 AND N. SARADHA Abstract. We study some generalizations of a problem of Pillai. We investigate the existence of an integer M such that for m M,
More informationFlorian Luca Instituto de Matemáticas, Universidad Nacional Autonoma de México, C.P , Morelia, Michoacán, México
Florian Luca Instituto de Matemáticas, Universidad Nacional Autonoma de México, C.P. 8180, Morelia, Michoacán, México e-mail: fluca@matmor.unam.mx Laszlo Szalay Department of Mathematics and Statistics,
More informationOn sets of integers whose shifted products are powers
On sets of integers whose shifted products are powers C.L. Stewart 1 Department of Pure Mathematics, University of Waterloo, Waterloo, Ontario, Canada, NL 3G1 Abstract Let N be a positive integer and let
More informationRATIONAL FUNCTION VARIANT OF A PROBLEM OF ERDŐS AND GRAHAM
GLASNIK MATEMATIČKI Vol. 5070)2015), 65 76 RATIONAL FUNCTION VARIANT OF A PROBLEM OF ERDŐS AND GRAHAM Szabolcs Tengely Nóra Varga Hungarian Academy of Sciences University of Debrecen, Hungary Abstract.
More informationGeneralized Lebesgue-Ramanujan-Nagell Equations
Generalized Lebesgue-Ramanujan-Nagell Equations N. Saradha and Anitha Srinivasan Dedicated to Professor T. N. Shorey on his 60th birthday 1 Prelude For any positive integer ν > 1, let P (ν) and ω(ν) denote
More informationOn prime factors of integers which are sums or shifted products. by C.L. Stewart (Waterloo)
On prime factors of integers which are sums or shifted products by C.L. Stewart (Waterloo) Abstract Let N be a positive integer and let A and B be subsets of {1,..., N}. In this article we discuss estimates
More informationActa Academiae Paedagogicae Agriensis, Sectio Mathematicae 31 (2004) 19 24
Acta Academiae Paedagogicae Agriensis, Sectio Mathematicae 31 (2004) 19 24 PRIMITIVE DIVISORS OF LUCAS SEQUENCES AND PRIME FACTORS OF x 2 + 1 AND x 4 + 1 Florian Luca (Michoacán, México) Abstract. In this
More informationTHE SUM OF DIGITS OF n AND n 2
THE SUM OF DIGITS OF n AND n 2 KEVIN G. HARE, SHANTA LAISHRAM, AND THOMAS STOLL Abstract. Let s q (n) denote the sum of the digits in the q-ary expansion of an integer n. In 2005, Melfi examined the structure
More informationMarch 4, :21 WSPC/INSTRUCTION FILE FLSpaper2011
International Journal of Number Theory c World Scientific Publishing Comany SOLVING n(n + d) (n + (k 1)d ) = by 2 WITH P (b) Ck M. Filaseta Deartment of Mathematics, University of South Carolina, Columbia,
More informationWhy the ABC conjecture
Why the ABC conjecture Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA Kummer classes and anabelian geometry U. Vermont, September 10 11, 2016 (The Farside, Gary Larson) 1 What is the ABC
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics ON THE DIOPHANTINE EQUATION xn 1 x 1 = y Yann Bugeaud, Maurice Mignotte, and Yves Roy Volume 193 No. 2 April 2000 PACIFIC JOURNAL OF MATHEMATICS Vol. 193, No. 2, 2000 ON
More informationODD REPDIGITS TO SMALL BASES ARE NOT PERFECT
#A34 INTEGERS 1 (01) ODD REPDIGITS TO SMALL BASES ARE NOT PERFECT Kevin A. Broughan Department of Mathematics, University of Waikato, Hamilton 316, New Zealand kab@waikato.ac.nz Qizhi Zhou Department of
More informationTo Professor W. M. Schmidt on his 60th birthday
ACTA ARITHMETICA LXVII.3 (1994) On the irreducibility of neighbouring polynomials by K. Győry (Debrecen) To Professor W. M. Schmidt on his 60th birthday 1. Introduction. Denote by P the length of a polynomial
More informationResolving Grosswald s conjecture on GRH
Resolving Grosswald s conjecture on GRH Kevin McGown Department of Mathematics and Statistics California State University, Chico, CA, USA kmcgown@csuchico.edu Enrique Treviño Department of Mathematics
More informationOn the Distribution of Carmichael Numbers
On the Distribution of Carmichael Numbers Aran Nayebi arxiv:0906.3533v10 [math.nt] 12 Aug 2009 Abstract {1+o(1)} log log log x 1 Pomerance conjectured that there are x log log x Carmichael numbers up to
More informationTheorems of Sylvester and Schur
Theorems of Sylvester and Schur T.N. Shorey An old theorem of Sylvester states that a product of consecutive positive integers each exceeding is divisible by a prime greater than. We shall give a proof
More informationA Remark on Prime Divisors of Lengths of Sides of Heron Triangles
A Remark on Prime Divisors of Lengths of Sides of Heron Triangles István Gaál, István Járási, Florian Luca CONTENTS 1. Introduction 2. Proof of Theorem 1.1 3. Proof of Theorem 1.2 4. Proof of Theorem 1.3
More informationCullen Numbers in Binary Recurrent Sequences
Cullen Numbers in Binary Recurrent Sequences Florian Luca 1 and Pantelimon Stănică 2 1 IMATE-UNAM, Ap. Postal 61-3 (Xangari), CP 58 089 Morelia, Michoacán, Mexico; e-mail: fluca@matmor.unam.mx 2 Auburn
More informationTwo Diophantine Approaches to the Irreducibility of Certain Trinomials
Two Diophantine Approaches to the Irreducibility of Certain Trinomials M. Filaseta 1, F. Luca 2, P. Stănică 3, R.G. Underwood 3 1 Department of Mathematics, University of South Carolina Columbia, SC 29208;
More informationDavid Adam. Jean-Luc Chabert LAMFA CNRS-UMR 6140, Université de Picardie, France
#A37 INTEGERS 10 (2010), 437-451 SUBSETS OF Z WITH SIMULTANEOUS ORDERINGS David Adam GAATI, Université de la Polynésie Française, Tahiti, Polynésie Française david.adam@upf.pf Jean-Luc Chabert LAMFA CNRS-UMR
More informationan l-th power for some $\ell\geq 2$? Almost all results have On the product of the terms of a finite arithmetic progression (Leiden, The Netherlands)
$\iota$ 708 1989 51-62 $o$ On the product of the terms of a finite arithmetic progression by R. Tijdeman (Leiden, The Netherlands) Let $a,$ $d$ and $k$ be positive integers, $k\geq 3$. We consider the
More informationON NEAR RELATIVE PRIME NUMBER IN A SEQUENCE OF POSITIVE INTEGERS. Jyhmin Kuo and Hung-Lin Fu
TAIWANESE JOURNAL OF MATHEMATICS Vol. 14, No. 1, pp. 123-129, February 2010 This paper is available online at http://www.tjm.nsysu.edu.tw/ ON NEAR RELATIVE PRIME NUMBER IN A SEQUENCE OF POSITIVE INTEGERS
More informationAn irreducibility criterion for integer polynomials
An irreducibility criterion for integer polynomials Anuj Jakhar, Neeraj Sangwan arxiv:1612.01712v1 [math.ac] 6 Dec 2016 anujjakhar@iisermohali.ac.in, neerajsan@iisermohali.ac.in Indian Institute of Science
More informationPower values of polynomials and binomial Thue Mahler equations
Publ. Math. Debrecen 65/3-4 (2004), 341 362 Power values of polynomials and binomial Thue Mahler equations By K. GYŐRY (Debrecen), I. PINK (Debrecen) and A. PINTÉR (Debrecen) To the memory of Professors
More informationPartial Sums of Powers of Prime Factors
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 10 (007), Article 07.1.6 Partial Sums of Powers of Prime Factors Jean-Marie De Koninck Département de Mathématiques et de Statistique Université Laval Québec
More informationOn Carmichael numbers in arithmetic progressions
On Carmichael numbers in arithmetic progressions William D. Banks Department of Mathematics University of Missouri Columbia, MO 65211 USA bbanks@math.missouri.edu Carl Pomerance Department of Mathematics
More informationChris Smyth School of Mathematics and Maxwell Institute for Mathematical Sciences, University of Edinburgh, Edinburgh EH9 3JZ, UK.
THE DIVISIBILITY OF a n b n BY POWERS OF n Kálmán Győry Institute of Mathematics, University of Debrecen, Debrecen H-4010, Hungary. gyory@math.klte.hu Chris Smyth School of Mathematics and Maxwell Institute
More informationOn Some Combinations of Non-Consecutive Terms of a Recurrence Sequence
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 21 (2018), Article 18.3.5 On Some Combinations of Non-Consecutive Terms of a Recurrence Sequence Eva Trojovská Department of Mathematics Faculty of Science
More informationPELL NUMBERS WHOSE EULER FUNCTION IS A PELL NUMBER. Bernadette Faye and Florian Luca
PUBLICATIONS DE L INSTITUT MATHÉMATIQUE Nouvelle série tome 05 207 23 245 https://doiorg/02298/pim7523f PELL NUMBERS WHOSE EULER FUNCTION IS A PELL NUMBER Bernadette Faye and Florian Luca Abstract We show
More informationLEVEL MATRICES G. SEELINGER, P. SISSOKHO, L. SPENCE, AND C. VANDEN EYNDEN
LEVEL MATRICES G. SEELINGER, P. SISSOKHO, L. SPENCE, AND C. VANDEN EYNDEN Abstract. Let n > 1 and k > 0 be fixed integers. A matrix is said to be level if all its column sums are equal. A level matrix
More informationON GENERALIZED BALANCING SEQUENCES
ON GENERALIZED BALANCING SEQUENCES ATTILA BÉRCZES, KÁLMÁN LIPTAI, AND ISTVÁN PINK Abstract. Let R i = R(A, B, R 0, R 1 ) be a second order linear recurrence sequence. In the present paper we prove that
More information#A2 INTEGERS 12A (2012): John Selfridge Memorial Issue ON A CONJECTURE REGARDING BALANCING WITH POWERS OF FIBONACCI NUMBERS
#A2 INTEGERS 2A (202): John Selfridge Memorial Issue ON A CONJECTURE REGARDING BALANCING WITH POWERS OF FIBONACCI NUMBERS Saúl Díaz Alvarado Facultad de Ciencias, Universidad Autónoma del Estado de México,
More informationON POWER VALUES OF POLYNOMIALS. A. Bérczes, B. Brindza and L. Hajdu
ON POWER VALUES OF POLYNOMIALS ON POWER VALUES OF POLYNOMIALS A. Bérczes, B. Brindza and L. Hajdu Abstract. In this paper we give a new, generalized version of a result of Brindza, Evertse and Győry, concerning
More informationArithmetic properties of the Ramanujan function
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 116, No. 1, February 2006, pp. 1 8. Printed in India Arithmetic properties of the Ramanujan function FLORIAN LUCA 1 and IGOR E SHPARLINSKI 2 1 Instituto de Matemáticas,
More informationAnalytic Number Theory Solutions
Analytic Number Theory Solutions Sean Li Cornell University sxl6@cornell.edu Jan. 03 Introduction This document is a work-in-progress solution manual for Tom Apostol s Introduction to Analytic Number Theory.
More informationBOUNDS FOR DIOPHANTINE QUINTUPLES. Mihai Cipu and Yasutsugu Fujita IMAR, Romania and Nihon University, Japan
GLASNIK MATEMATIČKI Vol. 5070)2015), 25 34 BOUNDS FOR DIOPHANTINE QUINTUPLES Mihai Cipu and Yasutsugu Fujita IMAR, Romania and Nihon University, Japan Abstract. A set of m positive integers {a 1,...,a
More informationPRACTICE PROBLEMS: SET 1
PRACTICE PROBLEMS: SET MATH 437/537: PROF. DRAGOS GHIOCA. Problems Problem. Let a, b N. Show that if gcd(a, b) = lcm[a, b], then a = b. Problem. Let n, k N with n. Prove that (n ) (n k ) if and only if
More informationEXTENDING A THEOREM OF PILLAI TO QUADRATIC SEQUENCES
#A7 INTEGERS 15A (2015) EXTENDING A THEOREM OF PILLAI TO QUADRATIC SEQUENCES Joshua Harrington Department of Mathematics, Shippensburg University, Shippensburg, Pennsylvania JSHarrington@ship.edu Lenny
More informationON INTEGERS EXPRESSIBLE BY SOME SPECIAL LINEAR FORM. 1. Introduction
ON INTEGERS EXPRESSIBLE BY SOME SPECIAL LINEAR FORM A. DUBICKAS and A. NOVIKAS Abstract. Let E(4) be the set of positive integers expressible by the form 4M d, where M is a multiple of the product ab and
More informationON `-TH ORDER GAP BALANCING NUMBERS
#A56 INTEGERS 18 (018) ON `-TH ORDER GAP BALANCING NUMBERS S. S. Rout Institute of Mathematics and Applications, Bhubaneswar, Odisha, India lbs.sudhansu@gmail.com; sudhansu@iomaorissa.ac.in R. Thangadurai
More informationPrime divisors in Beatty sequences
Journal of Number Theory 123 (2007) 413 425 www.elsevier.com/locate/jnt Prime divisors in Beatty sequences William D. Banks a,, Igor E. Shparlinski b a Department of Mathematics, University of Missouri,
More informationRECIPES FOR TERNARY DIOPHANTINE EQUATIONS OF SIGNATURE (p, p, k)
RECIPES FOR TERNARY DIOPHANTINE EQUATIONS OF SIGNATURE (p, p, k) MICHAEL A. BENNETT Abstract. In this paper, we survey recent work on ternary Diophantine equations of the shape Ax n + By n = Cz m for m
More informationPRIME NUMBERS YANKI LEKILI
PRIME NUMBERS YANKI LEKILI We denote by N the set of natural numbers: 1,2,..., These are constructed using Peano axioms. We will not get into the philosophical questions related to this and simply assume
More informationLINEAR FORMS IN LOGARITHMS
LINEAR FORMS IN LOGARITHMS JAN-HENDRIK EVERTSE April 2011 Literature: T.N. Shorey, R. Tijdeman, Exponential Diophantine equations, Cambridge University Press, 1986; reprinted 2008. 1. Linear forms in logarithms
More informationSUM-PRODUCT ESTIMATES APPLIED TO WARING S PROBLEM MOD P
SUM-PRODUCT ESTIMATES APPLIED TO WARING S PROBLEM MOD P TODD COCHRANE AND CHRISTOPHER PINNER Abstract. Let γ(k, p) denote Waring s number (mod p) and δ(k, p) denote the ± Waring s number (mod p). We use
More informationTHE DIOPHANTINE EQUATION P (x) = n! AND A RESULT OF M. OVERHOLT. Florian Luca Mathematical Institute, UNAM, Mexico
GLASNIK MATEMATIČKI Vol. 37(57(2002, 269 273 THE IOPHANTINE EQUATION P (x = n! AN A RESULT OF M. OVERHOLT Florian Luca Mathematical Institute, UNAM, Mexico Abstract. In this note, we show that the ABC-conjecture
More informationA NOTE ON THE DIOPHANTINE EQUATION a x b y =c
MATH. SCAND. 107 010, 161 173 A NOTE ON THE DIOPHANTINE EQUATION a x b y =c BO HE, ALAIN TOGBÉ and SHICHUN YANG Abstract Let a,b, and c be positive integers. We show that if a, b = N k 1,N, where N,k,
More informationTHE NUMBER OF DIOPHANTINE QUINTUPLES. Yasutsugu Fujita College of Industrial Technology, Nihon University, Japan
GLASNIK MATEMATIČKI Vol. 45(65)(010), 15 9 THE NUMBER OF DIOPHANTINE QUINTUPLES Yasutsugu Fujita College of Industrial Technology, Nihon University, Japan Abstract. A set a 1,..., a m} of m distinct positive
More informationOn the Equation =<#>(«+ k)
MATHEMATICS OF COMPUTATION, VOLUME 26, NUMBER 11, APRIL 1972 On the Equation =(«+ k) By M. Lai and P. Gillard Abstract. The number of solutions of the equation (n) = >(n + k), for k ä 30, at intervals
More informationON CARMICHAEL NUMBERS IN ARITHMETIC PROGRESSIONS
J. Aust. Math. Soc. 88 (2010), 313 321 doi:10.1017/s1446788710000169 ON CARMICHAEL NUMBERS IN ARITHMETIC PROGRESSIONS WILLIAM D. BANKS and CARL POMERANCE (Received 4 September 2009; accepted 4 January
More informationEGYPTIAN FRACTIONS WITH EACH DENOMINATOR HAVING THREE DISTINCT PRIME DIVISORS
#A5 INTEGERS 5 (205) EGYPTIAN FRACTIONS WITH EACH DENOMINATOR HAVING THREE DISTINCT PRIME DIVISORS Steve Butler Department of Mathematics, Iowa State University, Ames, Iowa butler@iastate.edu Paul Erdős
More informationIRREDUCIBILITY CRITERIA FOR SUMS OF TWO RELATIVELY PRIME POLYNOMIALS
IRREDUCIBILITY CRITERIA FOR SUMS OF TWO RELATIVELY PRIME POLYNOMIALS NICOLAE CIPRIAN BONCIOCAT, YANN BUGEAUD, MIHAI CIPU, AND MAURICE MIGNOTTE Abstract. We provide irreducibility conditions for polynomials
More informationNOTES ON DIOPHANTINE APPROXIMATION
NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse December 11, 2007 8 Approximation of algebraic numbers Literature: W.M. Schmidt, Diophantine approximation, Lecture Notes in Mathematics 785, Springer
More informationNUMBER OF REPRESENTATIONS OF INTEGERS BY BINARY FORMS
NUMBER O REPRESENTATIONS O INTEGERS BY BINARY ORMS DIVYUM SHARMA AND N SARADHA Abstract We give improved upper bounds for the number of solutions of the Thue equation (x, y) = h where is an irreducible
More informationOn a Diophantine Equation 1
International Journal of Contemporary Mathematical Sciences Vol. 12, 2017, no. 2, 73-81 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ijcms.2017.728 On a Diophantine Equation 1 Xin Zhang Department
More informationEquidivisible consecutive integers
& Equidivisible consecutive integers Ivo Düntsch Department of Computer Science Brock University St Catherines, Ontario, L2S 3A1, Canada duentsch@cosc.brocku.ca Roger B. Eggleton Department of Mathematics
More informationResults and conjectures related to a conjecture of Erdős concerning primitive sequences
Results and conjectures related to a conjecture of Erdős concerning primitive sequences arxiv:709.08708v2 [math.nt] 26 Nov 207 Bakir FARHI Laboratoire de Mathématiques appliquées Faculté des Sciences Exactes
More informationFACTORS OF CARMICHAEL NUMBERS AND A WEAK k-tuples CONJECTURE. 1. Introduction Recall that a Carmichael number is a composite number n for which
FACTORS OF CARMICHAEL NUMBERS AND A WEAK k-tuples CONJECTURE THOMAS WRIGHT Abstract. In light of the recent work by Maynard and Tao on the Dickson k-tuples conjecture, we show that with a small improvement
More informationARITHMETIC OF POSITIVE INTEGERS HAVING PRIME SUMS OF COMPLEMENTARY DIVISORS
Math. J. Okayama Univ. 60 (2018), 155 164 ARITHMETIC OF POSITIVE INTEGERS HAVING PRIME SUMS OF COMPLEMENTARY DIVISORS Kenichi Shimizu Abstract. We study a class of integers called SP numbers (Sum Prime
More informationYunhi Cho and Young-One Kim
Bull. Korean Math. Soc. 41 (2004), No. 1, pp. 27 43 ANALYTIC PROPERTIES OF THE LIMITS OF THE EVEN AND ODD HYPERPOWER SEQUENCES Yunhi Cho Young-One Kim Dedicated to the memory of the late professor Eulyong
More informationPERFECT POLYNOMIALS OVER F p WITH p + 1 IRREDUCIBLE DIVISORS. 1. Introduction. Let p be a prime number. For a monic polynomial A F p [x] let d
PERFECT POLYNOMIALS OVER F p WITH p + 1 IRREDUCIBLE DIVISORS L. H. GALLARDO and O. RAHAVANDRAINY Abstract. We consider, for a fixed prime number p, monic polynomials in one variable over the finite field
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 informationNotes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.
Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3
More information#A20 INTEGERS 11 (2011) ON CONGRUENT NUMBERS WITH THREE PRIME FACTORS. Lindsey Reinholz
#A20 INTEGERS 11 (2011) ON CONGRUENT NUMBERS WITH THREE PRIME FACTORS Lindsey Reinholz Department of Mathematics and Statistics, University of British Columbia Okanagan, Kelowna, BC, Canada, V1V 1V7. reinholz@interchange.ubc.ca
More information1. Introduction. Let P and Q be non-zero relatively prime integers, α and β (α > β) be the zeros of x 2 P x + Q, and, for n 0, let
C O L L O Q U I U M M A T H E M A T I C U M VOL. 78 1998 NO. 1 SQUARES IN LUCAS SEQUENCES HAVING AN EVEN FIRST PARAMETER BY PAULO R I B E N B O I M (KINGSTON, ONTARIO) AND WAYNE L. M c D A N I E L (ST.
More informationA parametric family of quartic Thue equations
A parametric family of quartic Thue equations Andrej Dujella and Borka Jadrijević Abstract In this paper we prove that the Diophantine equation x 4 4cx 3 y + (6c + 2)x 2 y 2 + 4cxy 3 + y 4 = 1, where c
More informationPRODUCTS OF CONSECUTIVE INTEGERS
PRODUCTS OF CONSECUTIVE INTEGERS MICHAEL A. BENNETT Abstract. In this paper, we deduce a number of results on the arithmetic structure of products of integers in short intervals. By way of example, we
More informationCharacter sums with Beatty sequences on Burgess-type intervals
Character sums with Beatty sequences on Burgess-type intervals William D. Banks Department of Mathematics University of Missouri Columbia, MO 65211 USA bbanks@math.missouri.edu Igor E. Shparlinski Department
More informationOn products of quartic polynomials over consecutive indices which are perfect squares
Notes on Number Theory and Discrete Mathematics Print ISSN 1310 513, Online ISSN 367 875 Vol. 4, 018, No. 3, 56 61 DOI: 10.7546/nntdm.018.4.3.56-61 On products of quartic polynomials over consecutive indices
More informationarxiv: v1 [math.nt] 9 Sep 2017
arxiv:179.2954v1 [math.nt] 9 Sep 217 ON THE FACTORIZATION OF x 2 +D GENERALIZED RAMANUJAN-NAGELL EQUATION WITH HUGE SOLUTION) AMIR GHADERMARZI Abstract. Let D be a positive nonsquare integer such that
More informationINTEGERS DIVISIBLE BY THE SUM OF THEIR PRIME FACTORS
INTEGERS DIVISIBLE BY THE SUM OF THEIR PRIME FACTORS JEAN-MARIE DE KONINCK and FLORIAN LUCA Abstract. For each integer n 2, let β(n) be the sum of the distinct prime divisors of n and let B(x) stand for
More informationarxiv: v2 [math.nt] 4 Nov 2012
INVERSE ERDŐS-FUCHS THEOREM FOR k-fold SUMSETS arxiv:12093233v2 [mathnt] 4 Nov 2012 LI-XIA DAI AND HAO PAN Abstract We generalize a result of Ruzsa on the inverse Erdős-Fuchs theorem for k-fold sumsets
More informationBURGESS INEQUALITY IN F p 2. Mei-Chu Chang
BURGESS INEQUALITY IN F p 2 Mei-Chu Chang Abstract. Let be a nontrivial multiplicative character of F p 2. We obtain the following results.. Given ε > 0, there is δ > 0 such that if ω F p 2\F p and I,
More informationPILLAI S CONJECTURE REVISITED
PILLAI S COJECTURE REVISITED MICHAEL A. BEETT Abstract. We prove a generalization of an old conjecture of Pillai now a theorem of Stroeker and Tijdeman) to the effect that the Diophantine equation 3 x
More informationA Pellian equation with primes and applications to D( 1)-quadruples
A Pellian equation with primes and applications to D( 1)-quadruples Andrej Dujella 1, Mirela Jukić Bokun 2 and Ivan Soldo 2, 1 Department of Mathematics, Faculty of Science, University of Zagreb, Bijenička
More informationCourse MA2C02, Hilary Term 2013 Section 9: Introduction to Number Theory and Cryptography
Course MA2C02, Hilary Term 2013 Section 9: Introduction to Number Theory and Cryptography David R. Wilkins Copyright c David R. Wilkins 2000 2013 Contents 9 Introduction to Number Theory 63 9.1 Subgroups
More informationDecomposition of a recursive family of polynomials
Decomposition of a recursive family of polynomials Andrej Dujella and Ivica Gusić Abstract We describe decomposition of polynomials f n := f n,b,a defined by f 0 := B, f 1 (x := x, f n+1 (x = xf n (x af
More informationARITHMETIC PROGRESSIONS IN CYCLES OF QUADRATIC POLYNOMIALS
ARITHMETIC PROGRESSIONS IN CYCLES OF QUADRATIC POLYNOMIALS TIMO ERKAMA It is an open question whether n-cycles of complex quadratic polynomials can be contained in the field Q(i) of complex rational numbers
More informationIntroduction Diophantine Equations The ABC conjecture Consequences. The ABC conjecture. Brian Conrad. September 12, 2013
The ABC conjecture Brian Conrad September 12, 2013 Introduction The ABC conjecture was made by Masser and Oesterlé in 1985, inspired by work of Szpiro. A proof was announced in Sept. 2012 by Mochizuki.
More informationExplicit solution of a class of quartic Thue equations
ACTA ARITHMETICA LXIV.3 (1993) Explicit solution of a class of quartic Thue equations by Nikos Tzanakis (Iraklion) 1. Introduction. In this paper we deal with the efficient solution of a certain interesting
More informationChapter 6. Approximation of algebraic numbers by rationals. 6.1 Liouville s Theorem and Roth s Theorem
Chapter 6 Approximation of algebraic numbers by rationals Literature: W.M. Schmidt, Diophantine approximation, Lecture Notes in Mathematics 785, Springer Verlag 1980, Chap.II, 1,, Chap. IV, 1 L.J. Mordell,
More information