1 Introduction

For any variable quantity x, the Fibonacci polynomials F n (x) and Lucas polynomials L n (x) are defined by F n + 2 (x)=x F n + 1 (x)+ F n (x), n0, with the initial values F 0 (x)=0 and F 1 (x)=1; L n + 2 (x)=x L n + 1 (x)+ L n (x), n0, with the initial values L 0 (x)=2 and L 1 (x)=x. For x=1, we obtain the usual Fibonacci numbers and Lucas numbers. Let α= 1 2 (x+ x 2 + 4 ) and β= 1 2 (x x 2 + 4 ), then from the properties of second-order linear recurrence sequences, we have

F n (x)= α n β n x 2 + 4 and L n (x)= α n + β n .

Various authors studied the properties of the Fibonacci polynomials and Lucas polynomials and obtained many interesting results; see [13], and [4].

The so-called Fibonacci zeta function and Lucas zeta function defined by

ζ F (s)= n = 1 1 F n s and ζ L (s)= n = 1 1 L n s ,

where the F n and L n denote the Fibonacci numbers and Lucas numbers, have been considered in several different ways. Navas [5] discussed the analytic continuation of these series. In [6] it is shown that for any positive distinct integer s 1 , s 2 , s 3 , the numbers ζ F (2 s 1 ), ζ F (2 s 2 ), and ζ F (2 s 3 ) are algebraically independent if and only if at least one of s 1 , s 2 , s 3 is even.

Ohtsuka and Nakamura [7] studied the partial infinite sums of reciprocal Fibonacci numbers and proved the following conclusions:

