You remark in a comment that you have no idea how Andre thought of the inductive proof. Below we show that it is a special case of a simple general method that works for inductions of this type. We show extremely explicitly how the inductive steps in the proofs by Andre and user217773 are both precisely special cases of proofs of the Congruence Product Rule. You need not be familiar with congruences to understand this since we also write it in an equivalent $\rm\color{#0a0}{divisibility\ form}$.
$\!\!\begin{align} &\!\rm \color{#c00}{P(1)},\ \ \ \ \ P(k) \quad\Rightarrow \ \ \ P(\color{#c00}1\!+\!k),\ \ \ {\rm for}\ \ \ P(j)\,:=\, 10^{2\:\!j}\equiv 1\!\!\!\pmod{\!11}\\[.5em]
{\bf Claim}\rm\qquad\ \ \color{#c00}{10^2}\!&\rm\equiv \color{#c00}1, \, 10^{2k}\!\equiv 1\ \, \Rightarrow\, 10^{\:\!\color{#c00}2}10^{2k}\!\equiv \color{#c00}1\cdot 1\!\!\!\!\,\pmod{\!11},\ \ \text{follows by below}\\[.4em]
{\bf Lemma}\rm\qquad\ \color{#c00}A&\rm\equiv \color{#c00}a,\ \, B\equiv b\quad \Rightarrow\quad\,\ \color{#c00}AB\,\equiv\, \color{#c00}ab \, \pmod{\!n}\ \ [\rm\color{#c00}Congruence \ \rm\color{#c00}Product\ \rm\color{#c00}Rule]\\[.3em]
\rm\quad\ \ i.e.\quad\! n\mid A&\rm -a,\ \ B\,-\,b\ \Rightarrow\,\ n\mid \,AB\,-\,ab\qquad\qquad\ \ \ \ \ \ \:\! [\rm\color{#c00}{CPR}\ in\ \color{#0a0}{divisibility\ form}]\\[.5em]
{\bf Proof_A}\ \ \ \ \rm n\mid A&\rm -a,\ \ B\,-\,b\,\Rightarrow\,\ n\mid \ A\ (\ B\,-\,b)+\,(\ A-a)b\, =\ \,A\, B\,-\,a\,b\\[.3em]
\rm\quad\ e.g.\,\ 11\mid 10^2&\rm -\!1,\ 10^{2k}\!-\!1\,\Rightarrow 11\mid\! 10^2(10^{2k}\!-\!1)+(10^2\!-\!1)1\,= 10^{2(k+1)}\!-1\ \ \ [Andre]\\[.5em]
{\bf Proof_{\,u}}\ \ \ \ \rm n\mid A&\rm -a,\ \ B\,-\,b\,\Rightarrow\,\ n\mid (\, A-a)\,\ B\ \ +a\ (\ B-b)\, =\ \,A\, B\,-\,a\,b\\[.3em]
\rm\quad\ e.g.\,\ 11\mid 10^2&\rm -\!1,\ 10^{2k}\!-\!1\,\Rightarrow 11\mid(10^2\!-\!1)10^{2k}\!+\! 1(10^{2k}\!\!-\!1) = 10^{2(k+1)}\!-1\ \ \ [user217773] \end{align}$
Thus the inductive steps of Andre & user217773 - which appear to have been pulled out of hat like magic - are actually nothing but special cases of the proofs of $\,\small \rm\color{#c00}{CPR} = $ Congruence Product Rule. Once we know this rule, there is no need to duplicate the entire proof inline every time that we employ it. Rather, we can simply invoke the rule as a Lemma (in $\rm\color{#0a0}{divisibility\ form}$ if congruences are not yet known). Doing so greatly clarifies the innate arithmetical structure, being simply the computation of a product $\, 10^2\!\cdot 10^{2k}\equiv 10^{2(k+1)}.\,$ No longer is this structure obfuscated by the details of the proof of the Product Rule - since the proof has been encapsulated into a Lemma for convenient reuse (so we can call it "by name" vs. "by value" - in CS lingo).
Similarly, congruences often clarify innate arithmetical structure underlying inductive proofs - allowing us to reuse our well-honed grade-school skills manipulating arithmetical equations (vs. more complex divisibility relations), often drastically simplifying the induction, e.g. reducing it to a trivial induction such as $\, 1^n\equiv 1,\,$ or $\,(-1)^{2n}\equiv 1,\,$ which is the essence of the inductive proof above, i.e. $\!\bmod 11\!:\,\ 10\equiv -1\,\Rightarrow\,10^{2n}\equiv (-1)^{2n}\equiv 1\,$ by the Congruence Power Rule, (whose proof is an immediate inductive extension of the Product Rule exactly as in the proof of above OP special case). In number theory we typically make such inferences by applying the Power Rule (or the more general Polynomial Congruence Rule, i.e. $\,a\equiv b\,\Rightarrow\, P(a)\equiv P(b)\,$ for any polynomial $P(x)$ with integer coefficients).
Generally induction yields $\,a_i\equiv b_i\,\Rightarrow\, a_1\cdots a_k\equiv b_1\cdots b_k,\,$ the $k$-ary extension of the Congruence Product Rule. The constant case specialization $\,a_i\equiv a,\,b_i\equiv b\,$ yields the ubiquitous Factor Theorem $\,a\equiv b\Rightarrow a^k\equiv b^k\,$ so $\,a−b\mid a^k - b^k,\,$
by choosing modulus $\,m=a−b$. Note that this immediately yields the OP for $\,a,b = 10,-1\,$ and $k=2n$.