THE EULER FUNCTION OF FIBONACCI AND LUCAS NUMBERS AND FACTORIALS

Similar documents
THE EULER FUNCTION OF FIBONACCI AND LUCAS NUMBERS AND FACTORIALS

uniform distribution theory

uniform distribution theory

Fibonacci numbers of the form p a ± p b

Cullen Numbers in Binary Recurrent Sequences

ON THE SUM OF DIVISORS FUNCTION

When do Fibonacci invertible classes modulo M form a subgroup?

FIBONACCI DIOPHANTINE TRIPLES. Florian Luca and László Szalay Universidad Nacional Autonoma de México, Mexico and University of West Hungary, Hungary

When do the Fibonacci invertible classes modulo M form a subgroup?

Products of Factorials Modulo p

ABSTRACT. In this note, we find all the solutions of the Diophantine equation x k = y n, 1, y 1, k N, n INTRODUCTION

Fibonacci Diophantine Triples

On the spacings between C-nomial coefficients

Members of binary recurrences on lines of the Pascal triangle

Aliquot sums of Fibonacci numbers

#A2 INTEGERS 12A (2012): John Selfridge Memorial Issue ON A CONJECTURE REGARDING BALANCING WITH POWERS OF FIBONACCI NUMBERS

ON THE EULER FUNCTION OF THE CATALAN NUMBERS

Revista Colombiana de Matemáticas Volumen 40 (2006), páginas 81 86

arxiv: v1 [math.nt] 2 Oct 2015

On arithmetic functions of balancing and Lucas-balancing numbers

Partial Sums of Powers of Prime Factors

Two Diophantine Approaches to the Irreducibility of Certain Trinomials

Florian Luca Instituto de Matemáticas, Universidad Nacional Autonoma de México, C.P , Morelia, Michoacán, México

Homework #2 solutions Due: June 15, 2012

Arithmetic properties of the Ramanujan function

RESEARCH PROBLEMS IN NUMBER THEORY

PELL NUMBERS WHOSE EULER FUNCTION IS A PELL NUMBER. Bernadette Faye and Florian Luca

Math Homework # 4

Number Theory. Final Exam from Spring Solutions

A characterization of the identity function

arxiv: v2 [math.nt] 29 Jul 2017

Math 109 HW 9 Solutions

THE DIOPHANTINE EQUATION P (x) = n! AND A RESULT OF M. OVERHOLT. Florian Luca Mathematical Institute, UNAM, Mexico

O N P O S I T I V E N U M B E R S n F O R W H I C H Q(n) D I V I D E S F n

THE p-adic VALUATION OF LUCAS SEQUENCES

10 Problem 1. The following assertions may be true or false, depending on the choice of the integers a, b 0. a "

arxiv: v1 [math.nt] 24 Aug 2015

Powers of Two as Sums of Two Lucas Numbers

MATH 215 Final. M4. For all a, b in Z, a b = b a.

Houston Journal of Mathematics c 2050 University of Houston Volume 76, No. 1, Communicated by George Washington

ON THE NUMBER OF DIVISORS IN ARITHMETICAL SEMIGROUPS

Number Theory. CSS322: Security and Cryptography. Sirindhorn International Institute of Technology Thammasat University CSS322. Number Theory.

On a problem of Nicol and Zhang

Acta Academiae Paedagogicae Agriensis, Sectio Mathematicae 31 (2004) 19 24

A Remark on Prime Divisors of Lengths of Sides of Heron Triangles

Power of Two Classes in k Generalized Fibonacci Sequences

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.

EXAMPLES OF MORDELL S EQUATION

On repdigits as product of consecutive Lucas numbers

2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer?

On the maximal exponent of the prime power divisor of integers

On Integers for Which the Sum of Divisors is the Square of the Squarefree Core

ON VALUES OF CYCLOTOMIC POLYNOMIALS. V

Proof 1: Using only ch. 6 results. Since gcd(a, b) = 1, we have

WORKSHEET MATH 215, FALL 15, WHYTE. We begin our course with the natural numbers:

