Me encontré con este problema el otro día. Se supone que la prueba se hace exhibiendo una bijección explícita entre dos conjuntos, sin usar inducción, recurrencia o funciones generadoras.
Denota por $ \omega (n)$ el número de permutaciones $ \sigma\in S_n$ para que $ \sigma $ tiene una raíz cuadrada (es decir, existe $ \tau\in S_n$ para que $ \tau ^2 = \sigma $ ). Demuestra que $ \omega (2n+1) = (2n+1) \omega (2n)$ .