Download as pptx, pdf, or txt
Download as pptx, pdf, or txt
You are on page 1of 45

Methods of proof

CHA
PTER
2

DR. JOEMAR ENDAM


MSM 602
contents

PROOF

01 by Deductive Reasoning
Determining
04 the Hypothesis and
Conclusion

02
POSTULATES
(Assumptions)

05
PROVING
A Theorem

03
Basic
Angle Theorems
Deductive Reasoning is
proof
Deductive reasoning enables us to derive
true or acceptably true conclusions from
statements which are true or accepted as
true.
Three steps
1. Making a general statement referring
to a whole set or class of things, such as
the class of dogs: All dogs are
quadrupeds (have four feet).

2. Making a particular statement about 3. Making a deduction that follows


one or some of the members of the set or logically when the general statement is
class referred to in the general statement: applied to the particular statement: All
All greyhounds are dogs. greyhounds are quadrupeds.
Deductive reasoning is called syllogistic reasoning because
the three statements together constitute a syllogism.
General statement PARTICULAR DEDUCTION
STATEMENT

MAJOR MINOR CONCLUSION


PREMISE PREMISE
MAJOR PREMISE MINOR PREMISE CONCLUSION

All dogs are All greyhounds All greyhounds are


quadrupeds. are dogs. quadrupeds.
DOGS
QUADRUPEDS

DOGS
QUADRUPEDS
QUADRUPEDS

GREYH
DOGS
QUADRUPEDS
OUNDS

DOGS
MAJOR PREMISE: QUADRUPEDS
All dogs are
quadrupeds. CONCLUSION:
GREYH
DOGS
QUADRUPEDS
OUNDS All greyhounds are
MINOR PREMISE: quadrupeds.
All greyhounds are DOGS
dogs.
● Measurement cannot serve as proof
- applies only to the limited number of cases involved.
- the conclusion it provides is not exact but approximate, depending on the
precision of the measuring instrument and the care of the observer
● Experiment cannot serve as proof
- conclusions are only probable ones
- The degree of probability depends on the particular situations or instances
examined in the process of experimentation
Fluffy is a domestic animal.
Fluffy is a domestic animal.

Jan is a person.
Fluffy is a domestic animal.

Jan is a person.
<c and <d are congruent.
Fluffy is a domestic animal.

Jan is a person.
<c and <d are congruent.
A rectangle has congruent
diagonals.
Fluffy is a domestic animal.

Jan is a person.
<c and <d are congruent.
A rectangle has congruent
diagonals.

ABC is an obtuse triangle.


postulates

accepted as true so as to
unproved general be able to deduce other
statements statements

ALGEBRAIC GEOMETRIC
POSTULATES POSTULATES
postulates

Transitive Substitution REFLEXIVE/


Partition Postulate
Postulate Postulate IDENTITY

Things equal to the A quantity may be The whole equals Any quantity equals
same or equal things substituted for its equal itself.
in any expression or
the sum of its parts
are equal to each
other equation. Thus x = x, m<A =
Thus if x = 5 and y = x + Thus the total value of a m<A, and AB = AB.
if a = b and c = b, 3, we may substitute 5 for dime, a nickel, and a
then x and find y = 5 + 3 = 8. penny is 16 cents.
a=c
postulates

Addition Subtraction Multiplication Division

If equals are added to If equals are subtracted If equals are If equals are divided
equals, the sums are from equals, the multiplied by equals, by equals, the
equal. differences are equal. the products are quotients are equal;
equal; if a = b and c = d, then
if a = b and if a = b and c = d, then if a = b and = d, then
a/c = b/d,
c = d, then a – c = b – d. ac = bd.
where c, d is not equal
a+c=b+d to 0.
Example. Example.
postulates

Powers Postulate 10

Like powers of Like roots of


equals are equal; equals are equal;
if a = b, then if a = b, then
𝑎 𝑛=𝑏𝑛 =
Thus if x = 5, then Thus if = 27, then
or y=
Geometric Postulates

Postulate 11 Postulate 12
Two lines can intersect in one and only
One and only one straight line one point.
can be drawn through any two
points. Thus, only P is the point of intersection
of and in Fig. 2-4.

Figure 2-4
Postulate 13 Postulate 14
One and only one circle can
The length of a segment is the be drawn with any given
shortest distance between two point as center and a given
points. line
segment as a radius.

Figure 2-5 Figure 2-6


Postulate 15
Any geometric figure can be
moved without change in size
or shape.

Thus, I in Fig. 2-7 can be


moved to a new position Postulate 16
without changing its size or
shape. A segment has one and only
one midpoint.

Thus, only M is the midpoint


of in Fig. 2-8.
Postulate 17
An angle has one and only one
bisector.

Thus, only AD is the bisector


of <A in Fig. 2-9. Postulate 18
Through any point on a line,
one and only one
perpendicular can be drawn to
the line.
Postulate 19
Through any point outside a
line, one and only one
perpendicular can be drawn to
the
given line.
Basic Angle
Theorems
A theorem is a statement, which,
when proved, can be used to prove
other statements or derive other
results.
Each of the following basic theorems
requires the use of definitions and
postulates for its proof.
Principle 3
Complements of the same or of congruent
angles are congruent.
This is a combination of the following two principles:

1. Complements of the same angle are congruent.

2. Complements of congruent angles are congruent.


PRINCIPLE 4: Supplements of the same or of congruent angles are
congruent.
PRINCIPLE 5: Vertical angles are congruent.
Determining the Hypothesis
and Conclusion
Statement Forms: Subject-Predicate Form and If-Then Form
Converse of a Statement
formed by interchanging the hypothesis and
conclusion
Comparison

Principle 1 Principle 2

The converse of a true statement is not The converse of a definition is always true.
necessarily true.
Thus, the converse of the definition ‘‘a triangle
is a polygon of three sides’’ is ‘‘a polygon of
Thus, the statement ‘‘triangles are polygons’’ is three sides is a triangle.’’ Both the definition
true. Its converse need not be true. and its converse are true.
Proving a Theorem
Theorems should be proved using
the following step-by-step
procedure.
procedure

1. Divide the theorem 2. On one side, make a 3. On the other side,


into its hypothesis marked diagram. next to the diagram,
Markings on the diagram
(what is given) and its state what is given and
should include such
conclusion (what is to helpful symbols as square what is to be proved.
be proved). Underline corners for right angles, The ‘‘Given’’ and
the hypothesis with a cross marks for equal ‘‘To Prove’’ must refer
single line, and the parts, and question marks to the parts of the
conclusion with a for parts to be proved diagram.
equal.
double line.
Procedure

4. Present a plan. 5. On the left, present 6. On the right, next to the


Although not statements in statements, provide a
successively numbered reason for each statement.
essential, a plan is
steps. The last statement Acceptable reasons in the
very advisable. It proof of a theorem are
should state the major must be the one to be
given facts, definitions,
proved. All the
methods of postulates, assumed
statements must refer to theorems, and previously
proof to be used.
parts of the diagram. proven
theorems.
MSM 602

Thank
you! CREDITS: This presentation template was
created by Slidesgo, including icons by
Flaticon, and infographics & images by
Freepik
Back
Back
Back
Back

You might also like