Sketch the graph of $F_4^n(x)$ on the unit interval, where $F_4(x) = 4x(1-x)$. Conclude that $F_4$ has at least $2^n$ periodic points of period $n$. Sketching the graph I found that $F_4$ has exactly $2^{n-1}$ point wich prime period $n$. My $F_4^n$ graph look like a $|sin(x)|$ graph with $2^n$ intersections on $Id$, but I removed the $2^{n-1}$ to remove points that have period less then n. What is wrong?

Given the following functions:
$\varphi(x)=-4x+2$,
$\varphi^{-1}(x)=\frac{x-2}{-4}$
and $g(x)=x^2-2$
we have:
$$F_4(x)=(\varphi^{-1} \circ g\circ \varphi)(x)$$
or
$$F_4^{\circ n}(x)=(\varphi^{-1} \circ g^{\circ n} \circ \varphi)(x) \tag{1}$$

Further $g(x)$ can be written as
$$g(x)=(\gamma^{-1} \circ T_2\circ \gamma)(x)$$
where $T_2(x)=2x^2-1$ (a Chebyshev polynomials), $\gamma(x)=\frac{x}{2}$ and $\gamma^{-1}(x)=2x$. Then
$$F_4(x)=(\varphi^{-1} \circ \gamma^{-1} \circ T_2\circ \gamma \circ \varphi)(x)$$
or
$$F_4^{\circ n}(x)=(\varphi^{-1} \circ \gamma^{-1} \circ T_2^{\circ n}\circ \gamma \circ \varphi)(x) \tag{2}$$

Chebyshev polynomials satisfy
$$T_n(T_m(x))=T_{nm}(x) \Rightarrow T_2^{\circ n} (x)=T_{2^n}(x)$$
or
$$F_4^{\circ n}(x)=(\varphi^{-1} \circ \gamma^{-1} \circ T_{2^n}\circ \gamma \circ \varphi)(x) \tag{3}$$

Periodic points of period $n$ are fixed points of $\circ n$ composition.
Fixed points of $T_{2^n}(x)$ are fixed for $F_4^{\circ n}(x)$ "through" $\gamma(x)$ and $\varphi(x)$, both linear functions, i.e.

Proposition 1. $T_{2^n}(x)=x \iff F_4^{\circ n}(y)=y$
where $y=(\varphi^{-1} \circ \gamma^{-1} )(x)$

We should also observe that if $y \in [0,1]$ then
$$x=(\gamma \circ \varphi) (y) = -2y+1 \in [-1,1] \tag{4}$$

For Chebyshev polynomials we have $T_m(\cos{\alpha})=\cos{(m\alpha)}$. From $(4)$ we can assume that $\exists \alpha$ s.t. $x=(\gamma \circ \varphi) (y)=\cos{\alpha}$. As a result, for proposition 1 we will be looking at
$$T_{2^n}(\cos{\alpha})=\cos{(2^n \alpha)}=\cos{\alpha}$$
which means for $k\in\mathbb{Z}$
$$2^n \alpha = \alpha +2k\pi \Rightarrow \alpha =\frac{2k\pi}{2^n-1}$$
or
$$2^n \alpha = -\alpha +2k\pi \Rightarrow \alpha =\frac{2k\pi}{2^n+1}$$
and we found 2 sequences
$$x_{1,k} = T_{2^n}(x_{1,k})=T_2^{\circ n} (x_{1,k}) 
\text{, where } x_{1,k}=\cos{\left(\frac{2k\pi}{2^n-1}\right)}$$
$$x_{2,k} = T_{2^n}(x_{2,k})=T_2^{\circ n} (x_{2,k}) 
\text{, where } x_{2,k}=\cos{\left(\frac{2k\pi}{2^n+1}\right)}$$

Applying proposition 1
$$y=(\varphi^{-1} \circ \gamma^{-1} )(x)=\frac{1-x}{2}$$
and considering that $\frac{1-\cos{\alpha}}{2}=\sin^2{\frac{\alpha}{2}}$, we have
$$y_{1,k} =\sin^2{\left(\frac{k\pi}{2^n-1}\right)}$$
$$y_{2,k} =\sin^2{\left(\frac{k\pi}{2^n+1}\right)}$$
Some of these values will repeat, for example
$$y_{1,2^n-k}=y_{1,k-1} \text{, so we can limit } k=\overline{1,2^{n-1}}$$
$$y_{2,2^n-k}=y_{2,k+1} \text{, so we can limit } k=\overline{0,2^{n-1}-1}$$
which makes $2^n$ altogether.