( k = n 1 F k ) 1 = { F n 2 if  n  is even and  n 2 ; F n 2 1 if  n  is odd and  n 1 . ( k = n 1 F k 2 ) 1 = { F n 1 F n 1 if  n  is even and  n 2 ; F n 1 F n if  n  is odd and  n 1 .

Wu and Zhang [8] generalized these identities to the Fibonacci polynomials and Lucas polynomials. Similar properties were investigated in several different ways; see [9, 10], and [11]. Recently, some authors considered the nearest integer of the sum of reciprocal Fibonacci numbers and other famous sequences and obtained several new interesting identities; see [12] and [13]. Kilic and Arikan [14] defined a k th-order linear recursive sequence u n for any positive integer p, q and n>k as follows:

u n =p u n 1 +q u n 2 + u n 3 ++ u n k ,

and they proved that there exists a positive integer n 0 such that

( k = n 1 u k ) 1 = u n u n 1 (n n 0 ),

where denotes the nearest integer. (Clearly, x=x+ 1 2 .)

In this paper, we consider the subseries of infinite sums derived from the reciprocals of the Fibonacci polynomials and Lucas polynomials and prove the following.

Theorem 1 For any positive integer x, n and even a2, we have

( 1 ) ( k = n 1 F a k ( x ) ) 1 = F a n ( x ) F a n a ( x ) 1 ( n 1 ) . ( 2 ) ( k = n 1 L a k ( x ) ) 1 = L a n ( x ) L a n a ( x ) ( n 1 ) . ( 3 ) ( k = n 1 F a k 2 ( x ) ) 1 = F a n 2 ( x ) F a n a 2 ( x ) 1 ( n 1 ) . ( 4 ) ( k = n 1 L a k 2 ( x ) ) 1 = L a n 2 ( x ) L a n a 2 ( x ) + 1 ( n 2 ) .

Theorem 2 For any positive integer x and odd b1, we have

( 1 ) ( k = n 1 F b k ( x ) ) 1 = { F b n ( x ) F b n b ( x ) if n is even and n 2 ; F b n ( x ) F b n b ( x ) 1 if n is odd and n 1 . ( 2 ) ( k = n 1 L b k ( x ) ) 1 = { L b n ( x ) L b n b ( x ) 1 if n is even and n 2 ; L b n ( x ) L b n b ( x ) if n is odd and n 3 . ( 3 ) ( k = n 1 F b k 2 ( x ) ) 1 = { F b n 2 ( x ) F b n b 2 ( x ) if n is even and n 2 ; F b n 2 ( x ) F b n b 2 ( x ) 1 if n is odd and n 1 .

Particularly, for x2, we have

(4) ( k = n 1 L b k 2 ( x ) ) 1 ={ L b n 2 ( x ) L b n b 2 ( x ) 3 if n is even and n 2 ; L b n 2 ( x ) L b n b 2 ( x ) + 2 if n is odd and n 3 .

If x=1, b=1 (respectively, x=2, b=1) or x=1, b=3, then from our theorems we can deduce the conclusions of [710], and [11].

2 Proof of theorems

To complete the proof of our theorems, we need the following lemma.

Lemma For any positive integer x, m, and n,

F m (x) F n (x)= 1 x 2 + 4 ( L m + n ( x ) ( 1 ) n L m n ( x ) ) ,
(1)
L m (x) L n (x)= L m + n (x)+ ( 1 ) n L m n (x),
(2)
F m (x) L n (x)= F m + n (x)+ ( 1 ) n F m n (x)= F m + n (x) ( 1 ) m F n m (x),
(3)
F n 1 (x)+ F n + 1 (x)= L n (x).
(4)

Proof We only prove identities (1) and (4), and other identities are proved similarly. For any positive integer x, m, and n, from the identity

F n (x)= α n β n x 2 + 4 and L n (x)= α n + β n ,

we have

F m ( x ) F n ( x ) = ( α m β m ) ( α n β n ) x 2 + 4 = ( α m + n + β m + n α n β m α m β n ) x 2 + 4 = 1 x 2 + 4 ( L m + n ( x ) ( 1 ) n L m n ( x ) ) ,

and

F n 1 ( x ) + F n + 1 ( x ) = α n 1 β n 1 x 2 + 4 + α n + 1 β n + 1 x 2 + 4 = α n ( α + α 1 ) β n ( β + β 1 ) x 2 + 4 = ( x 2 + 4 ) α n + ( x 2 + 4 ) β n x 2 + 4 = α n + β n = L n ( x ) .

This proves identities (1) and (4). □

Now we shall complete the proof of our theorems. We shall prove only Theorems 1(1), 1(3), 2(1), and 2(4), and other identities are proved similarly and omitted. First, we prove Theorem 1(1).

Proof of Theorem 1(1) Theorem 1(1) is equivalent to

1 F a n ( x ) F a n a ( x ) < k = n 1 F a k ( x ) 1 F a n ( x ) F a n a ( x ) 1 .
(5)

For any positive integer x, k and even a2, using identity (1), we have

1 F a k ( x ) 1 F a k ( x ) F a k a ( x ) 1 F a k + a ( x ) F a k ( x ) = 1 F a k + a ( x ) F a k ( x ) F a k a ( x ) F a k ( x ) ( F a k ( x ) F a k a ( x ) ) = F a k 2 ( x ) F a k a ( x ) F a k + a ( x ) F a k ( x ) ( F a k ( x ) F a k a ( x ) ) ( F a k + a ( x ) F a k ( x ) ) = L 2 a ( x ) 2 F a k ( x ) ( x 2 + 4 ) ( F a k ( x ) F a k a ( x ) ) ( F a k + a ( x ) F a k ( x ) ) .
(6)

Since F n (x) and L n (x) are monotone increasing for n and a fixed positive integer x, we have L 2 a (x)2>0, F a k (x) F a k a (x)>0, and F a k + a (x) F a k (x)>0 for any positive integer x, k and even a2. Hence the numerator of the right-hand side of the above identity is positive for any positive integer x, k and even a2, so we get

1 F a k ( x ) > 1 F a k ( x ) F a k a ( x ) 1 F a k + a ( x ) F a k ( x ) .
(7)

Using (7) repeatedly, we have

k = n 1 F a k ( x ) > k = n ( 1 F a k ( x ) F a k a ( x ) 1 F a k + a ( x ) F a k ( x ) ) = 1 F a n ( x ) F a n a ( x ) 1 F a n + a ( x ) F a n ( x ) + 1 F a n + a ( x ) F a n ( x ) 1 F a n + 2 a ( x ) F a n + a ( x ) + 1 F a n + 2 a ( x ) F a n + a ( x ) = 1 F a n ( x ) F a n a ( x ) .
(8)

On the other hand, we prove that for any positive integer x, k and even a2,

1 F a k ( x ) < 1 F a k ( x ) F a k a ( x ) 1 1 F a k + a ( x ) F a k ( x ) 1 .
(9)

Inequality (9) is equivalent to

F a k a ( x ) + 1 F a k ( x ) ( F a k ( x ) F a k a ( x ) 1 ) > 1 F a k + a ( x ) F a k ( x ) 1 ,

or

F a k a (x) F a k + a (x) F a k a (x)+ F a k + a (x)1> F a k 2 (x).

Using identity (1), the above inequality is equivalent to

F a k + a + 2 ( x ) + F a k + a 2 ( x ) F a k a + 2 ( x ) F a k a 2 ( x ) + 2 F a k + a ( x ) 2 F a k a ( x ) L 2 a ( x ) L 2 ( x ) > 0 ,

or

( F a k + a + 2 ( x ) L 2 a ( x ) ) + ( F a k + a ( x ) F a k a + 2 ( x ) ) + ( F a k + a 2 ( x ) F a k a 2 ( x ) L 2 ( x ) ) + ( F a k + a ( x ) 2 F a k a ( x ) ) > 0 .
(10)

Since F n (x) and L n (x) are monotone increasing for n and a fixed positive integer x, we have F a k + a (x) F a k a + 2 (x)>0, F a k + a 2 (x) F a k a 2 (x) L 2 (x)>0, and F a k + a (x)2 F a k a (x)>0 for any positive integer x, k and even a2. Using identity (4), we have

F a k + a + 2 ( x ) L 2 a ( x ) > F 2 a + 2 ( x ) L 2 a ( x ) = x F 2 a + 1 ( x ) + F 2 a ( x ) F 2 a + 1 ( x ) F 2 a 1 ( x ) = ( x 1 ) F 2 a + 1 ( x ) + F 2 a ( x ) F 2 a 1 ( x ) > 0 .

Hence the numerator of each part in parentheses of the left-hand side of inequality (10) is positive, so inequality (10) holds for any positive integer x, k and even a2. Hence inequality (9) is true. Using (9) repeatedly, we have

k = n 1 F a k ( x ) < k = n ( 1 F a k ( x ) F a k a ( x ) 1 1 F a k + a ( x ) F a k ( x ) 1 ) = 1 F a n ( x ) F a n a ( x ) 1 .
(11)

Now inequality (5) follows from (8) and (11). This proves Theorem 1(1). □

Proof of Theorem 1(3) Now we prove Theorem 1(3). Theorem 1(3) is equivalent to

1 F a n 2 ( x ) F a n a 2 ( x ) < k = n 1 F a k 2 ( x ) 1 F a n 2 ( x ) F a n a 2 ( x ) 1 .
(12)

For any positive integer x, k and even a2, using identities (1) and (2), we have

1 F a k 2 ( x ) 1 F a k 2 ( x ) F a k a 2 ( x ) 1 F a k + a 2 ( x ) F a k 2 ( x ) = F a k 4 ( x ) F a k a 2 ( x ) F a k + a 2 ( x ) F a k 2 ( x ) ( F a k 2 ( x ) F a k a 2 ( x ) ) ( F a k + a 2 ( x ) F a k 2 ( x ) ) = ( F a k 2 ( x ) F a k a ( x ) F a k + a ( x ) ) ( F a k 2 ( x ) + F a k a ( x ) F a k + a ( x ) ) F a k 2 ( x ) ( F a k 2 ( x ) F a k a 2 ( x ) ) ( F a k + a 2 ( x ) F a k 2 ( x ) ) = ( L 2 a ( x ) 2 ) ( F a k 2 ( x ) + F a k a ( x ) F a k + a ( x ) ) F a k 2 ( x ) ( x 2 + 4 ) ( F a k 2 ( x ) F a k a 2 ( x ) ) ( F a k + a 2 ( x ) F a k 2 ( x ) ) .
(13)

Since F n (x) and L n (x) are monotone increasing for n and a fixed positive integer x, we have L 2 a (x)2>0, F a k 2 (x) F a k a 2 (x)>0, and F a k + a 2 (x) F a k 2 (x)>0 for any positive integer x, k and even a2. Hence the numerator of the right-hand side of the above identity is positive for any positive integer x, k and even a2, so we get

1 F a k 2 ( x ) > 1 F a k 2 ( x ) F a k a 2 ( x ) 1 F a k + a 2 ( x ) F a k 2 ( x ) .
(14)

Using (14) repeatedly, we have

k = n 1 F a k 2 ( x ) > k = n ( 1 F a k 2 ( x ) F a k a 2 ( x ) 1 F a k + a 2 ( x ) F a k 2 ( x ) ) = 1 F a n 2 ( x ) F a n a 2 ( x ) .
(15)

On the other hand, we prove that for any positive integer x, k and even a2,

1 F a k 2 ( x ) < 1 F a k 2 ( x ) F a k a 2 ( x ) 1 1 F a k + a 2 ( x ) F a k 2 ( x ) 1 .
(16)

Inequality (16) is equivalent to

F a k a 2 ( x ) + 1 F a k 2 ( x ) ( F a k 2 ( x ) F a k a 2 ( x ) 1 ) > 1 F a k + a 2 ( x ) F a k 2 ( x ) 1 ,

or

F a k a 2 (x) F a k + a 2 (x) F a k 4 (x)+ F a k + a 2 (x) F a k a 2 (x)1>0.

Using identities (1) and (2), the above inequality is equivalent to

( x 2 + 2 ) L 2 a k + 2 a (x)+4 L 2 a k (x) ( x 2 + 6 ) L 2 a k 2 a (x)4+ L 4 a (x) L 4 (x)>0.
(17)

Since L n (x) are monotone increasing for n and a fixed positive integer x, we have L 4 a (x) L 4 (x)>0 for any positive integer x and even a2. On the other hand, we have

( x 2 + 2 ) L 2 a k + 2 a ( x ) + 4 L 2 a k ( x ) ( x 2 + 6 ) L 2 a k 2 a ( x ) 4 > ( x 2 + 6 ) L 2 a k ( x ) ( x 2 + 6 ) L 2 a k 2 a ( x ) 4 > ( x 2 + 6 ) 4 > 0 .

Hence the numerator of the left-hand side of inequality (17) is positive, so inequality (17) holds for any positive integer x, k and even a2. Hence inequality (16) is true. Using (16) repeatedly, we have

k = n 1 F a k 2 ( x ) < k = n ( 1 F a k 2 ( x ) F a k a 2 ( x ) 1 1 F a k + a 2 ( x ) F a k 2 ( x ) 1 ) = 1 F a n 2 ( x ) F a n a 2 ( x ) 1 .
(18)

Now inequality (12) follows from (15) and (18). This proves Theorem 1(3). □

Proof of Theorem 2(1) First we consider the case that n=2m2 is even. At this time, for any odd b1, Theorem 2(1) is equivalent to

1 F 2 m b ( x ) F 2 m b b ( x ) + 1 < k = 2 m 1 F b k ( x ) 1 F 2 m b ( x ) F 2 m b b ( x ) .
(19)

Now we prove that for any positive integer x, k and odd b1,

1 F 2 b k ( x ) + 1 F 2 b k + b ( x ) < 1 F 2 b k ( x ) F 2 b k b ( x ) 1 F 2 b k + 2 b ( x ) F 2 b k + b ( x ) .
(20)

Inequality (20) is equivalent to

F 2 b k + 2 b ( x ) F 2 b k + b ( x ) ( F 2 b k + 2 b ( x ) F 2 b k + b ( x ) ) < F 2 b k b ( x ) F 2 b k ( x ) ( F 2 b k ( x ) F 2 b k b ( x ) ) .

Using identities (1) and (3), the above inequality is equivalent to

( F 2 b k + 4 b ( x ) F 2 b k + b ( x ) ) + ( 2 F 2 b k + 2 b ( x ) 2 F 2 b k b ( x ) ) + ( F 2 b k ( x ) F 2 b k 3 b ( x ) ) >0.
(21)

Since F n (x) is monotone increasing for n and a fixed positive integer x, we have F 2 b k + 4 b (x) F 2 b k + b (x)>0, 2 F 2 b k + 2 b (x)2 F 2 b k b (x)>0, and F 2 b k (x) F 2 b k 3 b (x)>0 for any positive integer x, k and odd b1. Hence the numerator of each part in parentheses of the left-hand side of inequality (21) is positive, so inequality (21) holds for any positive integer x, k and odd b1. Hence inequality (20) is true. Using (20) repeatedly, we have

k = 2 m 1 F b k ( x ) = k = m ( 1 F 2 b k ( x ) + 1 F 2 b k + b ( x ) ) < k = m ( 1 F 2 b k ( x ) F 2 b k b ( x ) 1 F 2 b k + 2 b ( x ) F 2 b k + b ( x ) ) = 1 F 2 b m ( x ) F 2 b m b ( x ) .
(22)

On the other hand, we prove that for any positive integer x, k and odd b1,

1 F 2 b k ( x ) + 1 F 2 b k + b ( x ) > 1 F 2 b k ( x ) F 2 b k b ( x ) + 1 1 F 2 b k + 2 b ( x ) F 2 b k + b ( x ) + 1 .
(23)

Inequality (23) is equivalent to

F 2 b k + 2 b ( x ) + 1 F 2 b k + b ( x ) ( F 2 b k + 2 b ( x ) F 2 b k + b ( x ) + 1 ) > F 2 b k b ( x ) 1 F 2 b k ( x ) ( F 2 b k ( x ) F 2 b k b ( x ) + 1 ) ,

or

F 2 b k ( x ) ( F 2 b k + 2 b ( x ) + 1 ) ( F 2 b k ( x ) F 2 b k b ( x ) + 1 ) > F 2 b k + b ( x ) ( F 2 b k b ( x ) 1 ) ( F 2 b k + 2 b ( x ) F 2 b k + b ( x ) + 1 ) .

Using identities (1) and (3), the above inequality is equivalent to

L 4 b k + 3 b ( x ) L 4 b k b ( x ) F 2 b k + 4 b ( x ) 2 F 2 b k + 2 b ( x ) + F 2 b k + b + 2 ( x ) + 3 F 2 b k + b ( x ) 2 L 2 b ( x ) 4 + F 2 b k + b 2 ( x ) + F 2 b k + 2 ( x ) + F 2 b k ( x ) + F 2 b k 2 ( x ) + 2 F 2 b k b ( x ) + F 2 b k 3 b ( x ) > 0 .
(24)

Since F n (x) and L n (x) are monotone increasing for n and a fixed positive integer x, using identity (4), we have

L 4 b k + 3 b ( x ) L 4 b k b ( x ) F 2 b k + 4 b ( x ) 2 F 2 b k + 2 b ( x ) = F 4 b k + 3 b + 1 ( x ) + F 4 b k + 3 b 1 ( x ) F 4 b k b + 1 ( x ) F 4 b k b 1 ( x ) F 2 b k + 4 b ( x ) 2 F 2 b k + 2 b ( x ) > ( 2 x 2 + x + 4 ) F 4 b k + 3 b 3 ( x ) 5 F 4 b k b + 1 ( x ) > 0 ,

and

F 2 b k + b + 2 ( x ) + 3 F 2 b k + b ( x ) 2 L 2 b ( x ) 4 = x F 2 b k + b + 1 ( x ) 4 + 4 F 2 b k + b ( x ) 2 F 2 b + 1 ( x ) 2 F 2 b 1 ( x ) > 0 .

Hence the numerator of each part in parentheses of the left-hand side of inequality (24) is positive, so inequality (24) holds for any positive integer x, k and odd b1. Hence inequality (23) is true. Using (23) repeatedly, we have

k = 2 m 1 F b k ( x ) = k = m ( 1 F 2 b k ( x ) + 1 F 2 b k + b ( x ) ) > k = m ( 1 F 2 b k ( x ) F 2 b k b ( x ) + 1 1 F 2 b k + 2 b ( x ) F 2 b k + b ( x ) + 1 ) = 1 F 2 b m ( x ) F 2 b m b ( x ) + 1 .
(25)

Now inequality (19) follows from (22) and (25).

Similarly, we can consider the case that n=2m+11 is odd. At this time, for any odd b1, Theorem 2(1) is equivalent to the inequality

1 F 2 b m + b ( x ) F 2 b m ( x ) < k = 2 m + 1 1 F b k ( x ) 1 F 2 b m + b ( x ) F 2 b m ( x ) 1 .
(26)

First we can prove that for any positive integer x, k and odd b1,

1 F 2 b k + b ( x ) + 1 F 2 b k + 2 b ( x ) < 1 F 2 b k + b ( x ) F 2 b k ( x ) 1 1 F 2 b k + 3 b ( x ) F 2 b k + 2 b ( x ) 1 .
(27)

Inequality (27) is equivalent to

F 2 b k + 3 b ( x ) 1 F 2 b k + 2 b ( x ) ( F 2 b k + 3 b ( x ) F 2 b k + 2 b ( x ) 1 ) < F 2 b k ( x ) + 1 F 2 b k + b ( x ) ( F 2 b k + b ( x ) F 2 b k ( x ) 1 ) .

Using identities (1) and (3), the above inequality is equivalent to

L 4 b k + 5 b ( x ) L 4 b k + b ( x ) F 2 b k + 5 b ( x ) 2 F 2 b k + 3 b ( x ) + ( L 2 ( x ) + 3 ) F 2 b k + 2 b ( x ) ( L 2 ( x ) + 1 ) F 2 b k + b ( x ) + F 2 b k ( x ) + 2 F 2 b k 2 b ( x ) + 2 L 2 b ( x ) + 4 > 0 .
(28)

Since F n (x) and L n (x) are monotone increasing for n and a fixed positive integer x, using identity (4), we have

L 4 b k + 5 b ( x ) L 4 b k + b ( x ) F 2 b k + 5 b ( x ) 2 F 2 b k + 3 b ( x ) = F 4 b k + 5 b + 1 ( x ) + F 4 b k + 5 b 1 ( x ) F 4 b k + b + 1 ( x ) F 4 b k + b 1 ( x ) F 2 b k + 5 b ( x ) 2 F 2 b k + 3 b ( x ) > ( x 3 + 3 x ) F 4 b k + 5 b 2 ( x ) + ( x 2 + 2 ) F 4 b k + 5 b 3 ( x ) 5 F 4 b k + b + 1 ( x ) > 0 ,

and

( L 2 ( x ) + 3 ) F 2 b k + 2 b (x) ( L 2 ( x ) + 1 ) F 2 b k + b (x)>0.

Hence the numerator of each part in parentheses of the left-hand side of inequality (28) is positive, so inequality (28) holds for any positive integer x, k and odd b1. Hence inequality (27) is true. Using (27) repeatedly, we have

k = 2 m + 1 1 F b k ( x ) = k = m ( 1 F 2 b k + b ( x ) + 1 F 2 b k + 2 b ( x ) ) < k = m ( 1 F 2 b k + b ( x ) F 2 b k ( x ) 1 1 F 2 b k + 3 b ( x ) F 2 b k + 2 b ( x ) 1 ) = 1 F 2 b m + b ( x ) F 2 b m ( x ) 1 .
(29)

On the other hand, we prove that for any positive integer x, k and odd b1,

1 F 2 b k + b ( x ) + 1 F 2 b k + 2 b ( x ) > 1 F 2 b k + b ( x ) F 2 b k ( x ) 1 F 2 b k + 3 b ( x ) F 2 b k + 2 b ( x ) .
(30)

Inequality (30) is equivalent to

F 2 b k + 3 b ( x ) F 2 b k + 2 b ( x ) ( F 2 b k + 3 b ( x ) F 2 b k + 2 b ( x ) ) > F 2 b k ( x ) F 2 b k + b ( x ) ( F 2 b k + b ( x ) F 2 b k ( x ) ) .

Using identities (1) and (3), the above inequality is equivalent to

F 2 b k + 5 b (x)+2 F 2 b k + 3 b (x) F 2 b k + 2 b (x) F 2 b k + b (x)2 F 2 b k (x)2 F 2 b k 2 b (x)>0.
(31)

Since F n (x) is monotone increasing for n and a fixed positive integer x, using identity (4), we have

F 2 b k + 5 b ( x ) + 2 F 2 b k + 3 b ( x ) F 2 b k + 2 b ( x ) F 2 b k + b ( x ) 2 F 2 b k ( x ) 2 F 2 b k 2 b ( x ) > x F 2 b k + 5 b 1 ( x ) + F 2 b k + 5 b 2 ( x ) + 2 x F 2 b k + 3 b 1 ( x ) + 2 F 2 b k + 3 b 2 ( x ) 6 F 2 b k + 2 b ( x ) > ( 3 x + 3 ) F 2 b k + 3 b 2 ( x ) 6 F 2 b k + 2 b ( x ) > 0 .

Hence the numerator of each part in parentheses of the left-hand side of inequality (31) is positive, so inequality (31) holds for any positive integer x, k and odd b1. Hence inequality (30) is true. Using (30) repeatedly, we have

k = 2 m + 1 1 F b k ( x ) = k = m ( 1 F 2 b k + b ( x ) + 1 F 2 b k + 2 b ( x ) ) > k = m ( 1 F 2 b k + b ( x ) F 2 b k ( x ) 1 F 2 b k + 3 b ( x ) F 2 b k + 2 b ( x ) ) = 1 F 2 b m + b ( x ) F 2 b m ( x ) .
(32)

Combining (29) and (32), we deduce inequality (26). This proves Theorem 2(1). □

Proof of Theorem 2(4) First we consider the case that n=2m2 is even. At this time, for any odd b1, Theorem 2(4) is equivalent to

1 L 2 b m 2 ( x ) L 2 b m b 2 ( x ) 2 < k = 2 m 1 L b k 2 ( x ) 1 L 2 b m 2 ( x ) L 2 b m b 2 ( x ) 3 .
(33)

Now we prove that for any positive integer k, x2 and odd b1,

1 L 2 b k 2 ( x ) + 1 L 2 b k + b 2 ( x ) > 1 L 2 b k 2 ( x ) L 2 b k b 2 ( x ) 2 1 L 2 b k + 2 b 2 ( x ) L 2 b k + b 2 ( x ) 2 .
(34)

Inequality (34) is equivalent to

L 2 b k + 2 b 2 ( x ) 2 L 2 b k + b 2 ( x ) ( L 2 b k + 2 b 2 ( x ) L 2 b k + b 2 ( x ) 2 ) > L 2 b k b 2 ( x ) + 2 L 2 b k 2 ( x ) ( L 2 b k 2 ( x ) L 2 b k b 2 ( x ) 2 ) .

Using identity (2), the above inequality is equivalent to

4 L 8 b k + 4 b ( x ) 4 L 8 b k ( x ) + 2 L 8 b k + 2 b ( x ) L 4 b k + 8 b ( x ) + 6 L 4 b k + 4 b ( x ) 3 L 4 b k + 2 b ( x ) L 4 b k ( x ) + 6 L 4 b k 2 b ( x ) L 4 b k 6 b ( x ) > 0 .
(35)

Since L n (x) is monotone increasing for n and a fixed positive integer x, for any positive integer k, x2 and odd b1, we have 4 L 8 b k + 4 b (x)4 L 8 b k (x)>0, 2 L 8 b k + 2 b (x) L 4 b k + 8 b (x)>0, 6 L 4 b k + 4 b (x)3 L 4 b k + 2 b (x) L 4 b k (x)>0, 6 L 4 b k 2 b (x) L 4 b k 6 b (x)>0.

Hence the numerator of the left-hand side of inequality (35) is positive, so inequality (35) holds for any positive integer k, x2 and odd b1. Hence inequality (34) is true. Using (34) repeatedly, we have

k = 2 m 1 L b k 2 ( x ) = k = m ( 1 L 2 b k 2 ( x ) + 1 L 2 b k + b 2 ( x ) ) > k = m ( 1 L 2 b k 2 ( x ) L 2 b k b 2 ( x ) 2 1 L 2 b k + 2 b 2 ( x ) L 2 b k + b 2 ( x ) 2 ) = 1 L 2 b m 2 ( x ) L 2 b m b 2 ( x ) 2 .
(36)

On the other hand, we prove that for any positive integer k, x2 and odd b1,

1 L 2 b k 2 ( x ) + 1 L 2 b k + b 2 ( x ) < 1 L 2 b k 2 ( x ) L 2 b k b 2 ( x ) 3 1 L 2 b k + 2 b 2 ( x ) L 2 b k + b 2 ( x ) 3 .
(37)

Inequality (37) is equivalent to

L 2 b k + 2 b 2 ( x ) 3 L 2 b k + b 2 ( x ) ( L 2 b k + 2 b 2 ( x ) L 2 b k + b 2 ( x ) 3 ) > L 2 b k b 2 ( x ) + 3 L 2 b k 2 ( x ) ( L 2 b k 2 ( x ) L 2 b k b 2 ( x ) 3 ) .

Using identity (3), the above inequality is equivalent to

L 8 b k + 6 b ( x ) 4 L 8 b k + 4 b ( x ) 2 L 8 b k + 2 b ( x ) + 4 L 8 b k ( x ) L 8 b k 2 b ( x ) + L 4 b k + 8 b ( x ) 6 L 4 b k + 4 b ( x ) + 6 L 4 b k + 2 b ( x ) + 4 L 4 b k ( x ) 6 L 4 b k 2 b ( x ) + L 4 b k 6 b ( x ) > 0 .
(38)

Since L n (x) is monotone increasing for n and a fixed positive integer x, for any positive integer k, x2 and odd b1, we have

L 8 b k + 6 b ( x ) 4 L 8 b k + 4 b ( x ) 2 L 8 b k + 2 b ( x ) = ( x 2 + 1 ) L 8 b k + 6 b 1 ( x ) + x L 8 b k + 6 b 3 ( x ) 4 L 8 b k + 4 b ( x ) 2 L 8 b k + 2 b ( x ) > ( x 2 3 ) L 8 b k + 4 b ( x ) + ( x 2 ) L 8 b k + 2 b ( x ) > 0 ,

and

L 4 b k + 8 b ( x ) 6 L 4 b k + 4 b ( x ) = ( x 2 + 1 ) L 4 b k + 8 b 1 ( x ) + x L 4 b k + 8 b 3 ( x ) 6 L 4 b k + 4 b ( x ) > 7 L 4 b k + 8 b 3 ( x ) 6 L 4 b k + 4 b ( x ) > 0 ,

and 4 L 8 b k (x) L 8 b k 2 b (x)>0, 4 L 4 b k (x)6 L 4 b k 2 b (x)>0.

Hence the numerator of the left-hand side of inequality (38) is positive, so inequality (38) holds for any positive integer k, x2 and even b1. Hence inequality (37) is true. Using (37) repeatedly, we have

k = 2 m 1 L b k 2 ( x ) = k = m ( 1 L 2 b k 2 ( x ) + 1 L 2 b k + b 2 ( x ) ) < k = m ( 1 L 2 b k 2 ( x ) L 2 b k b 2 ( x ) 3 1 L 2 b k + 2 b 2 ( x ) L 2 b k + b 2 ( x ) 3 ) = 1 L 2 b m 2 ( x ) L 2 b m b 2 ( x ) 3 .
(39)

Now inequality (33) follows from (36) and (39).

Similarly, we can consider the case that n=2m+13 is odd. At this time, for any odd b1, Theorem 2(4) is equivalent to the inequality

1 L 2 b m + b 2 ( x ) L 2 b m 2 ( x ) + 3 < k = 2 m + 1 1 L b k 2 ( x ) 1 L 2 b m + b 2 ( x ) L 2 b m 2 ( x ) + 2 .
(40)

Now we prove that for any positive integer k, x2 and odd b1,

1 L 2 b k + b 2 ( x ) + 1 L 2 b k + 2 b 2 ( x ) > 1 L 2 b k + b 2 ( x ) L 2 b k 2 ( x ) + 3 1 L 2 b k + 3 b 2 ( x ) L 2 b k + 2 b 2 ( x ) + 3 .
(41)

Inequality (41) is equivalent to

L 2 b k + 3 b 2 ( x ) + 3 L 2 b k + 2 b 2 ( x ) ( L 2 b k + 3 b 2 ( x ) L 2 b k + 2 b 2 ( x ) + 3 ) > L 2 b k 2 ( x ) 3 L 2 b k + b 2 ( x ) ( L 2 b k + b 2 ( x ) L 2 b k 2 ( x ) + 3 ) .

Using identity (2), the above inequality is equivalent to

L 8 b k + 10 b ( x ) 4 L 8 b k + 8 b ( x ) + 4 L 8 b k + 4 b ( x ) L 8 b k + 2 b ( x ) L 4 b k + 10 b ( x ) + 6 L 4 b k + 6 b ( x ) 4 L 4 b k + 4 b ( x ) 4 L 4 b k + 2 b ( x ) + 6 L 4 b k ( x ) L 4 b k 4 b ( x ) > 0 .
(42)

Since L n (x) is monotone increasing for n and a fixed positive integer x, for any positive integer k, x2, and odd b1, we have

L 8 b k + 10 b ( x ) 4 L 8 b k + 8 b ( x ) = ( x 2 + 1 ) L 8 b k + 10 b 2 ( x ) + x L 8 b k + 10 b 3 ( x ) 4 L 8 b k + 8 b ( x ) > 5 L 8 b k + 8 b ( x ) 4 L 8 b k + 8 b ( x ) + x L 8 b k + 10 b 3 ( x ) > 0 ,

and

6 L 4 b k + 6 b ( x ) 4 L 4 b k + 4 b ( x ) 4 L 4 b k + 2 b ( x ) = 6 x L 4 b k + 6 b 1 ( x ) + 6 L 4 b k + 6 b 2 ( x ) 4 L 4 b k + 4 b ( x ) 4 L 4 b k + 2 b ( x ) > 0 ,

and 6 L 4 b k (x) L 4 b k 4 b (x)>0, 4 L 8 b k + 4 b (x) L 8 b k + 2 b (x) L 4 b k + 10 b (x)>0.

Hence the numerator of the left-hand side of inequality (42) is positive, so inequality (42) holds for any positive integer k, x2 and odd b1. Hence inequality (41) is true. Using (41) repeatedly, we have

k = 2 m + 1 1 L b k 2 ( x ) = k = m ( 1 L 2 b k + b 2 ( x ) + 1 L 2 b k + 2 b 2 ( x ) ) > k = m ( 1 L 2 b k + b 2 ( x ) L 2 b k 2 ( x ) + 3 1 L 2 b k + 3 b 2 ( x ) L 2 b k + 2 b 2 ( x ) + 3 ) = 1 L 2 b m + b 2 ( x ) L 2 b m 2 ( x ) + 3 .
(43)

On the other hand, we prove that for any positive integer k, x2 and odd b1,

1 L 2 b k + b 2 ( x ) + 1 L 2 b k + 2 b 2 ( x ) < 1 L 2 b k + b 2 ( x ) L 2 b k 2 ( x ) + 2 1 L 2 b k + 3 b 2 ( x ) L 2 b k + 2 b 2 ( x ) + 2 .
(44)

Inequality (44) is equivalent to

L 2 b k + 3 b 2 ( x ) + 2 L 2 b k + 2 b 2 ( x ) ( L 2 b k + 3 b 2 ( x ) L 2 b k + 2 b 2 ( x ) + 2 ) > L 2 b k 2 ( x ) 2 L 2 b k + b 2 ( x ) ( L 2 b k + b 2 ( x ) L 2 b k 2 ( x ) + 2 ) .

Using identity (2), the above inequality is equivalent to

4 L 8 b k + 8 b ( x ) 4 L 8 b k + 4 b ( x ) + L 4 b k + 10 b ( x ) 6 L 4 b k + 6 b ( x ) + L 4 b k + 4 b ( x ) + L 4 b k + 2 b ( x ) 6 L 4 b k ( x ) + 6 L 4 b k 4 b ( x ) > 0 .
(45)

It is clear that inequality (45) holds for any positive integer k, x2 and odd b1. So, inequality (44) is true. Using (44) repeatedly, we have

k = 2 m + 1 1 L b k 2 ( x ) = k = m ( 1 L 2 b k + b 2 ( x ) + 1 L 2 b k + 2 b 2 ( x ) ) < k = m ( 1 L 2 b k + b 2 ( x ) L 2 b k 2 ( x ) + 2 1 L 2 b k + 3 b 2 ( x ) L 2 b k + 2 b 2 ( x ) + 2 ) = 1 L 2 b m + b 2 ( x ) L 2 b m 2 ( x ) + 2 .
(46)

Combining (43) and (46), we deduce inequality (40). This proves Theorem 2(4). □