Menu Close

Día: 11 de noviembre de 2022

La suma de dos funciones pares es par

La función f de ℝ en ℝ es par si, para todo x, f(-x) = f(x).

Demostrar que la suma de dos funciones pares es par.

Para ello, completar la siguiente teoría de Lean:

import data.real.basic
 
variables (f g :   )
 
def par (f :   ) : Prop :=  x, f x = f (-x)
 
example
  (hf : par f)
  (hg : par g)
  : par (f + g) :=
sorry