A riesgo de no ser tan claro, cualquier buen libro de matemáticas de la competencia seguro que tiene un montón de ejemplos al nivel que quieres. Aquí hay uno de Putnam and Beyond, de Gelca y Andreescu, que demuestra cómo las definiciones recursivas pueden usarse para hacer inducción:
Demostrar que cualquier función $f : \mathbb{R} \rightarrow \mathbb{R}$ puede escribirse como una suma de dos funciones, cada una de las cuales es un desplazamiento de una función impar (es decir, existe algún $g,h : \mathbb{R} \rightarrow \mathbb{R}$ y $a,b \in \mathbb{R}$ tal que $g(x-a)$ y $h(x-b)$ son funciones impar y $f = g+h$ )
La prueba es la construcción de $g$ y $h$ en subintervalos crecientes de $\mathbb{R}$ con $a=0$ y $b=1$ . Sea $g(x)=x f(1)$ en $[-1,1]$ y $h(x)=f(x)-g(x)$ en el mismo intervalo. Para $n \ge 1$ dejar $h(x)= -h(2-x)$ en $(2n-1,2n+1)$ y $g(x)=f(x)-h(x)$ en el mismo intervalo. Entonces dejemos que $g(x)=-g(-x)$ en $[-2n-1,-2n+1)$ y $h(x)=f(x)-g(x)$ en el mismo intervalo.
Para demostrar que $g$ y $h$ definidos de esta manera satisfacen las propiedades requeridas utiliza la inducción. En concreto, supongamos que en cada etapa tenemos $g$ y $h$ definido en $[-2n-1,2n+1]$ con $f=g+h$ , $g$ impar, y $h(x)=-h(2-x)$ para $x \in [-2n-3,2n+1]$ . Se deduce directamente de las definiciones de $g$ y $h$ que $f=g+h$ en $[-2(n+1)-1,2(n+1)+1]$ y que $g$ sigue siendo impar y $h(x)=-h(2-x)$ para $x \in [-2(n+1)-3,2n+1]$ . Como estos intervalos cubren $\mathbb{R}$ tenemos $g$ y $h$ definido en todas partes con las propiedades deseadas.
Hay que reconocer que esto es un poco más difícil de lo que la mayoría de los estudiantes de secundaria serían capaces de resolver, pero sigue siendo totalmente elemental y con un poco de agua y dibujos podrían al menos entenderlo.