20 julio 2023 – Calculemus

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

PorJosé A. Alonso 20 julio 202319 julio 2023

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

   (a + b) * (c + d) = a * c + a * d + b * c + b * d

1	(a + b) * (c + d) = a * c + a * d + b * c + b * d

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

import Mathlib.Data.Real.Basic
import Mathlib.Tactic

variable (a b c d : ℝ)

example
  : (a + b) * (c + d) = a * c + a * d + b * c + b * d :=
sorry

import Mathlib.Data.Real.Basic

import Mathlib.Tactic

variable (a b c d : ℝ)

example

: (a + b) * (c + d) = a * c + a * d + b * c + b * d :=

sorry