DAO: La semana en Calculemus (28 de agosto de 2022)
Esta semana he publicado en Calculemus las demostraciones con Lean de las siguientes propiedades:
- 1. Si a, b, c ∈ ℝ, entonces (a * b) * c = b * (a * c)
- 2. Si a, b, c, d, e, f ∈ ℝ tales que a * b = c * d y e = f entonces, a * (b * e) = c * (d * f)
- 3. Si a, b ∈ ℝ, entonces (a + b) * (a + b) = a * a + 2 * (a * b) + b * b
- 4. Si a, b, c, d ∈ ℝ , entonces (a + b) * (c + d) = a * c + a * d + b * c + b * d
- 5. Si a, b ∈ ℝ, entonces (a + b) * (a – b) = a^2 – b^2
A continuación se muestran las soluciones.
Read More “DAO: La semana en Calculemus (28 de agosto de 2022)”