Me gustaría probar inductivamente que $${2n\choose n}=\sum_{i=0}^n{n\choose i}^2.$$
Yo conozco a un par de no-inductivo de pruebas, pero no puedo hacerlo de esta manera. El paso inductivo me escapa. He intentado ingenuamente cosas como $${2n+2\choose n+1}={2n+2\over n+1}{2n+1\choose n}=2\cdot {2n+1\over n+1}{2n\choose n},$$
Pero creo que no puede llevarme a ninguna parte. Me gustaría que la prueba sea tan simple como sea posible.