Día: 2 octubre 2022

Esta semana he publicado en Calculemus las demostraciones con Lean de las siguientes propiedades:

• 1. Si a, b, c ∈ ℝ tales que a ≤ b, entonces c – eᵇ ≤ c – eᵃ
• 2. Si a, b ∈ ℝ, entonces 2ab ≤ a² + b²
• 3. Si a, b ∈ ℝ, entonces |ab| ≤ (a² + b²)/2
• 4. Si a, b ∈ ℝ, entonces min(a,b) = min(b,a)
• 5. Si a, b ∈ ℝ, entonces max(a,b) = max(b,a)

A continuación se muestran las soluciones.
Read More “DAO: La semana en Calculemus (30 de septiembre de 2022)”