OliForum Matematico

Mostrare che per ogni $ n \in \mathbb{N}_0 $ della forma $ 6k\pm 1 $ vale: $ \displaystyle 112 \mid \left \lfloor 4^n-(2+\sqrt{2})^n \right\rfloor $.