Chris Smyth School of Mathematics and Maxwell Institute for Mathematical Sciences, University of Edinburgh, Edinburgh EH9 3JZ, UK.

Sierpiński and Carmichael numbers

ON THE SET OF WIEFERICH PRIMES AND OF ITS COMPLEMENT

GAPS IN BINARY EXPANSIONS OF SOME ARITHMETIC FUNCTIONS, AND THE IRRATIONALITY OF THE EULER CONSTANT

ON THE UNIFORM DISTRIBUTION OF CERTAIN SEQUENCES INVOLVING THE EULER TOTIENT FUNCTION AND THE SUM OF DIVISORS FUNCTION

ITERATES OF THE SUM OF THE UNITARY DIVISORS OF AN INTEGER

2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer?

Number Theory Solutions Packet

SOLUTIONS Math 345 Homework 6 10/11/2017. Exercise 23. (a) Solve the following congruences: (i) x (mod 12) Answer. We have

Marcos J. González Departamento de Matemáticas Puras y Aplicadas, Universidad Simón Bolívar, Sartenejas, Caracas, Venezuela

ON A DISTRIBUTION PROPERTY OF THE RESIDUAL ORDER OF a (mod pq)

SOME RESULTS AND PROBLEMS IN PROBABILISTIC NUMBER THEORY

198 VOLUME 46/47, NUMBER 3

Fermat s Little Theorem. Fermat s little theorem is a statement about primes that nearly characterizes them.

MATH 2200 Final Review

WORKSHEET ON NUMBERS, MATH 215 FALL. We start our study of numbers with the integers: N = {1, 2, 3,...}

12x + 18y = 50. 2x + v = 12. (x, v) = (6 + k, 2k), k Z.

SECOND-ORDER RECURRENCES. Lawrence Somer Department of Mathematics, Catholic University of America, Washington, D.C

ODD REPDIGITS TO SMALL BASES ARE NOT PERFECT

This is a recursive algorithm. The procedure is guaranteed to terminate, since the second argument decreases each time.

McGill University Faculty of Science. Solutions to Practice Final Examination Math 240 Discrete Structures 1. Time: 3 hours Marked out of 60

INTEGERS DIVISIBLE BY THE SUM OF THEIR PRIME FACTORS

Math 430 Midterm II Review Packet Spring 2018 SOLUTIONS TO PRACTICE PROBLEMS

Journal of Number Theory

EXAMPLES OF MORDELL S EQUATION

Prime Divisors of Palindromes

Tewodros Amdeberhan, Dante Manna and Victor H. Moll Department of Mathematics, Tulane University New Orleans, LA 70118

MATH 310: Homework 7

On Dris conjecture about odd perfect numbers

Wilson s Theorem and Fermat s Little Theorem

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

ARITHMETIC PROGRESSION OF SQUARES AND SOLVABILITY OF THE DIOPHANTINE EQUATION 8x = y 2

Divisibility in the Fibonacci Numbers. Stefan Erickson Colorado College January 27, 2006

PILLAI S CONJECTURE REVISITED

#A5 INTEGERS 17 (2017) THE 2-ADIC ORDER OF SOME GENERALIZED FIBONACCI NUMBERS

MATH 2112/CSCI 2112, Discrete Structures I Winter 2007 Toby Kenney Homework Sheet 5 Hints & Model Solutions

Certain Diophantine equations involving balancing and Lucas-balancing numbers

Chapter 8. Introduction to Number Theory

On a divisibility relation for Lucas sequences

*!5(/i,*)=t(-i)*-, fty.

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.

On integer solutions to x 2 dy 2 = 1, z 2 2dy 2 = 1

On the Diophantine equation k

arxiv:math/ v1 [math.nt] 9 Aug 2004

Transcription:

