MathDB
Find the value of this infinte summation about pell numbers

Source: 2019 Jozsef Wildt International Math Competition-W. 1

April 29, 2020
pell equationnumber theorysplit method

Problem Statement

The Pell numbers PnP_n satisfy P0=0P_0 = 0, P1=1P_1 = 1, and Pn=2Pn1+Pn2P_n=2P_{n-1}+P_{n-2} for n2n\geq 2. Find n=1(tan11P2n+tan11P2n+2)tan12P2n+1\sum \limits_{n=1}^{\infty} \left (\tan^{-1}\frac{1}{P_{2n}}+\tan^{-1}\frac{1}{P_{2n+2}}\right )\tan^{-1}\frac{2}{P_{2n+1}}