1 Introduction

For any integer \(n\geq 0\), the first kind Chebyshev polynomials \(\{T_{n}(x)\}\) and the second kind Chebyshev polynomials \(\{U_{n}(x) \}\) are defined by \(T_{0}(x)=1\), \(T_{1}(x)=x\), \(U_{0}(x)=1\), \(U_{1}(x)=2x\) and \(T_{n+2}(x)=2xT_{n+1}(x)-T_{n}(x)\), \(U_{n+2}(x)=2xU _{n+1}(x)-U_{n}(x)\) for all \(n\geq 0\). If we write \(\alpha =\alpha (x)=x+\sqrt{x ^{2}-1}\) and \(\beta =\beta (x)=x-\sqrt{x^{2}-1}\) for the sake of simplicity, then we have

$$\begin{aligned} T_{n}(x)&=\frac{1}{2} \bigl( \alpha^{n}+ \beta^{n} \bigr)=\frac{n}{2} \sum_{k=0}^{ [ \frac{n}{2} ] }(-1)^{k} \frac{(n-k-1)!}{k!(n-2k)!}(2x)^{n-2k}, \quad \vert x \vert < 1 \end{aligned}$$
(1)

and

$$\begin{aligned} U_{n}(x)&=\frac{1}{\alpha -\beta } \bigl( \alpha^{n+1}- \beta^{n+1} \bigr)=\sum_{k=0}^{ [ \frac{n}{2} ] }(-1)^{k} \frac{(n-k)!}{k!(n-2k)!}(2x)^{n-2k}, \quad \vert x \vert < 1. \end{aligned}$$
(2)

Fibonacci polynomials \(\{F_{n}(x)\}\) and Lucas polynomials \(\{L_{n}(x) \}\) are defined by \(F_{0}(x)=0\), \(F_{1}(x)=1\), \(L_{0}(x)=2\), \(L_{1}(x)=x\) and \(F_{n+2}(x)=xF_{n+1}(x)+F_{n}(x)\), \(L_{n+2}(x)=xL _{n+1}(x)+L_{n}(x)\) for all \(n\geq 0\). If we write \(U(x)=\frac{x+\sqrt{x ^{2}+4}}{2}\) and \(V(x)=\frac{x-\sqrt{x^{2}+4}}{2}\), then we have

$$ F_{n}(x)=\frac{1}{U(x)-V(x)} \bigl( U^{n}(x)-V^{n}(x) \bigr) \quad \textrm{and} \quad L_{n}(x)=U^{n}(x)+V^{n}(x) \quad \textrm{for all } n\geq 0. $$

These polynomials occupy a very important position in the theory and application of mathematics, so many scholars have studied their various properties and obtained a series of interesting and important results. See references [1–13] for Chebyshev polynomials and [14–16] for Fibonacci and Lucas polynomials. For example, Li Xiaoxue [1] proved some identities involving power sums of \(T_{n}(x)\) and \(U_{n}(x)\). As some applications of these results, she obtained some divisible properties involving Chebyshev polynomials. Precisely, she proved the congruence

$$\begin{aligned} U_{0}(x)U_{2}(x)U_{4}(x)\cdots U_{2n}(x)\cdot \sum_{m=1}^{h} T_{2m} ^{2n+1}(x) \equiv 0\bmod \bigl( U_{2h}(x)-1 \bigr) . \end{aligned}$$

In this paper, we shall use the definition and properties of Chebyshev polynomials to study the power sum problem involving Fibonacci and Lucas polynomials and prove some new divisible properties involving these polynomials. That is, we shall prove the following two generalized conclusions.

Theorem 1

Let n and h be non-negative integers with \(h\geq 1\). Then, for any odd number \(l\geq 1\), we have the congruence

$$\begin{aligned} L_{l}(x)L_{3l}(x)\cdots L_{l(2n+1)}(x)\cdot \sum _{m=0}^{h} L_{2ml} ^{2n+1}(x) \equiv 0\bmod \bigl( L_{l(2h+1)}(x)+L_{l}(x) \bigr) . \end{aligned}$$

Theorem 2

Let n and h be non-negative integers with \(h\geq 1\). Then, for any even number \(l\geq 1\), we have the congruence

$$\begin{aligned} F_{l}(x)F_{3l}(x)\cdots F_{l(2n+1)}(x)\cdot \sum _{m=0}^{h} L_{2ml} ^{2n+1}(x) \equiv 0\bmod \bigl( F_{l(2h+1)}(x)+F_{l}(x) \bigr) . \end{aligned}$$