Annales Univ. Sci. Budapest., Sect. Comp. 41 (2013) 119 124 THE EULER FUNCTION OF FIBONACCI AND LUCAS NUMBERS AND FACTORIALS Florian Luca (Morelia, Mexico) Pantelimon Stănică (Monterey, USA) Dedicated to Professors Zoltán Daróczy and Imre Kátai on the occasion of their L 9 1 st birthday Communicated by Bui Minh Phong (Received December 22, 2012; accepted July 18, 2013) Abstract. Here, we look at the Fibonacci and Lucas numbers whose Euler function is a factorial, as well as Lucas numbers whose Euler function is a product of power of two and power of three. 1. Introduction Let (F n ) n 0 be the Fibonacci sequence given by F 0 = 0, F 1 = 1 and F n+2 = F n+1 +F n for all n 0. Let (L n ) n 0 be the companion Lucas sequence satisfying the same recurrence with initial conditions, L 0 = 2, L 1 = 1. In our previous paper [2], we noticed the relation F 1 F 2 F 3 F 4 F 5 F 6 F 7 F 8 F 10 F 12 = 11! and proved that it is the largest solution of the Diophantine equation F n1 F n2 F nk = m 1!m 2! m l! Key words and phrases: Fibonacci and Lucas numbers, factorials, diophantine equations. 2010 Mathematics Subject Classification: 11B39, 11D45. This paper was written during a visit of F. L. to the Applied Mathematics Department in December, 2012. During the preparation of this paper, F. L. was supported in part by Project PAPIIT IN104512 (UNAM), VSP N62909-12-1-4046 (Department of the US Navy, ONR Global) and a Marcos Moshinsky fellowship.

120 F. Luca and P. Stănică in positive integers n 1 < n 2 < < n k and m 1 m 2 m l where by largest we mean that the number appearing in the left (or right) hand side of the above equation is largest among all solutions. Here, we note that φ(f 21 ) = 7! and φ(l 6 ) = 3! and conjecture that the above solutions are the largest solutions of the equation φ(f n ) = m!, respectively, φ(l n ) = m! but have no idea how to attack this problem. Instead, we put N = {n : φ(f n ) = m! for some positive integer m} and prove the following properties of the set N. Put N (x) = N [1, x]. For a positive real number x we write log x for the natural logarithm of x. Theorem 1.1. The following hold: (i) #N (x) x log log x, and so N is of asymptotic density zero. log x (ii) The only primes in N are 2 and 3. In [1] it was shown that F 9 = 34 and L 3 = 4 are the largest Fibonacci and Lucas numbers, respectively, whose Euler function is a power of 2. Here, we show the following result. Theorem 1.2. The only solutions in nonnegative integers of the equation φ(l n ) = 2 a 3 b are (n, a, b) = (0, 0, 0), (1, 0, 0), (2, 1, 0), (3, 1, 0), (4, 1, 1), (6, 1, 1), (9, 2, 2). We do not know how to find all the nonnegative solutions (n, a, b) of the Diophantine equation φ(f n ) = 2 a 3 b. Also, we noted that φ(l 30 ) = 5!7!, but we do not even know how to prove that the set of positive integers n such that φ(f n ) = m 1! m l! or φ(l n ) = m 1! m l! for some integers 1 m 1 m l is of asymptotic density zero. We leave such questions for the reader.

The Euler function of Fibonacci and Lucas numbers 121 2. The proofs 2.1. The proof of Theorem 1.1 (i) Let x be a large real number and γ = (1 + 5)/2 be the golden section. Let n N (x). Since ( m e ) m < m! = φ(fn ) < F n < γ n γ x, it follows that for large x we have m x/ log x. Let us denote K = x/ log x. For k = 1,..., K, put N k (x) = {n x : φ(f n ) = k!}}. Fix k and let n 1 < n 2 <... < n t be all elements in N k (x). Since we get that F nt F n1 = ( Fnt k! 1 F n φ(f n ) log log F n log x, ) ( k! F n1 ) = ( Fnt ) ( ) φ(fn1 ) log x. φ(f nt ) Since γ n 2 F n γ n 1 holds for all n, we get that F nt /F n1 γ nt n1 1. Hence, F n1 γ nt n1 1 log x yielding #N k (x) n t n 1 log log x. Since certainly it follows that N (x) = N k (x), 1 k K #N (x) K #N k (x) K log log x k=1 which completes the proof of (i). x log log x, log x (ii) Assume that p > 12 is in N. Then all prime factors q of F p satisfy the relation q (5 q) (mod p), where (a q) is the Legendre symbol of a with

