Algebra/Proofs

From testwiki
Jump to navigation Jump to search

An Algebraic Proof is a proof of a Theorem (or Lemma or Corollary) that relies highly on symbolic manipulation of equations to go from the assumption(s) to the conclusion(s). An algebraic proof may be contrasted with a combinatorial proof, which involves more discussion of the objects themselves, rather than the symbols representing them.

Example

Theorem: (nk)+(nk+1)=(n+1k+1).

Proof:

 LHS=n!k!(nk)!+n!(k+1)!(nk1)!
 =n!(k+1)(k+1)!(nk)!+n!(nk)(k+1)!(nk)!
 =(k+1+nk)n!(k+1)!(nk)!=(n+1)n!(k+1)!(nk)!=RHS