Especially for \(l=1\) and 2, from our theorems we may immediately deduce the following two corollaries.

Corollary 1

For any non-negative integers n and h with \(h\geq 1\), we have

$$\begin{aligned} L_{1}(x)L_{3}(x)\cdots L_{2n+1}(x)\cdot \sum _{m=0}^{h} L_{2m}^{2n+1}(x) \equiv 0\bmod \bigl( L_{2h+1}(x)+x \bigr) . \end{aligned}$$

Corollary 2

For any non-negative integers n and h with \(h\geq 1\), we have

$$\begin{aligned} F_{2}(x)F_{6}(x)\cdots F_{2(2n+1)}(x)\cdot \sum _{m=0}^{h}L_{4m}^{2n+1}(x) \equiv 0\bmod \bigl( F_{2(2h+1)}(x)+ x \bigr) . \end{aligned}$$

Some notes: In our theorems, the range of the summation for m is from 0 to h. If the range of the summation is \(1\leq m \leq h\), then it is very easy to prove the following corresponding results:

For any odd number \(l\geq 1\), we have the polynomial congruence

$$\begin{aligned} L_{l}(x)L_{3l}(x)\cdots L_{l(2n+1)}(x)\cdot \sum _{m=1}^{h} L_{2ml} ^{2n+1}(x) \equiv 0\bmod \bigl( L_{l(2h+1)}(x)-L_{l}(x) \bigr) . \end{aligned}$$

For any even number \(l\geq 1\), we have the polynomial congruence

$$\begin{aligned} F_{l}(x)F_{3l}(x)\cdots F_{l(2n+1)}(x)\cdot \sum _{m=1}^{h} L_{2ml} ^{2n+1}(x) \equiv 0\bmod \bigl( F_{l(2h+1)}(x)-F_{l}(x) \bigr) . \end{aligned}$$

Taking \(l=1\) and 2, and noting that \(L_{1}(x)=F_{2}(x)=x\), then from these two congruences we can deduce the following:

$$\begin{aligned} L_{1}(x)L_{3}(x)\cdots L_{2n+1}(x)\cdot \sum _{m=1}^{h} L_{2m}^{2n+1}(x) \equiv 0\bmod \bigl( L_{2h+1}(x)-x \bigr) \end{aligned}$$

and

$$\begin{aligned} F_{2}(x)F_{6}(x)\cdots F_{2(2n+1)}(x)\cdot \sum _{m=1}^{h}L_{4m}^{2n+1}(x) \equiv 0\bmod \bigl( F_{2(2h+1)}(x)- x \bigr) . \end{aligned}$$

Therefore, our theorems are actually an extension of references [1] and [16].

2 Several simple lemmas

To complete the proofs of our theorems, we need some new properties of Chebyshev polynomial, which we summarize as the following three lemmas.

Lemma 1

For any integers \(m, n\geq 0\), we have the identity

$$ T_{n} \biggl( \frac{1}{2}L_{2m}(x) \biggr) = \frac{1}{2}\cdot L_{2mn}(x). $$

Proof

Let \(\alpha = \frac{x+\sqrt{x^{2}+4}}{2}\) and \(\beta = \frac{x-\sqrt{x^{2}+4}}{2}\), then \(L_{2m}(x)=\alpha^{2m}+ \beta^{2m}\), \(\alpha \cdot \beta =-1\) and \(\alpha^{2m}\cdot \beta^{2m}=1\). Replace x by \(\frac{1}{2}L_{2m}(x)\) in \(T_{n}(x)\) and note that

$$\begin{aligned}& \frac{1}{2}L_{2m}(x)+\sqrt{\frac{1}{4}L^{2}_{2m}(x)-1} \\& \quad = \frac{1}{2} \bigl( \alpha^{2m}+\beta^{2m} \bigr) + \frac{1}{2}\cdot \sqrt{ \alpha^{4m}+\beta^{4m}+2-4} \\& \quad = \frac{1}{2} \bigl( \alpha^{2m}+\beta^{2m} \bigr) + \frac{1}{2} \bigl( \alpha ^{2m}-\beta^{2m} \bigr) \\& \quad = \alpha^{2m}, \\& \frac{1}{2}L_{2m}(x)-\sqrt{\frac{1}{4}L^{2}_{2m}(x)-1} \\& \quad = \frac{1}{2} \bigl( \alpha^{2m}+\beta^{2m} \bigr) - \frac{1}{2}\cdot \sqrt{ \alpha^{4m}+\beta^{4m}+2-4} \\& \quad = \frac{1}{2} \bigl( \alpha^{2m}+\beta^{2m} \bigr) - \frac{1}{2} \bigl( \alpha ^{2m}-\beta^{2m} \bigr) \\& \quad = \beta^{2m}. \end{aligned}$$

