PERFECT POWERS IN ARITHMETIC PROGRESSION
|
|
- Lenard Ramsey
- 5 years ago
- Views:
Transcription
1 Perfect powers in Arithmetic Progression 1 PERFECT POWERS IN ARITHMETIC PROGRESSION Shanta Laishram Stat-Math Unit, Indian Statistical Institute New Delhi , India Tarlok N. Shorey Department of Mathematics, Indian Institute of Technology Bombay Powai, Mumbai , India Received: December 5, 013; Accepted: September 5, 015 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) = Mathematics Subject Classification: Primary 11P99; Secondary 11A41, 11E5. 1. 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 n(n + d) (n + (k 1)d) = by l (1.1) in variables n, d, k, b, y, l. If k =, we observe that (1.4) has infinitely many solutions. Therefore we always suppose that k 3. It has been conjectured (see [Tij88], [SaSh05]) that Conjecture 1.1. Equation (1.1) implies that (k, l) {(3, 3), (4, ), (3, )}. address: shanta@isid.ac.in; Website: shanta address: shorey@math.iitb.ac.in; Website: shorey
2 S. Laishram and T. N. Shorey It is known that (1.1) has infinitely many solutions when (k, l) {(3, ), (3, 3)(4, )}. A weaker version of Conjecture 1.1 is the following conjecture due to Erdős. Conjecture 1.. Equation (1.1) implies that k is bounded by an absolute constant. For an account of results on (1.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 where a, b and c are coprime positive integers, then c c ɛ p a + b = c (1.) p abc It is known as abc-conjecture; the name derives from the usage of letters a, b, c in (1.). 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 abcconjecture is equivalent to the following: Conjecture 1.4. 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 4 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. 1+ɛ Theorem 1.1. The abc conjecture implies Conjecture (1.). The proof was first published in the Master s Thesis of first author[lai04]. 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 1. due to Baker [Bak94] is the following: Conjecture 1.5. Explicit abc-conjecture: Let a, b and c be pairwise coprime positive integers satisfying (1.). Then where N = N(abc) and ω = ω(n). c < 6 (log N)ω N 5 ω!.
3 Perfect powers in Arithmetic Progression 3 We observe that N = N(abc) whenever a, b, c satisfy (1.). 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 1.. Assume Conjecture 1.5. Let a, b and c be pairwise coprime positive integers satisfying (1.) and N = N(abc). Then we have c < N 1+3/4 (1.3) Further for 0 < ɛ 3/4, there exists an integer ω ɛ depending only ɛ such that when N = N(abc) N ɛ = p p ωɛ p, we have c < κ ɛ N 1+ɛ where κ ɛ = 6 5 π max(ω, ω ɛ ) 6 5 πω ɛ with ω = ω(n). Here are some values of ɛ, ω ɛ and N ɛ. ɛ 3/4 7/1 6/11 1/ 34/71 5/1 1/3 ω ɛ N ɛ e e e e e e e 6377 Thus c < N which was conjectured in Granville and Tucker [GrTu0]. As a consequence of Theorem 1., we prove Theorem 1.3. Assume Conjecture 1.5. Then the equation n(n + d) (n + (k 1)d) = by l (1.4) in integers n 1, d > 1, k 4, 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 1.3 is a considerable improvement of Saradha [Sar1] where it is shown that (1.4) 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) = 1, π(x) = π 1 (x) = 1, Θ(x) = p and θ(x) = log(θ(x)). p x,p d p x p x We write log i for log(log i). Here we understand that log 1 =.
4 4 S. Laishram and T. N. Shorey Lemma.1. We have (i) π(x) x log x ( log x ) for x > 1. (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]. 3. Proof of Theorem 1.3 Let n, d, k, b, y be positive integers with n 1, d > 1, k 4, b 1, y 1, gcd(n, d) = 1 and P (b) k. We consider the Diophantine equation n(n + d) (n + (k 1)d) = by l. (3.5) 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 also 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 = 4 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 A i (k 1)! p ordp((k 1)!). (3.6) A i S As a consequence, we have p d
5 Perfect powers in Arithmetic Progression 5 Lemma 3.. Let α, β R with α 1, β < 1 and eβ < α. Let For ( log( eα β ) + k log(αk) log k k max we have S 1 > βk. S 1 := S 1 (α) := {A i S 0 : A i αk}. ) log k log(αk) ), exp log(eα) + β log ( β eα ( ) log k 1 β (3.7) Proof. Let S = S 0, s 1 = S 1 and s = S S 1. Then s k π(k) s 1. We get from (3.6) that k π(k) s 1 s 1! ( αk + i ) A i (k 1)! (3.8) 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. Suppose s 1 βk. If k π(k) s 1, then using Lemma.1 (i), we get (1 β) log k < / log k which is not possible by (3.7). Hence k π(k) > s 1. By using Lemma.1 (v), we obtain ( π(k 1) k 1 ) k 1 1 e 1(k 1) if s 1 = 0 (αk) k π(k) < (k 1)! (αk) s 1 < s 1! k 1 s 1 ( ) e s1 αke ( k 1 s 1 e ) k 1 if s 1 > 0. We check that the expression for s 1 = 0 is less than that of s 1 = 1 since α 1. Observe that ( ) k 1 αke s1 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 π(k) k 1 eα βk ( ) k 1 k 1 ( ) 1 eα βk ( ) k k 1 < < βk β e β β e implying Using Lemma.1 (i), we obtain ( ) β log(eα) + β log < 1 eα k s 1 ( ) β βk (eα) k < eα (αk) π(k) 1. eα β eα log( ) + log(αk) ( ) β log k log k log(αk). k The right hand side of the above inequality is a decreasing function of k for k given by (3.7). This can be verified by observing that log(αk)/ log k = 1+log α/ log k and differentiating ( log α)/ log k log(αk)/k with respect to k. This is a contradiction for k given by (3.7).
6 6 S. Laishram and T. N. Shorey Corollary 3.1. For k > 113, there exist 0 f < g < h < k with h f 8 such that max(a f, A g, A h ) 4k. Proof. By dividing [0, k 1] into subintervals of the form [9i, 9(i + 1)), it suffices to show S 1 (4) > ( k/9 + 1) where S 1 is as defined in Lemma 3.. Taking α = 4, β = 1/4, we obtain from Lemma 3. that for k 700, S 1 (4) > k/4 > ( k/9 + 1). Thus we may suppose k < 700 and S 1 (4) ( k/9 + 1). For each prime k with 113 < k < 700, taking α = 4 and βk = ( k/9 + 1) in Lemma 3., we get a contradiction from (3.8). Therefore S 1 (4) > ( k/9 + 1) and the assertion follows. 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 hx l h. (3.9) 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 (3.9) can be written as Let G = gcd(wa g, ua f, va h ), w = u + v with gcd(u, v) = 1, wa g X l g = ua f X l f + va hx l h. (3.10) and we rewrite (3.10) as r = ua f G, s = va h G, t = wa g G (3.11) tx l g = rx l f + sxl h. (3.1) Note that gcd(rx l f, sxl h ) = 1. 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 (3.18). By Theorem 1., we obtain i.e., tx l g < κ ɛ N(rstX f X g X h ) 1+ɛ (3.13) Xg l N(rst) 1+ɛ (X f X g X h ) 1+ɛ < κ ɛ. (3.14) t Here N ɛ = κ ɛ = 1 if ɛ > 3/4. For ɛ = 3/4, by abuse of notation, we will be taking either N ɛ = 1, κ ɛ = 1 or N ɛ = e , κ ɛ 6/(5 8π) if N(rstX f X g X h ) N 3/4 and we will be using it without reference. We will be taking ɛ = 3/4 for l > 7 and ɛ {5/1, 1/3} for l = 7. We have from (3.13) that rst(x f X g X h ) l < κ 3 ɛn(rst) 3(1+ɛ) (X f X g X h ) 3(1+ɛ).
7 Putting X 3 = X f X g X h, we obtain Perfect powers in Arithmetic Progression 7 X l 3(1+ɛ) < κ ɛ N(rst) 3 +ɛ = κ ɛ N( uvwa f A g A h G 3 ) 3 +ɛ. (3.15) Again from (3.1), we have implying rs(x f X h ) l Therefore we have from (3.14) that ( rx l f + sx l h ) = t X l g 4 ( ) 1 ( ) t l X f X h X g X 3 w A 1 l g 4rs g = Xg 3. 4uvA f A h Xg l N(rst) 1+ɛ Xg 3+3ɛ < κ ɛ t ( t 4rs ) 1+ɛ l N(rst) 1+ɛ Xg 3+3ɛ = κ ɛ (4rst) 1+ɛ l 3(1+ɛ) 1 t l (3.16) i.e., X l 3(1+ɛ) g We also have from (3.17) that N(rst) (1+ɛ)(1 1 l ) < κ ɛ 4 1+ɛ 3(1+ɛ) 1 l t l X l 3(1+ɛ) g N( uva f A h G < κ ɛ N(rs)(1+ɛ)(1 1 l ) (1+ɛ) ɛ+ N(t) l. (3.17) 4 1+ɛ l ) (1+ɛ)(1 1 l ) N( wag G 4 1+ɛ l (1+ɛ) )ɛ+ l. (3.18) 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 (3.10) and (3.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 (3.17) with ɛ = 3/4, N ɛ = κ ɛ = 1 that k l 3(1+ɛ) < (rs) (1+ɛ)(1 1 l ) (1+ɛ) ɛ+ t l < k +3ɛ implying l < 5 + 6ɛ = 5 + 9/. 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.
8 8 S. Laishram and T. N. Shorey As a consequence, we have Corollary 3.. Let d be even and l 11. Then k 14. Proof. Let d be even and l 11. Then we get from (3.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.4. Let l 11. Then k < 400. Proof. Assume that k 400. By Corollary 3., we may suppose that d is odd. Further by Corollary 3.1, there exists f < g < h with h f 8 and max(a f, A g, A h ) 4k. 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/4, N ɛ = 1 in (3.13), we get k 11 txg l < N 1+3/4 e 37.1(1+3/4) which is a contradiction. Hence we may suppose that N e 37.1 N 3/4. 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 4 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 (4k) 3 since max(a f, A g, A h ) 4k. Therefore taking ɛ = 3/4 in (3.15), we obtain using l 11 and X > k that k 11 3( ) 6 < 5 8π (4k) 3( ). This is a contradiction since k 400. Hence the assertion. 4. Proof of Theorem 1.3 for 4 k < 400 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.
9 Perfect powers in Arithmetic Progression 9 Lemma 4.5. Let r k = k + 1 π(k) ( i k log i)/(15 log 10) and 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 (3.6), we get (k 1)! A i S A i (n + d) S > d k+1 rk π(k). Since d > 10 15, we get i k k + 1 π(k) log i 15 log 10 < r k = i k k + 1 π(k) log i. 15 log 10 This is a contradiction. Here are some values of (k, r k ). 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 P (A i ) a 0 for i I I 0 [j 0, j 0 + b 0 1] for some j 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/4, N ɛ = 1 so that κ ɛ = 1 in (3.13) to (3.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/4, we obtain from (3.14) and l 11 that p 37 7 l π(k)+1 X0 < N(uvwA f A g A h ) p max{a 0,b 0 1} p. (4.19) 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:
10 10 S. Laishram and T. N. Shorey 1. U 0 z 1 3, z 0 / z 1 z 0.. P (A i ) a 1 for i U 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/4, we obtain from (3.17) and l 11 that p 3 7 π(k)+z1 1 X l < N(uvwA f A g A h ) p max{a 1,b 1 1} p (4.0) 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 k {4, 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 (4.19) and (4.0) are contradicted. p k 4.. 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 4.5 with k = 11, we see that I 0 z 0 = 11 4 > 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 (4.19) and (4.0) are contradicted k 47 We take I 0 = {i [1, 17] : p (n + id) for 17 p k}. Then by r 17 = 10 and Lemma 4.5 with k = 17, we have I 0 z 0 = 17 (π(k) π(13)) = 3 π(k) 3 π(47) = 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 (4.19) and (4.0) are contradicted.
11 4.4. k 53 Perfect powers in Arithmetic Progression 11 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)/j < P (A i ) (mq 1)/(j 1). Therefore I π(k) π(mq 1) + q 1 j=1 q j= ( j π( mq 1 j 1 ) π(mq 1 j = π(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)/q. We will choose q such that T (k, m, q)/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 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)/q < r m, we get from Lemma 4.5 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. k [53, 89) [89, 179) [179, 39) [39, 367) [367, 433) (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)/q and we check that z 0 3. The Subsection 4.3(9 k 47) is in fact obtained by considering m = 17, q = 1. Now we consider Cases I and II and try to get contradiction in both (4.19) and (4.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 0 m]. 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 (4.0) is contradicted. Hence the assertion. ) ) 5. l = 7 Let l = 7. Assume that k exp(13006.). Taking α = 3, β = 1/15 + /9 in Lemma 3., we get ( 1 S 1 (3) = {i [0, k 1] : A i 3k} > k 15 + ). 9
12 1 S. Laishram and T. N. Shorey 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 }. We have π(k)+ k/15 ( 1 J 0 > k 15 + ) 9 k ( ) 15 + k 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/3. Observe that uvw 70 since u + v = w 8, obtained at + 5 = 7. Taking ɛ = 1/3, we obtain from (3.15) and max(a f, A g, A h ) 3k that p 3 π(k)+ < 5 k 15 6 π 6458 N(uvwA 5 70 (3k)3 f A g A h ) 6 190π. Since π(k) > we have π(k) + k/15 > k 15 and hence p π(k)+ k/15 > (k/15) log(k/15) by Lemma.1 (ii). Therefore ( log k ) ( 3 ( 350 (3 15)3 < 15 6 or k < 15 exp π π ) 1 ) 3 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/4 in (3.13), we get k 7 < X 7 g < N 1+3/4 exp(3895 7/4) or k < exp(3895/4) which is a contradiction. Now we take ɛ = 5/1 in (3.13) to get k 7 < X 7 g < N 1+5/1 exp( /1) or k < exp(13006.). Hence the assertion. 6. abc-conjecture implies Erdős conjecture: Proof of Theorem 1.1 Assume (3.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
13 Perfect powers in Arithmetic Progression 13 By Sylvester-Erdős inequality(see [ErSe75, Lemma ] for example), we get ord p (Φ) ord p (i i p ) i k i / I ( ord p (k k 1 (ip k ( (k 1 ip ord p ) (k ) k )! otherwise. k k ))!(ip ) k )! if ip k, Since ord p (r!s!) ord p ((r + s)!) and k k/ = (k + 1)/, we see that p ordp(φ) p ord p(( k 1 ip k+1 )) p ordp( k+1 Using the fact that p ordp((x k)) x for any x k, we get by using Lemma.1 (i), (v). Let D be a fixed positive integer and let J =!). Φ (k 1) πd(k) ( k + 1 k )! k e c 1 k { k 1 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/ Dj + i k 1 for 1 i D and consequently J (k 1)/D π(k). For each j J, let Φ j = D A Dj+i. Then j J Φ j divides Φ implying i=1 Thus there exists j 0 J such that Let Φ j0 Φ j Φ k k e c 1 k. j J ( ) k k 1 e c 1 k J ) H := (k k e c 1 k ) 1 k 1 D π(k) c D k D. D (n + (Dj 0 + i)d). i=1
14 14 S. Laishram and T. N. Shorey Since A Dj0 +ix l Dj 0 +i n + (k 1)d, we have X Dj 0 +i ((n + (k 1)d)/A Dj0 +i) 1/l. Thus D p = X Dj0 +i (n + (k 1)d) D l (Φj0 ) 1 l p H p>k i=1 Therefore p = p p Φ j 0 (n + (k 1)d) D l (Φj0 ) 1 l p H p H p k p H p>k c D(1 1 l ) k D(1 1 l ) (n + (k 1)d) D l. On the other hand, we have H = F (n + Dj 0 d, d) where F (x, y) = D (x + iy) i=1 is a binary form in x and y of degree D such that F has distinct linear factors. From Conjecture 1.4, we have p c 3 (n + Dj 0 d) D ɛ. p H Comparing the lower and upper bounds of p H p and using n+dj 0d > (n+(k 1)d)/, we get We now use n + (k 1)d > k l to derive that Taking ɛ = 1/ and putting D = 0, we get +ɛ 1 D(1 k > c 4 (n + (k 1)d) 1 l ). +ɛ l(1 D(1 c 5 > k 1 ) 1 l ). l c 6 > k l 1 8(l 1) k 1 since l. This is a contradiction since k k 0 and k 0 is sufficiently large. Acknowledgments The second author would like to thank ISI, New Delhi where this work was initiated during his visit in July 011. The authors also like to thank the referee for remarks in an earlier draft of this paper.
15 References Perfect powers in Arithmetic Progression 15 [Bak94] A. Baker, Experiments on the abc-conjecture, Publ. Math. Debrecen 65(004), [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. Acad. Sci. Soc. R. Can. 1(1)(1999), [Elk91] N. Elkies, ABC implies Mordell, Int. Math. Res. Not. IMRN 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 Amer. Math. Soc. 49(00), [Lai04] S. Laishram, Topics in Diophantine equations, M.Sc. Thesis, TIFR/Mumbai University, 004, 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. 4 (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, Compos. Math. 141 (005), [Sho06] T. N. Shorey, Diophantine approximations, Diophantine equations, Transcendence and Applications, Indian J. Pure Appl. 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),
16 16 S. Laishram and T. N. Shorey [Tij88] R. Tijdeman, Diophantine equations and diophantine approximations, Number Theory and Applications, Kluwer (1988),
Perfect powers in Arithmetic Progression
isid/ms/015/18 October 1, 015 http://www.isid.ac.in/ statmath/index.php?module=preprint Perfect powers in Arithmetic Progression Shanta Laishram and T. N. Shorey Indian Statistical Institute, Delhi Centre
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 information1 i<j k (g ih j g j h i ) 0.
CONSECUTIVE PRIMES IN TUPLES WILLIAM D. BANKS, TRISTAN FREIBERG, AND CAROLINE L. TURNAGE-BUTTERBAUGH Abstract. In a stunning new advance towards the Prime k-tuple Conjecture, Maynard and Tao have shown
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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationDION 2005 TIFR December 17, The role of complex conjugation in transcendental number theory
The role of complex conjugation in transcendental number theory Michel Waldschmidt Institut de Mathématiques de Jussieu + CIMPA http://www.math.jussieu.fr/ miw/ December 17, 2005 DION 2005 TIFR December
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 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 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 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 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 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 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 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 informationA proof of a partition conjecture of Bateman and Erdős
proof of a partition conjecture of Bateman and Erdős Jason P. Bell Department of Mathematics University of California, San Diego La Jolla C, 92093-0112. US jbell@math.ucsd.edu 1 Proposed Running Head:
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 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 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 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 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 informationOn a Generalization of the Coin Exchange Problem for Three Variables
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 9 (006), Article 06.4.6 On a Generalization of the Coin Exchange Problem for Three Variables Amitabha Tripathi Department of Mathematics Indian Institute
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 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 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 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 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 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 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 informationA family of quartic Thue inequalities
A family of quartic Thue inequalities Andrej Dujella and Borka Jadrijević Abstract In this paper we prove that the only primitive solutions of the Thue inequality x 4 4cx 3 y + (6c + 2)x 2 y 2 + 4cxy 3
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 informationABSTRACT. In this note, we find all the solutions of the Diophantine equation x k = y n, 1, y 1, k N, n INTRODUCTION
Florian Luca Instituto de Matemáticas UNAM, Campus Morelia Apartado Postal 27-3 (Xangari), C.P. 58089, Morelia, Michoacán, Mexico e-mail: fluca@matmor.unam.mx Alain Togbé Mathematics Department, Purdue
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 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 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 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 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 information1 x i. i=1 EVEN NUMBERS RAFAEL ARCE-NAZARIO, FRANCIS N. CASTRO, AND RAÚL FIGUEROA
Volume, Number 2, Pages 63 78 ISSN 75-0868 ON THE EQUATION n i= = IN DISTINCT ODD OR EVEN NUMBERS RAFAEL ARCE-NAZARIO, FRANCIS N. CASTRO, AND RAÚL FIGUEROA Abstract. In this paper we combine theoretical
More informationCharacterizations of Prime and Weakly Prime Subhypermodules
International Mathematical Forum, Vol. 7, 2012, no. 58, 2853-2870 Characterizations of Prime and Weakly Prime Subhypermodules A. Siraworakun and S. Pianskool 1 Department of Mathematics and Computer Science
More informationON SUMS OF PRIMES FROM BEATTY SEQUENCES. Angel V. Kumchev 1 Department of Mathematics, Towson University, Towson, MD , U.S.A.
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #A08 ON SUMS OF PRIMES FROM BEATTY SEQUENCES Angel V. Kumchev 1 Department of Mathematics, Towson University, Towson, MD 21252-0001,
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 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 informationPowers of 2 with five distinct summands
ACTA ARITHMETICA * (200*) Powers of 2 with five distinct summands by Vsevolod F. Lev (Haifa) 0. Summary. We show that every sufficiently large, finite set of positive integers of density larger than 1/3
More informationJournal of Number Theory
Journal of Number Theory 29 2009 2328 2334 Contents lists available at ScienceDirect Journal of Number Theory www.elsevier.com/locate/jnt Primes of the form αp + β Hongze Li a,haopan b, a Department of
More informationarxiv: v2 [math.nt] 9 Oct 2013
UNIFORM LOWER BOUND FOR THE LEAST COMMON MULTIPLE OF A POLYNOMIAL SEQUENCE arxiv:1308.6458v2 [math.nt] 9 Oct 2013 SHAOFANG HONG, YUANYUAN LUO, GUOYOU QIAN, AND CHUNLIN WANG Abstract. Let n be a positive
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 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 Gauss sums and the evaluation of Stechkin s constant
On Gauss sums and the evaluation of Stechkin s constant William D. Banks Department of Mathematics University of Missouri Columbia, MO 65211 USA bankswd@missouri.edu Igor E. Shparlinski Department of Pure
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 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 informationSolving a linear equation in a set of integers II
ACTA ARITHMETICA LXXII.4 (1995) Solving a linear equation in a set of integers II by Imre Z. Ruzsa (Budapest) 1. Introduction. We continue the study of linear equations started in Part I of this paper.
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 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 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 informationInteger Sequences Avoiding Prime Pairwise Sums
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 11 (008), Article 08.5.6 Integer Sequences Avoiding Prime Pairwise Sums Yong-Gao Chen 1 Department of Mathematics Nanjing Normal University Nanjing 10097
More information