122 F. Luca and P. Stănică respect to q. If q 1, 4 (mod p), then p (q 1) φ(f p ). Since φ(f p ) = m! for some integer m, we get that m p. Thus, γ p > F p φ(f p ) p! (p/e) p, an inequality which is false for any p > 12. A similar argument proves that F p is square free. Indeed, if q 2 F p, then q φ(f p ), therefore m q. Since q ±1 (mod p), we get that q 2p 1 > p, and we get again that φ(f p ) q! > p!, a contradiction. Thus, F p is square free and q 2, 3 (mod 5) for all prime factors q of F p. Since the above congruence is true for all prime factors q of F p, we get that 5 φ(f p ), so that m 4. Hence, φ(f p ) 4! = 24. This is false if F p is a prime, or if F p has at least one prime factor > 23, or if F p has at least four distinct prime factors because (2 1)(3 1)(5 1)(7 1) > 24. Hence, F p < 23 3, leading to p 19. A quick search now completes the proof of (ii). Remark 1. The argument used to prove (ii) shows that for each fixed positive integer a, there are only finitely many primes p such that ap N. To see why, assume that p > 12 and ap N. Then every prime factor q of F ap either is a prime factor of F a, or is a primitive prime factor of F dp for some divisor d of a. In the second case, either q 1 (mod p), and we get γ ap > F ap > φ(f ap ) p! (p/e) p therefore p < e a γ, or q 2, 3 (mod 5). If this last scenario happens for all prime factors q of F ap which are not prime factors of F a, we then deduce that ν 5 (m!) = ν 5 (φ(f a )), where ν 5 (m) is the exponent of 5 in the factorization of m. Since certainly ν 5 (m!) m/5, we get that m/5 ν 5 (φ(f a )), so that m 5ν 5 (φ(f a )) + 4. This in turn puts an upper bound on ap. For example, for a {2, 3, 4}, we get that either p < e 4 γ, therefore p 19, or m 4ν 5 (φ(f a )) + 4 = 4, so φ(f ap ) 4!, which again gives that p 19, and a quick search reveals that the only such values of ap in N are 4 and 21. Remark 2. The conclusions of the above theorem (with the same bounds and primes membership in N ) as well as the above Remark 1 still hold if we replace the Fibonacci numbers by Lucas numbers. One just uses the inequalities γ n 1 L n γ n+1 valid for all n 1. 2.2. The proof of Theorem 1.2 Assume that n = 2 α m for some odd positive integer m. We start by showing that α 2. Assume that α 4. Since L 2 α = L 2 2α 1 2,