From the definition of \(T_{n}(x)\)

$$ T_{n}(x)=\frac{1}{2} \bigl[ \bigl( x+\sqrt{x^{2}-1} \bigr) ^{n}+ \bigl( x-\sqrt{x ^{2}-1} \bigr) ^{n} \bigr] , $$

we have the identity

$$\begin{aligned}& T_{n} \biggl( \frac{1}{2}L_{2m}(x) \biggr) \\& \quad = \frac{1}{2} \biggl[ \biggl( \frac{1}{2}L_{2m}(x)+\sqrt {\frac{1}{4}L ^{2}_{2m}(x)-1} \biggr) ^{n}+ \biggl( \frac{1}{2}L_{2m}(x)-\sqrt{ \frac{1}{4}L^{2}_{2m}(x)-1} \biggr) ^{n} \biggr] \\& \quad = \frac{1}{2} \bigl[ \alpha^{2mn}+\beta^{2mn} \bigr] \\& \quad = \frac{1}{2}\cdot L_{2mn}(x). \end{aligned}$$

This proves Lemma 1. □

Lemma 2

Let n and h be non-negative integers with \(h\geq 1\). Then, for any odd number \(l\geq 1\), we have the congruence

$$\begin{aligned} L_{l(2h+1)(2n+1)}(x)+L_{l(2n+1)}(x)\equiv 0 \bmod \bigl( L_{l(2h+1)}(x)+L _{l}(x) \bigr) . \end{aligned}$$

Proof

We prove this polynomial congruence by complete induction for \(n\geq 0\). It is clear that Lemma 2 is true for \(n=0\). If \(n=1\), then note that \(2\nmid l\) and \(L^{3}_{l(2h+1)}(x)= L_{3l(2h+1)}(x)-3L _{l(2h+1)}(x)\), we have

$$\begin{aligned}& L_{3l(2h+1)}(x)+L_{3l}(x) \\& \quad =L^{3}_{l(2h+1)}(x)+3L_{l(2h+1)}(x)+ L^{3} _{l}(x)+3L_{l}(x) \\& \quad = \bigl( L_{l(2h+1)}(x)+L_{l}(x) \bigr) \bigl( L^{2}_{l(2h+1)}(x)+ L _{l(2h+1)}(x) L_{l}(x) +L^{2}_{l}(x) +3 \bigr) \\& \quad \equiv 0 \bmod \bigl( L_{l(2h+1)}(x)+L_{l}(x) \bigr) . \end{aligned}$$

That is to say, Lemma 2 is true for \(n=1\).

Suppose that Lemma 2 is true for all integers \(n= 1, 2, \ldots , k\). That is,

$$\begin{aligned} L_{l(2h+1)(2n+1)}(x)+L_{l(2n+1)}(x)\equiv 0 \bmod \bigl( L_{l(2h+1)}(x)+L _{l}(x) \bigr) \end{aligned}$$
(3)

for all \(0\leq n\leq k\).

Then, for \(n=k+1\geq 2\), note the identities

$$ L_{2l(2h+1)}(x)L_{l(2h+1)(2n+1)}(x)=L_{l(2h+1)(2n+3)}(x)+ L_{l(2h+1)(2n-1)}(x) $$

and

$$\begin{aligned} L_{2l(2h+1)}(x)&=L^{2}_{l(2h+1)}(x)+2\equiv L_{l}^{2}(x)+2\bmod \bigl( L _{l(2h+1)}(x)+L_{l}(x) \bigr) , \end{aligned}$$

applying inductive hypothesis (3), we have

