12. Demostración: Suponga que n es cualquier entero par. Por definición de par, n 2k para algún entero k. Entonces n 2 2k2 k k porque k es un ente...

12. Demostración: Suponga que n es cualquier entero par. Por definición de par, n 2k para algún entero k. Entonces n 2 2k2 k k porque k es un entero y k k k ฀ 1. k n 2 ya que n 2k. Pero Así, por un lado, ⌊ n 2 ⌋ = k y por el otro k = n 2 . Entonces se tiene que ⌊ n 2 ⌋ = n 2 [que era lo que se quería demostrar].