quanti divideranno questa cosa atroce?

[salva90]

Determinare quanti sono gli interi n compresi tra 2000 e 2010 (estremi inclusi) e tali che 7 divide la parte intera di
$ \displaystyle\frac{\sqrt2}{4}\left(1+\sqrt2\right)^n $

viene dal tristemente noto fascicoletto dello stage senior 2002 e a mio avviso ha una soluzione veramente carina...

good work³
________
Padre de 'La Santissima Trinità'

[wolverine]

bah!

$ a_0=0; \quad a_1=1;\quad a_{n+2}=2a_{n+1}+a_n $