Si a, b, c ∈ ℝ, entonces min a b + c = min (a + c) (b + c)

Sean a, b y c números reales. Demostrar que

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

Soluciones con Lean

Se puede interactuar con la prueba anterior en esta sesión con Lean.

Referencias

Escribe un comentario