Día: 3 febrero 2024

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

• 1. La raíz cuadrada de 2 es irracional
• 2. Las funciones f(x,y) = (x + y)² y g(x,y) = x² + 2xy + y² son iguales
• 3. En ℝ, |a| = |a – b + b|
• 4. En ℝ, si 1 < a, entonces a < aa
• 5. La sucesión constante sₙ = c converge a c

A continuación se muestran las soluciones.
Read More “La semana en Calculemus (3 de febrero de 2024)”