I asked this question on mathstackexchange but didn't get any answer .
Definition 1 :
Let $F_n(b) $ be a generalized Fermat number of the form :
$F_n(b) = b^{2^n}+1 $ , where $b$ is a positive even integer .
Definition 2 :
Let $T_n(S_{i-1}) $ be a Chebyshev polynomial of the first kind , i.e.
$T_n(S_{i-1}) = 2^{-1} \cdot \left(\left(S_{i-1}+\sqrt{S^2_{i-1}-1}\right)^n+\left(S_{i-1}-\sqrt{S^2_{i-1}-1}\right)^n\right ) $
How to prove following statements :
Example 1 :
Let's define sequence $S_i $ as :
$ S_i = T_{78} (S_{i-1} ) \text{ with } S_{0} = 6 $
I have found that :
$ F_1(156) \mid S_2 , ~ F_4(156) \mid S_{30} , ~ F_5(156) \mid S_{62} $
Also , no composite $ F_n(156) $ up to $n= 10 $ divides corresponding $S_i $ .
Conjecture :
$F_{n}(156) , (n \geq 1) \text{ is a prime iff } F_n(156) \mid S_{2^{n+1}-2} $
Example 2 :
Let's define sequence $S_i $ as :
$ S_i = T_{18} (S_{i-1} ) \text{ with } S_{0} = 8 $
I have found that :
$ F_2(288) \mid S_{17} , ~ F_3(288) \mid S_{37} , ~ F_4(288) \mid S_{77} $
Also , no composite $F_{n}(288) $ up to $ n=10 $ divides corresponding $S_i $ .
Conjecture :
$F_{n}(288) , (n \geq 1) \text{ is a prime iff } F_n(288) \mid S_{5 \cdot 2^n-3} $
Example 3 :
Let's define sequence $S_i $ as :
$S_i = T_{2222}(S_{i-1}) \text{ with } S_{0}=4 $
I have found that :
$ F_1(4444) \mid S_{2} , ~ F_2(4444) \mid S_{6} , ~ F_4(4444) \mid S_{30} $
Also , no composite $F_{n}(4444) $ up to $n=10 $ divides corresponding $S_i $ .
Conjecture :
$F_{n}(4444) , (n \geq 1 ) \text{ is a prime iff } F_n(4444) \mid S_{2^{n+1}-2} $
P.S.
I am interested in hints (not full solution) .