$$\begin{aligned}& L_{l(2h+1)(2n+1)}(x)+L_{l(2n+1)}(x) \\& \quad =L_{l(2h+1)(2k+3)}(x)+L_{l(2k+3)}(x) \\& \quad = L_{2l(2h+1)}(x)L_{l(2h+1)(2k+1)}(x)-L_{l(2h+1)(2k-1)}(x) \\& \quad \quad {}+ L_{2l}(x)L_{l(2k+1)}(x)-L_{l(2k-1)}(x) \\& \quad \equiv \bigl( L_{l}^{2}(x)+2 \bigr) L_{l(2h+1)(2k+1)}(x)-L_{l(2h+1)(2k-1)}(x) \\& \quad \quad {} + \bigl( L^{2}_{l}(x)+2 \bigr) L_{l(2k+1)}(x)-L_{l(2k-1)}(x) \\& \quad \equiv \bigl( L^{2}_{l}(x)+2 \bigr) \bigl( L_{l(2h+1)(2k+1)}(x)+L_{l(2k+1)}(x) \bigr) \\& \quad \quad {}- \bigl( L_{l(2h+1)(2k-1)}(x)+ L_{l(2k-1)}(x) \bigr) \\& \quad \equiv 0 \bigl( L_{l(2h+1)}(x)+L_{l}(x) \bigr) . \end{aligned}$$

Now Lemma 2 follows from complete induction. □

Lemma 3

Let n and h be non-negative integers with \(h\geq 1\). Then, for any even number \(l\geq 1\), we have the congruence

$$\begin{aligned} F_{l(2h+1)(2n+1)}(x)+F_{l(2n+1)}(x)\equiv 0 \bmod \bigl( F_{l(2h+1)}(x)+F _{l}(x) \bigr) . \end{aligned}$$

Proof

We can also prove Lemma 3 by complete induction. If \(n=0\), then it is clear that Lemma 3 is true. If \(n=1\), then note that \(2\mid l\) and \(F_{3l(2h+1)}(x)=(x^{2}+4)F^{3}_{l(2h+1)}(x)+3F _{l(2h+1)}(x)\), we have

$$\begin{aligned}& F_{3l(2h+1)}(x)+F_{3l}(x) \\& \quad =\bigl(x^{2}+4 \bigr)F^{3}_{l(2h+1)}(x)+3F_{l(2h+1)}(x)+ \bigl(x^{2}+4\bigr)F^{3}_{l}(x)+3F_{l}(x) \\& \quad = \bigl(x^{2}+4\bigr) \bigl( F_{l(2h+1)}(x)+F_{l}(x) \bigr) \bigl( F^{2}_{l(2h+1)}(x)+ F_{l(2h+1)}(x) F_{l}(x) +F^{2}_{l}(x) \bigr) \\& \quad \quad {} + 3 \bigl( F_{l(2h+1)}(x)+F_{l}(x) \bigr) \\& \quad \equiv 0 \bmod \bigl( F_{l(2h+1)}(x)+F _{l}(x) \bigr) . \end{aligned}$$

So Lemma 3 is true for \(n=1\). Suppose that Lemma 3 is true for all integers \(n= 1, 2, \ldots , k\). That is,

$$\begin{aligned} F_{l(2h+1)(2n+1)}(x)+F_{l(2n+1)}(x)\equiv 0 \bmod \bigl( F_{l(2h+1)}(x)+F _{l}(x) \bigr) \end{aligned}$$
(4)

for all \(0\leq n\leq k\).

Then, for \(n=k+1\), note the identities

$$ L_{2l(2h+1)}(x)F_{l(2h+1)(2n+1)}(x)=F_{l(2h+1)(2n+3)}(x)+ F_{l(2h+1)(2n-1)}(x) $$

and

$$\begin{aligned} L_{2l(2h+1)}(x)&= \bigl( x^{2}+4 \bigr) F^{2}_{l(2h+1)}(x)+2 \\ &\equiv \bigl( x ^{2}+4 \bigr) F_{l}^{2}(x)+2\bmod \bigl( F_{l(2h+1)}(x)+F_{l}(x) \bigr) , \end{aligned}$$

applying inductive hypothesis (4), we have

