Las funciones f(x,y) = (x + y)² y g(x,y) = x² + 2xy + y² son iguales
Demostrar con Lean4 que las funciones \(f(x,y) = (x + y)²\) y \(g(x,y) = x² + 2xy + y\)² son iguales.
Para ello, completar la siguiente teoría de Lean4:
|
1 2 3 4 |
import Mathlib.Data.Real.Basic example : (fun x y : ℝ ↦ (x + y)^2) = (fun x y : ℝ ↦ x^2 + 2*x*y + y^2) := by sorry |
Read More «Las funciones f(x,y) = (x + y)² y g(x,y) = x² + 2xy + y² son iguales»