La siguiente demostracion intenta convencernos que
               n=n+1
Su mision es descubrir cual es la falla del argumento. Si falla en su intento, la respuesta sera anunciada proximamente.
Se comienza recordando una conocida identidad.
(n+1)2  = n2+2n+1                      (es facil, "famoso binomio")
(n+1)2-(2n+1) = n2                     ( restar 2n+1)
(n+1)2-(2n+1)-n(2n+1) = n2-n(2n+1)     (restar n(2n+1))
(n+1)2-(2n+1)(1+n)      = n2-n(2n+1)   (factorizar (2n+1) )
(n+1)2-(2n+1)(1+n)+(1/4)(2n+1)2
         = n2-n(2n+1)+(1/4)(2n+1)2     (sumar (1/4)(2n+1)2 )
Puedo factorizar ambos lados como cuadrados de binomio:
[(n+1)-(1/2)(2n+1)]2 = [n-(1/2)(2n+1)]2
Simplificando los cuadrados:
 (n+1) - (1/2)(2n+1)  =  n - (1/2)(2n+1)
Sumando finalmente  (1/2)(2n+1):
 n+1 = n
Revise los 8 pasos anteriores y encuentre el o los pasos erroneos.