Integration Formulas Involving Fibonacci and Lucas Numbers

We present a range of difficult integration formulas involving Fibonacci and Lucas numbers and trigonometric functions. These formulas are often expressed in terms of special functions like the dilogarithm and Clausen’s function. We also prove complements of integral identities of Dilcher (2000) and Stewart (2022). Many of our results are based on a fundamental lemma dealing with differentiation of complex-valued Fibonacci (Lucas) functions.