$$\begin{aligned}& F_{l(2h+1)(2n+1)}(x)+F_{l(2n+1)}(x)=F_{l(2h+1)(2k+3)}(x)+F_{l(2k+3)}(x) \\& \quad = L_{2l(2h+1)}(x)F_{l(2h+1)(2k+1)}(x)-F_{l(2h+1)(2k-1)}(x) \\& \quad \quad {} + L_{2l}(x)F_{l(2k+1)}(x)-F_{l(2k-1)}(x) \\& \quad \equiv \bigl[ \bigl(x^{2}+4\bigr)F_{l}^{2}(x)+2 \bigr] F_{l(2h+1)(2k+1)}(x)-F _{l(2h+1)(2k-1)}(x) \\& \quad \quad {} + \bigl[ \bigl(x^{2}+4\bigr)F^{2}_{l}(x)+2 \bigr] F_{l(2k+1)}(x)-F_{l(2k-1)}(x) \\& \quad \equiv \bigl[ \bigl(x^{2}+4\bigr)F^{2}_{l}(x)+2 \bigr] \bigl( F_{l(2h+1)(2k+1)}(x)+F _{l(2k+1)}(x) \bigr) \\& \quad \quad {}- \bigl( F_{l(2h+1)(2k-1)}(x)+ F_{l(2k-1)}(x) \bigr) \\& \quad \equiv 0 \bigl( F_{l(2h+1)}(x)+F_{l}(x) \bigr) . \end{aligned}$$

This completes the proof of Lemma 3. □

3 Proofs of the theorems

In this section, we shall prove our theorems by mathematical induction. Replace x by \(\frac{1}{2}\cdot L_{2ml}(x)\) in (1), from Lemma 1 we have

$$\begin{aligned} &\sum_{m=0}^{h} T_{2n+1} \biggl( \frac{1}{2}L_{2ml}(x) \biggr) \\ &\quad = \frac{1}{2}\cdot \sum _{m=0}^{h}L_{2ml(2n+1)}(x) \\ &\quad = \frac{2n+1}{2}\cdot \sum_{k=0}^{n}(-1)^{k} \frac{(2n-k)!}{k!(2n+1-2k)!}\sum_{m=0}^{h}L^{2n+1-2k}_{2ml}(x) \end{aligned}$$

or

$$\begin{aligned}& \sum_{m=0}^{h} \bigl[ L_{2ml(2n+1)}(x)-(-1)^{n}(2n+1)L_{2ml}(x) \bigr] \\& \quad = (2n+1)\cdot \sum_{k=0}^{n-1}(-1)^{k} \frac{(2n-k)!}{k!(2n+1-2k)!} \sum_{m=0}^{h}L^{2n+1-2k}_{2ml}(x). \end{aligned}$$
(5)

Note the identities

$$\begin{aligned}& \sum_{m=0}^{h}L_{2ml(2n+1)}(x) \\& \quad = \sum_{m=0}^{h} \bigl( \alpha^{2ml(2n+1)}+ \beta^{2ml(2n+1)} \bigr) \\& \quad = \frac{\alpha^{2(h+1)l(2n+1)}-1}{\alpha^{2l(2n+1)}-1}+\frac{ \beta^{2(h+1)l(2n+1)}-1}{\beta^{2l(2n+1)}-1} \\& \quad = \frac{\alpha^{l(2h+1)(2n+1)}-(-1)^{l}\beta^{l(2n+1)}}{\alpha^{l(2n+1)}-(-1)^{l} \beta^{l(2n+1)}}+\frac{\beta^{l(2h+1)(2n+1)}-(-1)^{l}\alpha^{l(2n+1)}}{ \beta^{l(2n+1)}-(-1)^{l}\alpha^{l(2n+1)}} \\& \quad = \frac{L_{l(2h+1)(2n+1)}(x)+L_{l(2n+1)}(x)}{L_{l(2n+1)}(x)}\quad \textrm{if } 2\nmid l; \end{aligned}$$
(6)

and

$$\begin{aligned} \sum_{m=0}^{h}L_{2ml(2n+1)}(x)= \frac{F_{l(2h+1)(2n+1)}(x)+F_{l(2n+1)}(x)}{F _{l(2n+1)}(x)} \quad \textrm{if } 2\mid l. \end{aligned}$$
(7)

If l is an odd number, then from (5) and (6) we have

$$\begin{aligned}& \frac{L_{l(2h+1)(2n+1)}(x)+L_{l(2n+1)}(x)}{L_{l(2n+1)}(x)}-(-1)^{n}(2n+1) \frac{L_{l(2h+1)}(x)+L_{l}(x)}{L_{l}(x)} \\& \quad = (2n+1)\cdot \sum_{k=0}^{n-1}(-1)^{k} \frac{(2n-k)!}{k!(2n+1-2k)!} \sum_{m=0}^{h}L^{2n+1-2k}_{2ml}(x). \end{aligned}$$
(8)