The Euler function of Fibonacci and Lucas numbers 123 it follows that L 2 α 3 (mod 4). In particular, there exists a prime factor q of L 2 α such that q 3 (mod 4). Reducing the relation L 2 2 5F 2 α 2 = 4 modulo α q, we get that ( 5 q) = 1. Since q 3 (mod 4), we deduce that ( 1 q) = 1, therefore (5 q) = 1. It follows that q 1 (mod 2 α ). Write q = 2 a 3 b + 1. Then since q 3 (mod 4), we get that a = 1. Thus, 2 α (q+1), or 2 α 1 3 b +1, and this is impossible for α 4 because ν 2 (3 b + 1) = 1, 2 according to whether b is even or odd. This shows that α 3. The case α = 3 is not possible since it would lead to L 8 L n, hence 23 φ(l 8 ) φ(l n ), a contradiction. We now look at the prime factors of m. Since 107 φ(l 27 ), 41 φ(l 18 ) and 11 φ(l 36 ), it follows that 3 3 m. In fact, if α {1, 2}, then 3 2 m. Now assume that p > 3 is a prime factor of m. Then L 2 α p has the same property that its Euler function is divisible only by primes which are at most 3. Let q > 2 be any prime factor of L 2α p which is not a prime factor of L 2 α. If α = 0, then reducing the formula L 2 p 5Fp 2 = 4 modulo q, we get that (5 q) = 1. This shows that q 1 (mod p), therefore p φ(l p ), which is a contradiction because p > 3. This shows that the only acceptable solutions when α = 0 are n = 3, 9. Assume now that α 1. Reducing the formula L 2 2 α p 5F2 2 α p = 4 modulo q we get ( 5 q) = 1. If q 1 (mod 4), then we get q 1 (mod p), leading to p φ(l 2α p), which is a contradiction for p > 3. So, we get that n {2, 4, 6, 12} and the solution n = 12 is not convenient. So, we need to treat the case when q 1 (mod 4) for all prime factors q of L 2 α p/l 2 α, which leads to the conclusion that q = 2 3 bq + 1. Moreover, q 1 (mod p), therefore 2 3 bq + 1 = a q p 1 for some even integer a q. Further, it is clear that L 2 α p/l 2 α is square free. Thus, we get that L 2 α p = L 2 αq 1 q 2 q l, where q i = 2 3 bq i + 1 for i = 1,..., l. We may assume that 1 b q1 < < b ql. We thus get that 3 b1 L 2 α p L 2 α = 5F 2 α 1 (p 1)F 2 α 1 (p+1). Now F m is a multiple of 3 if and only if 4 m. Moreover, in this case, ν 3 (F m ) = = ν 3 (m) + 1. Since exactly one of p 1 and p + 1 is a multiple of 3, and exactly one of these two numbers is a multiple of 4, it follows that min{ν 3 (F 2 α 1 (p 1), F 2 α 1 (p+1)} 1, max{ν 3 (F 2 α 1 (p 1), F 2 α 1 (p+1)} 1 + max{ν 3 (p 1), ν 3 (p + 1)}. In particular, we deduce that if b q1 2, then 3 bq 1 2 (p 1)/2 or 3 bq 1 2 (p + 1)/2. On the one hand, writing p = 2 3bq 1 + 2 a q1, we get that 3 bq 1 2 a q1 + 1, or 3 bq 1 2 a q1 1.

124 F. Luca and P. Stănică Since (p + 1)/2 3 bq 1 2, we get that 3 bq 1 + 1 a 1 = p 2 > 3bq 1 2 1. On the one hand, if a q1 10, then 3 bq 1 + 1 > 10(3 bq 1 2 1), or 11 3 bq 1 2, or b q1 4. On the other hand, if a q1 8, then 3 bq 1 2 divides one of a q1 1 or a q1 + 1, a number which is at most 9, so again b q1 4. Thus, b q1 {1, 2, 3, 4}, so the only possibilities are q 1 {7, 19, 163}. The case q 1 = 7 leads to α = 2, then p = 7, which is false because 7 2 cannot divide L 2 α p. The case q 1 = 19 leads to p q 1 1, which is false because p > 3. The case q 1 = 163 leads to p 164, so p = 41. However, in this case since q = 163 divides L 2a p, we get that α = 1. In this case, 31 φ(l 82 ), and we get a contradiction. So, we indeed conclude that n cannot be divisible by any prime p > 3, which completes the proof of the theorem. References [1] Luca, F., Arithmetic functions of Fibonacci numbers, Fibonacci Quart., 37 (1999), 265 268. [2] Luca F. and P. Stănică, F 1 F 2 F 3 F 4 F 5 F 6 F 8 F 10 F 12 = 11!, Port. Math. (N.S.), 63 (2006), 251 260. F. Luca Fundación Marcos Moshinsky Circuito Exterior CU Apdo. Postal 70-543 México DF 04510 México fluca@matmor.unam.mx P. Stănică Naval Postgraduate School Applied Mathematics Department Monterey, CA 93943, USA pstanica@nps.edu