La semana en Calculemus (2 de septiembre de 2023)
Esta semana he publicado en Calculemus las demostraciones con Lean4 de las siguientes propiedades:
- 1. En ℝ, si a ≤ b y c < d, entonces a + eᶜ + f ≤ b + eᵈ + f
- 2. En ℝ, si d ≤ f, entonces c + e^(a + d) ≤ c + e^(a + f)
- 3. En ℝ, si a ≤ b, entonces log(1+e^a) ≤ log(1+e^b)
- 4. En ℝ, si a ≤ b entonces c – e^b ≤ c – e^a
- 5. En ℝ, 2ab ≤ a² + b²
A continuación se muestran las soluciones.
Read More “La semana en Calculemus (2 de septiembre de 2023)”