Día: 10 septiembre 2023

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

• 1. En ℝ, |ab| ≤ (a²+b²)/2
• 2. En ℝ, min(a,b) = min(b,a)
• 3. En ℝ, max(a,b) = max(b,a)
• 4. En ℝ, min(min(a,b),c) = min(a,min(b,c))
• 5. En ℝ, min(a,b)+c = min(a+c,b+c)

A continuación se muestran las soluciones.
Read More “La semana en Calculemus (9 de septiembre de 2023)”