BASICS DIFINITION ABOUT THEOREMS:
Definitions, theorems, proofs Meanings written by Ikram khan Bs mathematics
• Definition: An explanation of the mathematical meaning of a word.
Example: A statement is a sentence that is either true or false–but not both.
• Theorem: A statement that has been proven to be true.
Example: If two angles of a triangle are congruent then the sides opposite to them are also congruent.
• Proposition: A declarative sentence that is either true or false, but not both.
Example: 1. B is a vowel (F) 2. 1+1=2 (T)
• Lemma: A true statement used in proving other true statements (that is, a less important theorem that is helpful in the
proof of other results).
Example: Euclid`s division lemma states that for any two positive integers a and b, there exist two unique whole numbers
say q and r such that A=BQ+R, where 0 ≤ r <B here A=Dividend, B=Divisor, Q=Quotient, R=Remainder
• Corollary: A true statement that is a simple deduction from a theorem or proposition.
• Proof: The explanation of why a statement is true.
• Conjecture: A statement believed to be true, but for which we have no proof. (a statement that is being proposed to be a
true statement).
• Axiom: A basic assumption about a mathematical situation. (a statement we assume to be true).
Example: A+B= B+A for any two numbers A and B.
Definitions, theorems, proofs Meanings written by Ikram khan Bs mathematics
• Definition: An explanation of the mathematical meaning of a word.
Example: A statement is a sentence that is either true or false–but not both.
• Theorem: A statement that has been proven to be true.
Example: If two angles of a triangle are congruent then the sides opposite to them are also congruent.
• Proposition: A declarative sentence that is either true or false, but not both.
Example: 1. B is a vowel (F) 2. 1+1=2 (T)
• Lemma: A true statement used in proving other true statements (that is, a less important theorem that is helpful in the
proof of other results).
Example: Euclid`s division lemma states that for any two positive integers a and b, there exist two unique whole numbers
say q and r such that A=BQ+R, where 0 ≤ r <B here A=Dividend, B=Divisor, Q=Quotient, R=Remainder
• Corollary: A true statement that is a simple deduction from a theorem or proposition.
• Proof: The explanation of why a statement is true.
• Conjecture: A statement believed to be true, but for which we have no proof. (a statement that is being proposed to be a
true statement).
• Axiom: A basic assumption about a mathematical situation. (a statement we assume to be true).
Example: A+B= B+A for any two numbers A and B.