Si c = da+b y b = ad, entonces c = 2ad

Demostrar con Lean4 que si a, b, c y d son números reales tales que

entonces

Para ello, completar la siguiente teoría de Lean4:

Read More «Si c = da+b y b = ad, entonces c = 2ad»

(a+b)(a-b) = a²-b²

Demostrar con Lean4 que si a y b son números reales, entonces

Para ello, completar la siguiente teoría de Lean4:

Read More «(a+b)(a-b) = a²-b²»

(a + b) (c + d) = ac + ad + bc + bd

Demostrar con Lean4 que si a, b, c y d son números reales, entonces

Para ello, completar la siguiente teoría de Lean4:

Read More «(a + b) (c + d) = ac + ad + bc + bd»

(a + b)(a + b) = aa + 2ab + bb

Demostrar con Lean4 que si a y b son números reales, entonces

Para ello, completar la siguiente teoría de Lean4:

Read More «(a + b)(a + b) = aa + 2ab + bb»

Si c = ba-d y d = ab, entonces c = 0

Demostrar con Lean4 que si a, b, c y d son números reales tales

entonces

Para ello, completar la siguiente teoría de Lean4:

Read More «Si c = ba-d y d = ab, entonces c = 0»

Si bc = ef, entonces ((ab)c)d = ((ae)f)d

Demostrar con Lean4 que si bc = ef, entonces ((ab)c)d = ((ae)f)d.

Para ello, completar la siguiente teoría de Lean4:

Read More «Si bc = ef, entonces ((ab)c)d = ((ae)f)d»

Si ab = cd y e = f, entonces a(be) = c(df)

Demostrar con Lean4 que si ab = cd y e = f, entonces a(be) = c(df)

Para ello, completar la siguiente teoría de Lean4:

Read More «Si ab = cd y e = f, entonces a(be) = c(df)»

∀ a b c ∈ ℝ, a(bc) = b(ac)

Demostrar con Lean4 que ∀ a b c ∈ ℝ, a * (b * c) = b * (a * c)

Para ello, completar la siguiente teoría de Lean4:

Read More «∀ a b c ∈ ℝ, a(bc) = b(ac)»