The order of appearance of the product of two Fibonacci and Lucas numbers (Q2221037)

The study of the divisibility properties of the Fibonacci and Lucas numbers \(F_n\) and \(L_n\) has always been a popular area of research. Let \(n\) be a positive integer. The order of appearance of \(n\) in the Fibonacci sequence (or Fibonacci entry point), denoted here by \(z(n)\), is defined as the smallest integer \(k\) such that \(n\) divides \(F_k\). There are several well-known results about \(z(n)\). For example, \(z(n)<\infty\) for \(n\ge 1\), and if \(n=p\) is a prime number then \(z(p)\le p+1\); \(z(F_n)=n \; (n\ge 3)\), and \(z(L_n)=2n\; (n\ge 1)\). \textit{D. Marques}, [Fibonacci Q. 50, No. 2, 132--139 (2012; Zbl 1268.11025)] and [Fibonacci Q. 51, No. 1, 38--43 (2013; Zbl 1275.11029)] found that \(z(F_n F_(n+1) F_(n+2))=n(n+1)(n+2)/2\) for all even positive integers \(n\), and \(z(L_n L_(n+1) L_(n+2))= (n+1)(n+2)/3\) for all positive integers \(n\equiv 0 \pmod 3\). The authors of the present paper derived, among other results, the following: Let \(a,b\ge 3\) be integers, and \([a,b]\) be the least common multiple of \(a,b\). Then \(z(F_a F_b)=[a,b]F_d\), where \(d=\gcd (a,b)\); \(z(L_a L_b)=[a,b]\gcd (L_a,L_b)\) if \(a\equiv b\equiv 0 \pmod 3\), and \(2[a,b]\gcd(L_a,L_b)\) otherwise. Let \(p\ge 3\) be prime. Then \(z(F_n F_(n+p) F_(n+2p))=n(n+p)(n+2p)/2\) if \(n\) is even and \(p\nmid n\).