NOTE ON FIBONACCI PRIMALITY TESTING John Brillhart University of Arizona, Tucson, AZ (Submitted August 1996-Final Revision January 1997)
|
|
- Mercy Randall
- 6 years ago
- Views:
Transcription
1 John Brillhart University of Arizona, Tucson, AZ (Submitted August 1996-Final Revision January 1997) 1. INTRODUCTION One of the most effective ways of proving an integer N is prime is to show first that N is a probable prime, i.e., that a N ~ l = 1 (mod N) for some base a l<a<n-l, then to find enough prime factors of N±l so that certain other conditions are satisfied (see [1] for details of such primality tests). The problem of finding these prime factors is, of course, the difficult time-consuming part of this process, anything that assists in the factoring of N±l is of great value, particularly when N is large. In the case of the Fibonacci Lucas numbers F n L n, we are quite fortunate that identities exist whose form is exactly suited to this purpose. (These were discovered by Jarden [4, pp ]. Their use in primality testing was first made by the author in the early 1960's see [4, p. 36].) The identities are all quite simple, asserting that F n ±\ L n ±\ are equal to a product of certain Fibonacci Lucas numbers with subscripts smaller than w, which numbers in turn may well have many known prime factors. Examples of these identities are: F 4 k+i - 1 = Fkh^ik+i a n d ^ 4 * + i + 1 = F ik+\hk With the assistance of this set of identities, many large i^'s L n % s have been identified as primes [2, p. 255]. In this note we give a collection of similar, but more complicated identities that can be used to establish the primality of'the primitive part F of F k, i.e., the cofactor remaining after the algebraic factors of F k have been divided out. This cofactor is given by the formula (see [2, p. 252]) F* = JjFf k/d \ ju the Mobius function. (1) d\k The subscript of F^ in the identities in the present collection has at most two distinct prime divisors, since an identity with three or more prime factors does not in general have a simple multiplicative structure on its right side, i.e., the right side is not just a ratio of products of F k ' Z^s. The case of two prime divisors is transitional in that some identities have simple multiplicative structure others do not [see (17) (18)]. 2, THE IDENTITIES In the proofs that follow, we use elementary Fibonacci Lucas identities. Also, throughout this note we use the familiar identity F 2r - F r L r without further mention. In the first two theorems, the subscript of F is a power of a single prime. Theorem 1: For n > 3, 222 [JUNE-JULY
2 K n-2 F r +1 = ^CL - ( 3 ) r 2"~ 2 Proof of (2): Substituting r = 2 n ~ l s = 2 n ~ 2 into the identity we obtain L r L s = L r+s+ (-l) s L r _ s, (4) r 2 n ~ l 2"~ 2 Proof of (3): Making the same substitution into the identity F s L r =F r+s -(-iyf r _ s, (5) we obtain Theorem 2: Let p = s (mod 4) be a prime, where s - ±1. Then, for n > 1, 2 n ~ 2 F* n _ l = p n -\ps)l2 L p n -\p+s)l2,gv V' J7*, j =!f- l (p+s)/2 p n -\p-s)l2 (j, P n F, Proof of (6): If we substitute r = i? " - 1 ^ ) 5 = p " " 1 ^ ) into the identity use the fact that F n = F n for n odd, then we obtain F r+s = F r L s -(-iyf r _ s, (8) F* = p " = p n ~ l (p- y 2 P"~ 1 (P+S)/2, Proof of (7): This follows in the same way by setting r = p"" 1!^) j = ^""H^-)- Q i. For p = 3, formulas (6) (7) have a particularly nice form: i $ - l = 4,-, F 3 :+1 = Z 2. 3 _ 1. (9) 2. For p = 5, formulas (6) (7) are of not interest here, since F, n>2, has 5 as an intrinsic factor [2, p. 252] cannot be a prime. The numbers F* n /5 are dealt with in (26). J. For p = 7, formula (6) becomes the interesting formula r^n 1 = Lrj n \h^n-\-liyrjn-\- (10) 4 In general, if JV = -j (i^* ± 1) is a probable prime, then JV +1 = \ (F +1). 1998] 223
3 In the next theorems, the subscript of F has two different prime factors. Theorem 3: Let q be an odd prime, then for n > 1, F* n - (_l)(<?-l)/2 = q n -\q+l)l2 r q n -\q-l)l2, j jv F* + ( - 1 ) ^ - ^ 2 - g" \q+l)/2 q"! (g-l)/2 s^) Also, for m > 2, we have r * _ 1-2 m - l q n -\q+\)l2 r 2 m - l q n -\q-\)i2 (, ~x r 2 m q" l T V 1 J ' 2 q L^m-Xf-X Proof of(11): Substituting r = q"- l {^) s = ct\3±) mt0 L r+s = 5F r F s + {-\) s L r _ s, we obtain F* = F 2q n q n - X q n 5F q»- l (q + l)/2 F q n - l (q-l)/2, n(q-l)/2 qn 2gn qn gn Proof of (12): Making the same substitutions as in (11) into (4) leads to F* = q" = L q n -\q+l)/2 L g n -\q-l)/2, r^q-y)l2 2q n T T V V V 1 V 1 Proof of (13) (14): These results are obtained similarly by using r = 2 m ~ l q n ~ l (2±L) s = 2 m - l q"- l { ±) as in (11) (12). D Theorem 4: If p<q,p q odd primes, then for m, n > 1, ce * _, //"-y- 1 V - y - 1 (q-lfp m - l q n - 1 (<?+!) 1 p m q n ~ l (15) A ( - 1 ) ^ 5 r />-, > ^ y - i r / - ' g - Proof: For brevity's sake, put w = p n ~ l q n ~ l. Then, using the formula (see [5, p. 209, (79)], P-\ F P n = i(-v- -( P ; r )^- r Fr 2r, n odd, (16) we have that 224 [JUNE-JULY
4 FF A w x pqw -F F qw* pw = ^±(-lx^(^- r )5^/r^_^eiX^P-rj 5^^ra P ~ 7 - I Y ^ ^ i n r ^ p-3 S,... /, (p-r\^-r\f^l- 2r -Fr l - 2r ^sf^f^i-f^ti-iy^f^;^ r=q F-' V " ' I F qw~ F w But, using the identity F^ - (-l)* (m 1} i^2 = i ^ + i ^ ^ - i ) w i t h k = w nt = q,we have Thus, ^w^pqw ~~ Fqvrpw C I Jr qw r w r w(q-l) r w(q+l) l-^'r'h^^f}- J7* 1 pqw^w gw pw P pqw ~ l ~ 17 F -* qw x pw -1 < p-\-2r z7/?-l-2r > _ 5F w F w(q-l) F w(q + l) V / i y P (p-r\^-r\ F q P w * ~ F w" [ It is worth while to give some special cases. Corollary 5: If q is a prime, then for m, n > 1, ^/7 J7 /7 for q>7, P 3 m g n-l 9 C / J7* (g" 1 ) 5 9 (g +1 ) /z?2. J7 2 A n $ n ^5m 5m^«fl «- I - ^ l^v-l^h \^ 5m-l «-T- + P J- 5m-\ 5m-\ a n-\ n * c m _ n - l ~ *J (1 ) r 5«V The following are some further simple cases. Here q is a prime. ^ - 1 = 1 ^ - 1 ^, ^ 5, (19) ^ - 1 = 5 / ^ / ^, ^ 7, (20) / v ; - l = ^/^_ 1 /V +1 (25F/-10F? 2 +4), qr^ll. (21) The next is a formula containing a "+1 M. From numerical evidence, there seem to be few identities with a "+ H that have a right side with a multiplicative structure. 1998] 225
5 Theorem 6: If q > 5 is a prime, then ^ ; + i = ^ - (22) Proof: Using F 3r = F r (5F? +(-l) r 3) Zg r = Z r (5F r 2 +(-l) r ), we find that Z g (F 39 +2F q ) = L q F q (5F q 2-3)+2F q L q = F q L q (5F*-l) = F q I^q. Thus, /Some Examples: We consider the factorizations leading to proofs of the primality of the probable primes F* 45, i^* 2853 F* In the first, we have F* 45 = p; 29 = -p0- = Then, by (20) Tables 2 3 in [2], we find the complete factorization: In the second, identity (20) gives ^5*29 ~ 1 = 5^28^9^30 = 5 ( A * M V X ^ 9 ( A 5 ^ ) = 5( )( )(2 2 -ll ). ^*285 ~ 1 = ^5*457 ~ 1 = 5^456^457^458 = ^(^228M 14^57^7)^457(^229^29) 5 each factor of which is again completely factored using the tables in [2]. The primality of F* 45 ^2285 ls established, respectively, from these complete factorizations using Theorem 1 in [1]. In the third, identity (21) is used to obtain A 4203 ~~ 1 = ^ ~^ = TJ ^2028^030^ = IT ^ ^ )(A ) ' where G = 25i^Q 29-10i^Q As it happens, all the F k 's L k 's can be factored completely G is partially factored as G = c, where c is a 1682-digit composite cofactor. Since the logarithm of the product of the 64 known prime factors in these factorizations (counting multiplicity) is about 33.9% of the 2544-digit number F* 4203, the "cube root" Theorem 5 in [1] can be used to establish the primality of this number. Fourteen of these factors have more than 20 digits. For another example, see [3, 4], where (18) is used in the primality proof of the 1137-digit probable prime i^*225- A final example is the probable prime ^49, for which not enough prime factors have been discovered to complete a primality proof. I would like to thank W. Keller for suggesting the above examples for sending me information about them. The next theorem deals with those F*'s that have an intrinsic factor, which is divided out of the primitive part. Only the first power of an intrinsic factor can divide the primitive part. 226 [JUNE-JULY
6 Theorem 7: We have % + l = fl^ ^ 2, (24) % + l = ^ n ^ l, (25) ^ - 1 = 5 / ^ / 3., ^, /1 > 2, (26) ^ + 1 = ^ ^, ( 4 ^, - 7 ^ ),» > 1. (27) Proof of (23) (24): Using Zg r = Z r (Ar - (-1/) 4 r = Z? - (-l) r 2, we have Now, firom Z^-(-l) r 5 = 4-i4+i> w e h a v e -^3*2" ~ 2 = : ^ 2 M - 1 _ 5 = ^^-A^+p from w h i ch t h e identity follows. Also, from the equalities in (28), we have \^KT +2) = (Z 2 +l) = i(z^_ 1-1) = ^(Z 2 _, -1)(Z 2 _, +1) ^ ^ fc=2 t=2 k=\ Proof of (25): Using L,,. = L r (L; - (-l) r 3), we find that which implies the result. 77 J7 T 77* ^ " ^ r 1 = IT = T2 _ o 4-3" 17 F r ^2-S"- 1 ' J 2-3" 4-3"- 1 ^Z.3"- 1 Proof of(26): From (16), we obtain the formula F 5r = 5F r (5F r 4-5F r 2 +1), so % - 1 = ^f 1 = 5 2 ^ ( /, -1) = SF^F^F^, using F? + {-W=F r -ifr+x- Proof of (27): From [4, p. 212, (86)], ^ (-l)^v)^«odd, so L, = Z (4-1L\ + ULI-7). Thus, 1998] 227
7 from which the identity follows. D F* = F * rf * r - 1 = i ^ - = L 6., _, - 1L\ _, + \4L] _, " /7 C 7" 4-7"" 1 ' ^ 4-7 n ' n-\ '4-7 n ' Remark: Numerical evidence suggests that, for n > 2, there are no multiplicative formulas for the even integers N x = (F* 3 13) - 1 N 2 - (F* n / 5) +1. On the other h, if ±N X or y N 2 should be probable primes, then the following formulas, which relate back to (24) (25), might be useful in establishing their primality: 2 l 2 (K* Fl \ 4-3" + 1 J ~N 7 -l = There are some other formulas involving F* L* of various kinds, but these will not be considered here. We conclude this note by observing that the identities used in the proofs, such as those in (4), (5), (8), each contain the factor (-1)*, which becomes the ±1 in the identity for F*±l. In general Lucas sequences, of which the pair {F n } =0 {L n } =0 is a special case, this factor is Q s. Thus, the other Lucas sequences that have formulas like those in this note are those for which g = l(see[l,p.627]). REFERENCES 1. J. Brillhart, D. H. Lehmer, & J. L. Selfridge. "New Primality Criteria Factorizations of 2 w ±l. n Math. ofcomp (1975): J. Brillhart, P. L. Montgomery, & R. D. Silverman. "Tables of Fibonacci Lucas Factorizations." Math. ofcomp (1988):251-60; S1-S H. Dubner & W. Keller. "New Fibonacci Lucas Primes." Math. ofcomp., to appear. 4. D. Jarden. Recurring Sequences. 3rd ed. Jerusalem: Riveon Lematematika, E. Lucas. "Theorie des fonctions numeriques simplement periodiques." Amer. J. Math. 1.1 (1878): ; AMS Classification Numbers: 11A51, 11B39 F* 5 ~-l [JUNE-JULY
FACTORS OF GENERALIZED FERMAT NUMBERS
mathematics of computation volume 64, number 20 january, pages -40 FACTORS OF GENERALIZED FERMAT NUMBERS HARVEY DUBNER AND WILFRID KELLER Abstract. Generalized Fermât numbers have the form Fb
More informationADVANCED PROBLEMS AND SOLUTIONS. Edited by Raymond E. Whitney
Edited by Raymond E. Whitney Please send all communications concerning ADVANCED PROBLEMS AND SOLUTIONS to RAYMOND E. WHITNEY, MATHEMATICS DEPARTMENT, LOCK HAVEN UNIVERSITY, LOCK HAVEN, PA 7745. This department
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 informationSome congruences concerning second order linear recurrences
Acta Academiae Paedagogicae Agriensis, Sectio Mathematicae,. (1997) pp. 9 33 Some congruences concerning second order linear recurrences JAMES P. JONES PÉTER KISS Abstract. Let U n V n (n=0,1,,...) be
More informationN O N E X I S T E N C E O F EVEN FIBONACCI P S E U D O P R I M E S O F THE P T KIND*
N O N E X I S T E N C E O F EVEN FIBONACCI P S E U D O P R I M E S O F THE P T KIND* Adina DI Porto Fondazione Ugo Bordoni, Rome, Italy (Submitted August 1991) 1. INTRODUCTION AND PRELIMINARIES Fibonacci
More information198 VOLUME 46/47, NUMBER 3
LAWRENCE SOMER Abstract. Rotkiewicz has shown that there exist Fibonacci pseudoprimes having the forms p(p + 2), p(2p 1), and p(2p + 3), where all the terms in the products are odd primes. Assuming Dickson
More informationA Proof of the Lucas-Lehmer Test and its Variations by Using a Singular Cubic Curve
1 47 6 11 Journal of Integer Sequences, Vol. 1 (018), Article 18.6. A Proof of the Lucas-Lehmer Test and its Variations by Using a Singular Cubic Curve Ömer Küçüksakallı Mathematics Department Middle East
More informationPrimes at a Glance. By R. K. Guy, C. B. Lacampagne, and J. L. Selfridge
mathematics of computation volume 4x. number 177 january 1987, pages 18-2(12 Primes at a Glance By R. K. Guy, C. B. Lacampagne, and J. L. Selfridge To Dan Shanks: May he stay on form und again become the
More informationTHE p-adic VALUATION OF LUCAS SEQUENCES
THE p-adic VALUATION OF LUCAS SEQUENCES CARLO SANNA Abstract. Let (u n) n 0 be a nondegenerate Lucas sequence with characteristic polynomial X 2 ax b, for some relatively prime integers a and b. For each
More informationPrimality Proofs. Geoffrey Exoo Department of Mathematics and Computer Science Indiana State University Terre Haute, IN
Primality Proofs Geoffrey Exoo Department of Mathematics and Computer Science Indiana State University Terre Haute, IN 47809 ge@cs.indstate.edu July 30, 2013 Abstract There is an web site [1] that lists
More informationEquivalence of Pepin s and the Lucas-Lehmer Tests
EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS Vol., No. 3, 009, (35-360) ISSN 1307-5543 www.ejpam.com Equivalence of Pepin s and the Lucas-Lehmer Tests John H. Jaroma Department of Mathematics & Physics,
More informationTwo Identities Involving Generalized Fibonacci Numbers
Two Identities Involving Generalized Fibonacci Numbers Curtis Cooper Dept. of Math. & Comp. Sci. University of Central Missouri Warrensburg, MO 64093 U.S.A. email: cooper@ucmo.edu Abstract. Let r 2 be
More informationDYNAMICS OF THE ZEROS OF FIBONACCI POLYNOMIALS M. X. He Nova Southeastern University, Fort Lauderdale, FL. D, Simon
M. X. He Nova Southeastern University, Fort Lauderdale, FL D, Simon Nova Southeastern University, Fort Lauderdale, FL P. E. Ricci Universita degli Studi di Roma "La Sapienza," Rome, Italy (Submitted December
More informationAND RELATED NUMBERS. GERHARD ROSENBERGER Dortmund, Federal Republic of Germany (Submitted April 1982)
ON SOME D I V I S I B I L I T Y PROPERTIES OF FIBONACCI AND RELATED NUMBERS Universitat GERHARD ROSENBERGER Dortmund, Federal Republic of Germany (Submitted April 1982) 1. Let x be an arbitrary natural
More information#A11 INTEGERS 12 (2012) FIBONACCI VARIATIONS OF A CONJECTURE OF POLIGNAC
#A11 INTEGERS 12 (2012) FIBONACCI VARIATIONS OF A CONJECTURE OF POLIGNAC Lenny Jones Department of Mathematics, Shippensburg University, Shippensburg, Pennsylvania lkjone@ship.edu Received: 9/17/10, Revised:
More information1. INTRODUCTION. Ll-5F 2 = 4(-l)" (1.1)
Ray Melham School of Mathematical Sciences, University of Technology, Sydney PO Box 123, Broadway, NSW 2007, Australia (Submitted April 1997) Long [4] considered the identity 1. INTRODUCTION Ll-5F 2 =
More informationThe Distribution of Generalized Sum-of-Digits Functions in Residue Classes
Journal of umber Theory 79, 9426 (999) Article ID jnth.999.2424, available online at httpwww.idealibrary.com on The Distribution of Generalized Sum-of-Digits Functions in Residue Classes Abigail Hoit Department
More informationOn Sums of Products of Horadam Numbers
KYUNGPOOK Math J 49(009), 483-49 On Sums of Products of Horadam Numbers Zvonko ƒerin Kopernikova 7, 10010 Zagreb, Croatia, Europe e-mail : cerin@mathhr Abstract In this paper we give formulae for sums
More informationADVANCED PROBLEMS AND SOLUTIONS
Edited by RAYMOND E. WHITNEY Please send all communications concerning to RAYMOND E. WHITNEY, MATHEMATICS DEPARTMENT, LOCK HAVEN UNIVERSITY, LOCK HAVEN, PA 17745. This department especially welcomes problems
More informationADVANCED PROBLEMS AND SOLUTIONS
ADVANCED PROBLEMS AND SOLUTIONS Edited by RAYMOND E.WHITNEY Lk Haven State College, Lock Haven, Pennsylvania 17745 Send all communications concerning Advanced Problems and Solutions to Raymond E. Whitney,
More informationPrime Pythagorean triangles
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 4 (2001), Article 01.2.3 Prime Pythagorean triangles Harvey Dubner 449 Beverly Road, Ridgewood, New Jersey 07450 Tony Forbes Department of Pure Mathematics,
More informationPRIMITIVE PERIODS OF GENERALIZED FIBONACCI SEQUENCES
PRIMITIVE PERIODS O GENERALIZED IBONACCI SEQUENCES CLAUDIA SMIT and VERWER E. OGGATT, JR. San Jose State University, San Jose, California 95192 1. IWTRODUCTIOW In this paper we are concerned with the primitive
More informationSOME FORMULAE FOR THE FIBONACCI NUMBERS
SOME FORMULAE FOR THE FIBONACCI NUMBERS Brian Curtin Department of Mathematics, University of South Florida, 4202 E Fowler Ave PHY4, Tampa, FL 33620 e-mail: bcurtin@mathusfedu Ena Salter Department of
More informationOn the Fermat Periods of Natural Numbers
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 13 (2010), Article 10.9.5 On the Fermat Periods of Natural Numbers Tom Müller Forschungsstelle für interdisziplinäre Geisteswissenschaft Institut für
More informationNew Negative Latin Square Type Partial Difference Sets in Nonelementary Abelian 2-groups and 3-groups
New Negative Latin Square Type Partial Difference Sets in Nonelementary Abelian 2-groups and 3-groups John Polhill Department of Mathematics, Computer Science, and Statistics Bloomsburg University Bloomsburg,
More informationCALCULATING EXACT CYCLE LENGTHS IN THE GENERALIZED FIBONACCI SEQUENCE MODULO p
CALCULATING EXACT CYCLE LENGTHS IN THE GENERALIZED FIBONACCI SEQUENCE MODULO p DOMINIC VELLA AND ALFRED VELLA. Introduction The cycles that occur in the Fibonacci sequence {F n } n=0 when it is reduced
More informationON SECOND-ORDER LINEAR RECURRENCE SEQUENCES: WALL AND WYLER REVISITED
ON SECOND-ORDER LINEAR RECURRENCE SEQUENCES: WALL AND WYLER REVISITED Hua-Chieh Li Dept. of Mathematics, National Tsing Hua University, Hsin Chu, 300, Taiwan, R.O.C. (Submitted March 1998-Final Revision
More informationSECOND-ORDER RECURRENCES. Lawrence Somer Department of Mathematics, Catholic University of America, Washington, D.C
p-stability OF DEGENERATE SECOND-ORDER RECURRENCES Lawrence Somer Department of Mathematics, Catholic University of America, Washington, D.C. 20064 Walter Carlip Department of Mathematics and Computer
More information1. INTRODUCTION. Fn 2 = F j F j+1 (1.1)
CERTAIN CLASSES OF FINITE SUMS THAT INVOLVE GENERALIZED FIBONACCI AND LUCAS NUMBERS The beautiful identity R.S. Melham Deartment of Mathematical Sciences, University of Technology, Sydney PO Box 23, Broadway,
More informationTHE CLASSIFICATION OF PLANAR MONOMIALS OVER FIELDS OF PRIME SQUARE ORDER
THE CLASSIFICATION OF PLANAR MONOMIALS OVER FIELDS OF PRIME SQUARE ORDER ROBERT S COULTER Abstract Planar functions were introduced by Dembowski and Ostrom in [3] to describe affine planes possessing collineation
More informationSOME IDENTITIES INVOLVING DIFFERENCES OF PRODUCTS OF GENERALIZED FIBONACCI NUMBERS
SOME IDENTITIES INVOLVING DIFFERENCES OF PRODUCTS OF GENERALIZED FIBONACCI NUMBERS CURTIS COOPER Abstract. Melham discovered the Fibonacci identity F n+1f n+2f n+6 F 3 n+3 = 1 n F n. Melham then considered
More information460 [Nov. u»=^tjf> v = <*"+?", (3)
Minora Yatouta Nichiyodogawa High School, Osaka, 555-0031, Japan (Submitted September 2000-Final Revision August 2001) 1. INTRODUCTION We consider two sequences defined by the recursion relations «o =
More informationITERATING THE DIVISION ALGORITHM
MICHAEL E. MAYS West Virginia University, Morgantown, WV 26506 (Submitted June 1985) INTRODUCTION The division algorithm guarantees that when an arbitrary integer b is divided by a positive integer a there
More informationCOMPOSITIONS AND FIBONACCI NUMBERS
COMPOSITIONS AND FIBONACCI NUMBERS V. E. HOGGATT, JR., and D. A. LIND San Jose State College, San Jose, California and University of Cambridge, England 1, INTRODUCTION A composition of n is an ordered
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 informationBinary BBP-Formulae for Logarithms and Generalized Gaussian-Mersenne Primes
3 47 6 3 Journal of Integer Sequences, Vol. 6 003), Article 03.3.7 Binary BBP-Formulae for Logarithms and Generalized Gaussian-Mersenne Primes Marc Chamberland Department of Mathematics and Computer Science
More informationADVANCED PROBLEMS AND SOLUTIONS
Edited by Florian Luca Please send all communications concerning ADVANCED PROBLEMS AND SOLU- TIONS to FLORIAN LUCA, IMATE, UNAM, AP. POSTAL 61-3 (XANGARI),CP 58 089, MORELIA, MICHOACAN, MEXICO, or by e-mail
More informationPrimality testing: variations on a theme of Lucas. Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA
Primality testing: variations on a theme of Lucas Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA In 1801, Carl Friedrich Gauss wrote: The problem of distinguishing prime numbers from composite
More informationOn the Composite Terms in Sequence Generated from Mersenne-type Recurrence Relations
On the Composite Terms in Sequence Generated from Mersenne-type Recurrence Relations Pingyuan Zhou E-mail:zhoupingyuan49@hotmail.com Abstract We conjecture that there is at least one composite term in
More informationParity Results for Certain Partition Functions
THE RAMANUJAN JOURNAL, 4, 129 135, 2000 c 2000 Kluwer Academic Publishers. Manufactured in The Netherlands. Parity Results for Certain Partition Functions MICHAEL D. HIRSCHHORN School of Mathematics, UNSW,
More informationADVANCED PROBLEMS AND SOLUTIONS
Edited by Raymond E. Whitney Please send all communications concerning ADVANCED PROBLEMS AND SOLUTIONS to RAYMOND E. WHITNEY, MATHEMATICS DEPARTMENT, LOCK HAVEN UNIVERSITY, LOCK HA VEN, PA 17745. This
More informationSOLUTIONS Math 345 Homework 6 10/11/2017. Exercise 23. (a) Solve the following congruences: (i) x (mod 12) Answer. We have
Exercise 23. (a) Solve the following congruences: (i) x 101 7 (mod 12) Answer. We have φ(12) = #{1, 5, 7, 11}. Since gcd(7, 12) = 1, we must have gcd(x, 12) = 1. So 1 12 x φ(12) = x 4. Therefore 7 12 x
More informationTHE LIE ALGEBRA ASSOCIATED TO THE LOWER CENTRAL SERIES OF A LINK GROUP AND MURASUGI'S CONJECTURE
PROCEEDINGS of the AMERICAN MATHEMATICAL SOCIETY Volume 109, Number 4, August 1990 THE LIE ALGEBRA ASSOCIATED TO THE LOWER CENTRAL SERIES OF A LINK GROUP AND MURASUGI'S CONJECTURE JOHN P. LABUTE (Communicated
More informationThe Fibonacci Identities of Orthogonality
The Fibonacci Identities of Orthogonality Kyle Hawins, Ursula Hebert-Johnson and Ben Mathes January 14, 015 Abstract In even dimensions, the orthogonal projection onto the two dimensional space of second
More informationarxiv: v1 [math.nt] 29 Jul 2014
A PRIMALITY CRITERION BASED ON A LUCAS CONGRUENCE ROMEO MEŠTROVIĆ arxiv:407.7894v [math.nt] 29 Jul 204 ABSTRACT. Let p be a prime. In 878 É. Lucas proved that the congruence ( ) p ( ) (mod p) holds for
More informationFermat s Little Theorem. Fermat s little theorem is a statement about primes that nearly characterizes them.
Fermat s Little Theorem Fermat s little theorem is a statement about primes that nearly characterizes them. Theorem: Let p be prime and a be an integer that is not a multiple of p. Then a p 1 1 (mod p).
More informationPrimes of the Form n! ± 1 and p ± 1
mathematics of computation volume 38, number 158 april 1982, pages 639-643 Primes of the Form n! ± 1 and 2-3-5 p ± 1 By J. P. Buhler, R. E. Crandall and M. A. Penk Abstract. All primes less than 101000
More informationProof 1: Using only ch. 6 results. Since gcd(a, b) = 1, we have
Exercise 13. Consider positive integers a, b, and c. (a) Suppose gcd(a, b) = 1. (i) Show that if a divides the product bc, then a must divide c. I give two proofs here, to illustrate the different methods.
More informationMath 319 Problem Set #2 Solution 14 February 2002
Math 39 Problem Set # Solution 4 February 00. (.3, problem 8) Let n be a positive integer, and let r be the integer obtained by removing the last digit from n and then subtracting two times the digit ust
More informationChapter 1. Number of special form. 1.1 Introduction(Marin Mersenne) 1.2 The perfect number. See the book.
Chapter 1 Number of special form 1.1 Introduction(Marin Mersenne) See the book. 1.2 The perfect number Definition 1.2.1. A positive integer n is said to be perfect if n is equal to the sum of all its positive
More informationLarge strings of consecutive smooth integers
Large strings of consecutive smooth integers Filip Najman Abstract In this note we improve an algorithm from a recent paper by Bauer and Bennett for computing a function of Erdös that measures the minimal
More informationNew Bound for the First Case of Fermât 's Last Theorem
MATHEMATICS OF COMPUTATION VOLUME 53, NUMBER 188 OCTOBER 1989, PAGES 743-750 New Bound for the First Case of Fermât 's Last Theorem By Jonathan W. Tanner and Samuel S. Wagstaff, Jr. Abstract. We present
More informationELEMENTARY PROBLEMS AND SOLUTIONS. Edited by Stanley Rabinowitz
Edited by Stanley Rabinowitz IMPORTANT NOTICE: There is a new editor of this department and a new address for all submissions. Please send all material for ELEMENTARY PROBLEMS AND SOLUTIONS to DR. STANLEY
More informationTHE EULER FUNCTION OF FIBONACCI AND LUCAS NUMBERS AND FACTORIALS
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
More informationArithmetic Consequences of Jacobi s Two-Squares Theorem
THE RAMANUJAN JOURNAL 4, 51 57, 2000 c 2000 Kluwer Academic Publishers. Manufactured in The Netherlands. Arithmetic Consequences of Jacobi s Two-Squares Theorem MICHAEL D. HIRSCHHORN School of Mathematics,
More informationExercise 2.2. Find (with proof) all rational points on the curve y = 2 x.
Exercise 2.2. Find (with proof) all rational points on the curve y = 2 x. Exercise 2.4: Prove that for any integer n 0, e n is not a rational number. Exercise 2.5: Prove that the only rational point on
More informationProof by Contradiction
Proof by Contradiction MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Proof by Contradiction Fall 2014 1 / 12 Outline 1 Proving Statements with Contradiction 2 Proving
More informationOn Partition Functions and Divisor Sums
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 5 (2002), Article 02.1.4 On Partition Functions and Divisor Sums Neville Robbins Mathematics Department San Francisco State University San Francisco,
More information-P" -p. and V n = a n + ft\ (1.2)
R. S. Melham School of Mathematical Sciences, University of Technology, Sydney, PO Box 123, Broadway, NSW 27 Australia {Submitted November 1997-Final Revision April 1998) 1. INTRODUCTION Define the sequences
More information417 P. ERDÖS many positive integers n for which fln) is l-th power free, i.e. fl n) is not divisible by any integral l-th power greater than 1. In fac
ARITHMETICAL PROPERTIES OF POLYNOMIALS P. ERDÖS*. [Extracted from the Journal of the London Mathematical Society, Vol. 28, 1953.] 1. Throughout this paper f (x) will denote a polynomial whose coefficients
More informationOn k-fibonacci Numbers with Applications to Continued Fractions
Journal of Physics: Conference Series PAPER OPEN ACCESS On k-fibonacci Numbers with Applications to Continued Fractions Related content - Some results on circulant and skew circulant type matrices with
More informationEXPLICIT PRIMALITY CRITERIA FOR h 2k ± 1
mathematics of computation volume 6, number 203 july 993, pages 97-09 EXPLICIT PRIMALITY CRITERIA FOR h 2k ± WIEB BOSMA Dedicated to the memory ofd. H. Lehmer Abstract. Algorithms are described to obtain
More informationGENERATION OF PRIMITIVE BINARY POLYNOMIALS
INTERNATIONAL CONFERENCE ON ALGEBRA, LOGIC AND DISCRETE MATHEMATICS April 14-16, 1995 Niš GENERATION OF PRIMITIVE BINARY POLYNOMIALS Miodrag Živković Let F q denote the finite field of order q = p n, where
More informationFibonacci numbers with prime subscripts: Digital sums for primes versus composites
Notes on Number Theory and Discrete Mathematics ISSN 1310 5132 Vol. 20, 2014, No. 3, 45 49 Fibonacci numbers with prime subscripts: Digital sums for primes versus composites J. V. Leyendekkers 1 and A.
More informationTHE ARITHMETIC OF THE COEFFICIENTS OF HALF INTEGRAL WEIGHT EISENSTEIN SERIES. H(1, n)q n =
THE ARITHMETIC OF THE COEFFICIENTS OF HALF INTEGRAL WEIGHT EISENSTEIN SERIES ANTAL BALOG, WILLIAM J. MCGRAW AND KEN ONO 1. Introduction and Statement of Results If H( n) denotes the Hurwitz-Kronecer class
More informationCLASSES OF IDENTITIES FOR THE GENERALIZED FIBONACCI NUMBERS G n = G n _ t + G n _ c FROM MATRICES WITH CONSTANT VALUED DETERMINANTS
CLASSES OF IDENTITIES FOR THE GENERALIZED FIBONACCI NUMBERS G n = G n _ t + G n _ c FROM MATRICES WITH CONSTANT VALUED DETERMINANTS Marjorle Bicknell-Johnson 665 Fairlane Avenue, Santa Clara, CA 955 Colin
More information1 Lecture 1 (1/5/2009)
1 Lecture 1 (1/5/2009) Notation 1.1 Introduce N := {0, 1, 2,... }, Z, Q, R, and C. Also let Z + := N \ {0}. Set notations. Recalled basic notions of a function being one to one, onto, and invertible. Think
More information1 Lecture 1 (1/5/2009)
1 Lecture 1 (1/5/2009) Notation 1.1 Introduce N := {0, 1, 2,... }, Z, Q, R, and C. Also let Z + := N \ {0}. Set notations. Recalled basic notions of a function being one to one, onto, and invertible. Think
More information1. INTRODUCTION For n G N, where N = {0,1,2,...}, the Bernoulli polynomials, B (t), are defined by means of the generating function
CONGRUENCES RELATING RATIONAL VALUES OF BERNOULLI AND EULER POLYNOMIALS Glenn J. Fox Dept. of Mathematics and Computer Science, Emory University, Atlanta, GA 30322 E-mail: fox@mathcs.emory.edu (Submitted
More informationOn the least absolute remainder Euclidean algorithm
Bridgewater State University Virtual Commons - Bridgewater State University Mathematics and Computer Science Faculty Publications Mathematics and Computer Science Department 1992 On the least absolute
More informationSummation of Certain Infinite Lucas-Related Series
J. Integer Sequences 22 (209) Article 9..6. Summation of Certain Infinite Lucas-Related Series arxiv:90.04336v [math.nt] Jan 209 Bakir Farhi Laboratoire de Mathématiques appliquées Faculté des Sciences
More informationSteve Fairgrieve Department of Mathematics, West Virginia University, PO Box 6310, Morgantown, WV
PRODUCT DIFFERENCE FIBONACCI IDENTITIES OF SIMSON, GELIN-CESARO, TAGIURI AND GENERALIZATIONS Steve Fairgrieve Department of Mathematics, West Virginia University, PO Box 6310, Morgantown, WV 26506-6310
More information#A40 INTEGERS 13 (2013) FINITE SUMS THAT INVOLVE RECIPROCALS OF PRODUCTS OF GENERALIZED FIBONACCI NUMBERS
#A40 INTEGERS 3 (203) FINITE SUMS THAT INVOLVE RECIPROCALS OF PRODUCTS OF GENERALIZED FIBONACCI NUMBERS R S Melham School of Mathematical Sciences, University of Technology, Sydney, Australia raymelham@utseduau
More informationA Search for Large Twin Prime Pairs. By R. E. Crandall and M. A. Penk. Abstract. Two methods are discussed for finding large integers m such that m I
MATHEMATICS OF COMPUTATION, VOLUME 33, NUMBER 145 JANUARY 1979, PAGES 383-388 A Search for Large Twin Prime Pairs By R. E. Crandall and M. A. Penk Abstract. Two methods are discussed for finding large
More informationOn the distribution of irreducible trinomials over F 3
Finite Fields and Their Applications 13 (2007) 659 664 http://www.elsevier.com/locate/ffa On the distribution of irreducible trinomials over F 3 Omran Ahmadi Department of Combinatorics and Optimization,
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 informationX(^+(2^i) = i + X02^r + i.
Peter R. Christopher Department of Mathematics Sciences Worcester Polytechnic Institute, Worcester, MA 69 John W. Kennedy Mathematics Department, Pace University, New York, NY 38 (Submitted May 995). INTRODUCTION
More informationThe primitive root theorem
The primitive root theorem Mar Steinberger First recall that if R is a ring, then a R is a unit if there exists b R with ab = ba = 1. The collection of all units in R is denoted R and forms a group under
More informationAll variables a, b, n, etc are integers unless otherwise stated. Each part of a problem is worth 5 points.
Math 152, Problem Set 2 solutions (2018-01-24) All variables a, b, n, etc are integers unless otherwise stated. Each part of a problem is worth 5 points. 1. Let us look at the following equation: x 5 1
More informationMATH 4400 SOLUTIONS TO SOME EXERCISES. 1. Chapter 1
MATH 4400 SOLUTIONS TO SOME EXERCISES 1.1.3. If a b and b c show that a c. 1. Chapter 1 Solution: a b means that b = na and b c that c = mb. Substituting b = na gives c = (mn)a, that is, a c. 1.2.1. Find
More informationG. Sburlati GENERALIZED FIBONACCI SEQUENCES AND LINEAR RECURRENCES
Rend. Sem. Mat. Univ. Pol. Torino - Vol. 65, 3 (2007) G. Sburlati GENERALIZED FIBONACCI SEQUENCES AND LINEAR RECURRENCES Abstract. We analyze the existing relations among particular classes of generalized
More informationDISTRIBUTION OF FIBONACCI AND LUCAS NUMBERS MODULO 3 k
DISTRIBUTION OF FIBONACCI AND LUCAS NUMBERS MODULO 3 k RALF BUNDSCHUH AND PETER BUNDSCHUH Dedicated to Peter Shiue on the occasion of his 70th birthday Abstract. Let F 0 = 0,F 1 = 1, and F n = F n 1 +F
More informationUNIQUE-PERIOD PRIMES. Chris K. Caldwell 5856 Harry Daniels Road Rives, Tennessee
Appeared in: J. Recreational Math., 29:1 (1998) 43--48. UNIQUE-PERIOD PRIMES Chris K. Caldwell 5856 Harry Daniels Road Rives, Tennessee 38253 email: caldwell@utmartin.edu Harvey Dubner 449 Beverly Road
More informationPOLYGONAL-SIERPIŃSKI-RIESEL SEQUENCES WITH TERMS HAVING AT LEAST TWO DISTINCT PRIME DIVISORS
#A40 INTEGERS 16 (2016) POLYGONAL-SIERPIŃSKI-RIESEL SEQUENCES WITH TERMS HAVING AT LEAST TWO DISTINCT PRIME DIVISORS Daniel Baczkowski Department of Mathematics, The University of Findlay, Findlay, Ohio
More informationZsigmondy s Theorem. Lola Thompson. August 11, Dartmouth College. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, / 1
Zsigmondy s Theorem Lola Thompson Dartmouth College August 11, 2009 Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 1 / 1 Introduction Definition o(a modp) := the multiplicative order
More informationTHE HOMOTOPY TYPE OF THE SPACE OF RATIONAL FUNCTIONS
THE HOMOTOPY TYPE OF THE SPACE OF RATIONAL FUNCTIONS by M.A. Guest, A. Kozlowski, M. Murayama and K. Yamaguchi In this note we determine some homotopy groups of the space of rational functions of degree
More informationELEMENTARY NUMBER THEORY AND METHODS OF PROOF
CHAPTER 4 ELEMENTARY NUMBER THEORY AND METHODS OF PROOF Copyright Cengage Learning. All rights reserved. SECTION 4.3 Direct Proof and Counterexample III: Divisibility Copyright Cengage Learning. All rights
More informationarxiv: v3 [math.nt] 15 Dec 2016
Lehmer s totient problem over F q [x] arxiv:1312.3107v3 [math.nt] 15 Dec 2016 Qingzhong Ji and Hourong Qin Department of Mathematics, Nanjing University, Nanjing 210093, P.R.China Abstract: In this paper,
More informationOrder and chaos. Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA
Order and chaos Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA Perfect shuffles Suppose you take a deck of 52 cards, cut it in half, and perfectly shuffle it (with the bottom card staying
More informationBINARY BBP-FORMULAE FOR LOGARITHMS AND GENERALIZED GAUSSIAN-MERSENNE PRIMES. Marc Chamberland
1 BINARY BBP-FORMULAE FOR LOGARITHMS AND GENERALIZED GAUSSIAN-MERSENNE PRIMES Marc Chamberland Department of Mathematics and Computer Science Grinnell College Grinnell, IA, 5011 E-mail: chamberl@math.grinnell.edu
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 informationSome constructions of integral graphs
Some constructions of integral graphs A. Mohammadian B. Tayfeh-Rezaie School of Mathematics, Institute for Research in Fundamental Sciences (IPM), P.O. Box 19395-5746, Tehran, Iran ali m@ipm.ir tayfeh-r@ipm.ir
More informationFactorizations of b n ±1, Up to High Powers. Third Edition. John Brillhart, D. H. Lehmer J. L. Selfridge, Bryant Tuckerman, and S. S. Wagstaff, Jr.
CONTEMPORARY MATHEMATICS 22 Factorizations of b n ±1, b = 2, 3, 5, 6, 7,10, 11, 12 Up to High Powers Third Edition John Brillhart, D. H. Lehmer J. L. Selfridge, Bryant Tuckerman, and S. S. Wagstaff, Jr.
More informationDivisibility in the Fibonacci Numbers. Stefan Erickson Colorado College January 27, 2006
Divisibility in the Fibonacci Numbers Stefan Erickson Colorado College January 27, 2006 Fibonacci Numbers F n+2 = F n+1 + F n n 1 2 3 4 6 7 8 9 10 11 12 F n 1 1 2 3 8 13 21 34 89 144 n 13 14 1 16 17 18
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 informationPythagorean Triangles with Repeated Digits Different Bases
arxiv:0908.3866v1 [math.gm] 6 Aug 009 Pythagorean Triangles with Repeated Digits Different Bases Habib Muzaffar Department of Mathematics International Islamic University Islamabad P.O. Box 144, Islamabad,
More informationOn integer solutions to x 2 dy 2 = 1, z 2 2dy 2 = 1
ACTA ARITHMETICA LXXXII.1 (1997) On integer solutions to x 2 dy 2 = 1, z 2 2dy 2 = 1 by P. G. Walsh (Ottawa, Ont.) 1. Introduction. Let d denote a positive integer. In [7] Ono proves that if the number
More informationSOME IDENTITIES INVOLVING THE FIBONACCI POLYNOMIALS*
* Yi Yuan and Wenpeeg Zhang Research Center for Basic Science, Xi'an Jiaotong University, Xi'an Shaanxi. P.R. China (Submitted June 2000-Final Revision November 2000) 1. INTROBUCTION AND RESULTS As usual,
More informationTHE EULER FUNCTION OF FIBONACCI AND LUCAS NUMBERS AND FACTORIALS
Annales Univ. Sci. Budapest., Sect. Comp. 40 (2013) nn nnn THE EULER FUNCTION OF FIBONACCI AND LUCAS NUMBERS AND FACTORIALS Florian Luca (Morelia, Mexico) Pantelimon Stănică (Monterey, USA) Dedicated to
More informationNonsolvable Groups with No Prime Dividing Three Character Degrees
Nonsolvable Groups with No Prime Dividing Three Character Degrees Mark L. Lewis and Donald L. White Department of Mathematical Sciences, Kent State University Kent, Ohio 44242 E-mail: lewis@math.kent.edu,
More information