Now we prove Theorem 1 by mathematical induction. If \(n=1\), then from (8), Lemma 2 and note that \(2\nmid l\) we have

$$\begin{aligned}& L_{l}(x)L_{3l}(x)\sum _{m=0}^{h}L^{3}_{2ml}(x) \\& \quad = L_{l}(x)L_{3l}(x) \biggl[ \frac{L_{3l(2h+1)}(x)+L_{3l}(x)}{L_{3l}(x)}+ \frac{3L _{l(2h+1)}(x)+3L_{l}(x)}{L_{l}(x)} \biggr] \\& \quad \equiv 0\bmod \bigl( L_{l(2h+1)}(x)+L_{l}(x) \bigr) . \end{aligned}$$
(9)

That is, Theorem 1 is true for \(n=1\).

Suppose that Theorem 1 is true for all integers \(1\leq n \leq s\). Then, for \(n=s+1\), from (8) we have

$$\begin{aligned}& \frac{L_{l(2h+1)(2s+3)}(x)+L_{l(2s+3)}(x)}{L_{l(2s+3)}(x)}+(-1)^{s}(2s+3) \frac{L_{l(2h+1)}(x)+L_{l}(x)}{L_{l}(x)} \\& \quad = (2s+3)\cdot \sum_{k=0}^{s}(-1)^{k} \frac{(2s+2-k)!}{k!(2s+3-2k)!} \sum_{m=0}^{h}L^{2s+3-2k}_{2ml}(x) \\& \quad = \sum_{m=0}^{h}L^{2s+3}_{2ml}(x)+(2s+3) \cdot \sum_{k=1}^{s}(-1)^{k} \frac{(2s+2-k)!}{k!(2s+3-2k)!}\sum_{m=0}^{h}L^{2s+3-2k}_{2ml}(x). \end{aligned}$$
(10)

From Lemma 2 we have

$$\begin{aligned}& L_{l}(x)L_{3l}(x)\cdots L_{l(2s+3)}(x)\cdot \frac{L_{l(2h+1)(2s+3)}(x)+L _{l(2s+3)}(x)}{L_{l(2s+3)}(x)} \\& \quad \equiv 0 \bmod \bigl( L_{l(2h+1)}(x)+L_{l}(x) \bigr) . \end{aligned}$$
(11)

Applying inductive assumption, we have

$$\begin{aligned}& L_{l}(x)L_{3l}(x)\cdots L_{l(2s+1)}(x)\sum_{k=1}^{s}(-1)^{k} \frac{(2s+2-k)!}{k!(2s+3-2k)!}\sum_{m=0}^{h}L^{2s+3-2k}_{2ml}(x) \\& \quad \equiv 0\bmod \bigl( L_{l(2h+1)}(x)+L_{l}(x) \bigr) . \end{aligned}$$
(12)

Combining (9)-(12) and Lemma 2, we can deduce the congruence

$$\begin{aligned} L_{l}(x)L_{3l}(x)\cdots L_{l(2s+3)}(x)\cdot \sum _{m=0}^{h} L_{2ml} ^{2s+3}(x) \equiv 0\bmod \bigl( L_{l(2h+1)}(x)+L_{l}(x) \bigr) . \end{aligned}$$

This proves Theorem 1 by mathematical induction.

Now we prove Theorem 2. If \(2\mid l\), then from (5) and (7) we have

$$\begin{aligned}& \frac{F_{l(2h+1)(2n+1)}(x)+F_{l(2n+1)}(x)}{F_{l(2n+1)}(x)}-(-1)^{n}(2n+1) \frac{F_{l(2h+1)}(x)+F_{l}(x)}{F_{l}(x)} \\& \quad = (2n+1)\cdot \sum_{k=0}^{n-1}(-1)^{k} \frac{(2n-k)!}{k!(2n+1-2k)!} \sum_{m=0}^{h}L^{2n+1-2k}_{2ml}(x). \end{aligned}$$
(13)

Applying (13), Lemma 3 and the method of proving Theorem 1, we may immediately deduce the congruence

$$\begin{aligned} F_{l}(x)F_{3l}(x)\cdots F_{l(2n+1)}(x)\cdot \sum _{m=0}^{h} L_{2ml} ^{2n+1}(x) \equiv 0\bmod \bigl( F_{l(2h+1)}(x)+F_{l}(x) \bigr) . \end{aligned}$$

This completes the proof of Theorem 2.