Para la primera Q.
Sea $17=x_1.$ Para cada $n,$ si $|x_n|>1,$ tomar entero positivo $K_n$ tal que $$|K_nx_n|<41<|(1+K_n)x_n| .$$ Toma $x_{n+1}$ con $41>|x_{n+1}|$ donde: ...
(i). Si $41-|K_nx_n|<|(1+K_n)x_n|-41$ entonces $x_{n+1}\equiv K_nx_n \pmod {41}$ ...
(ii). En caso contrario $x_{n+1}\equiv (1+K_n)x_n \pmod {41}.$
(Esto es más rápido que simplemente tomar $x_{n+1}\equiv 41- K_nx_n \pmod {41},$ ya que garantiza que si $|x_n|>1$ entonces $|x_{n+1}|\leq |x_n|/2.)$
Si $|x_n|=1$ entonces para.
Tenemos $17=x_1$ y $34=17\cdot 2<41<17\cdot 3=51$ así que $K_1=2.$ Tenemos $41-34<51-41$ así que tomamos $x_2\equiv 17\cdot 2 \pmod {41}$ . Es decir, $x_2=-7$ . Ahora tenemos $35=5|x_2|<41<6|x_2|=42$ así que $K_2=5$ . Y $41-35>42-41$ así que tomamos $x_3\equiv (1+K_2)x_2 \pmod {41}.$ Eso es, $x_3= -1.$
Ahora modulo 41 tenemos $-1\equiv (1+k_2)\cdot k_1\cdot 17 \equiv 6\cdot 2\cdot 17 \equiv 12\cdot 17.$ Por lo tanto $1\equiv (-12)17\equiv 29\cdot 17.$