Mathematical Arguments and Triangle Geometry
550 likes | 568 Vues
This chapter explores deductive reasoning and its application in triangle geometry. Learn about conditional statements, rules of logic, quantifiers, and how to develop robust mathematical arguments.
Mathematical Arguments and Triangle Geometry
E N D
Presentation Transcript
Deductive Reasoning • A process • Demonstrates that if certain statements are true … • Then other statements shown to follow logically • Statements assumed true • The hypothesis • Conclusion • Arrived at by a chain of implications
Deductive Reasoning • Statements of an argument • Deductive sentence • Closed statement • can be either true or false • Open statement • contains a variable – truth value determined once variable specified
Deductive Reasoning • Statements … open? closed? true? false? • All cars are blue. • The car is red. • Yesterday was Sunday. • Rectangles have four interior angles. • Construct the perpendicular bisector.
Deductive Reasoning • Nonstatement – cannot take on a truth value • Construct an angle bisector. • May be interrogative sentence • Is ABC a right triangle? • May be oxymoron The statement inthis box is false
Rules of Logic • Use logical operators • and, or • Evaluate truth of logical combinations • P and Q
Rules of Logic • Combining with or • P or Q
Rules of Logic • Negating a statement • not P
Conditional Statements • Implication P implies Q if P then Q Possible to have either a true or a false conclusion If the hypothesis is false, an implication tells us nothing.
Conditional Statements • Viviani’s TheoremIF a point P is interior toan equilateral triangle THEN the sum of the lengths of the perpendiculars from P to the sides of the triangle is equal to the altitude.
Conditional Statements • What would make the hypothesis false? • With false hypothesis, it still might be possible for the lengths to equal the altitude
Conditional Statements • Consider a false conditional statement • IF two segments are diagonals of a trapezoidTHEN the diagonals bisect each other • How can we rewrite this as a true statement
Conditional Statements • Where is this on the truth table? • We want the opposite • IF two segments are diagonals of a trapezoidTHEN the diagonals do not bisect each other TRUE statement
Conditional Statements • Given P Q • The converse statement is Q P • Hypothesis and conclusion interchanged • Consider truth tables • Reversed
Conditional Statements • Given P Q • The contrapositive statement is Q P • Note they have the same truth table result • This can be useful in proofs
Conditional Statements • Ceva’s theorem • If lines CZ, BY, and XA are concurrentThen • State the converse, the contrapositive
Conditional Statements • Ceva’s theorem – a biconditional statement • Both statement and converse are true • Note: two separate proofs are required • Lines CZ, BY, and XA are concurrentIFF
Mathematical Arguments Developing a robust proof • Write a clear statement of your conjecture • It must be a conditional statement • Proof must demonstrate that your conclusions follow from specified conditions • Draw diagrams to demonstrate role of your hypotheses
Mathematical Arguments • Goal of a robust proof • develop a valid argument • use rules of logic correctly • each step must follow logically from previous • Once conjecture proven – then it is a theorem
Mathematical Arguments • Rules of logic give strategy for proofs • Modus ponens: P Q • Syllogism: P Q, Q R, R Sthen P S • Modus tollens: P Q and Qthen P -- this is an indirect proof
Universal & Existential Quantifiers • Open statement has a variable • Two ways to close the statement • substitution • quantification • Substitution • specify a value for the variablex + 5 = 9 • value specified for x makes statement either true or false
Universal & Existential Quantifiers • Quantification • View the statement as a predicate or function • Parameter of function is a value for the variable • Function returns True or False
Universal & Existential Quantifiers • Quantified statement • All squares are rectangles • Quantifier = All • Universe = squares • Must show every element of universe has the property of being a square • Some rectangles are not squares • Quantifier = “there exists” • Universe = rectangles
Universal & Existential Quantifiers • Venn diagrams useful in quantified statements • Consider the definitionof a trapezoid • A quadrilateral with a pair of parallel sides • Could a parallelogram be a trapezoid according to this diagram? • Write quantified statements based on this diagram
Negating a Quantified Statement • Useful in proofs • Prove the contrapositive • Prove a statement false • Negation patterns for quantified statements
Try It Out • Negate these statements • Every rectangle is a square • Triangle XYZ is isosceles, or a pentagon is a five-sided plane figure • For every shape A, there is a circle D such that D surrounds A • Playfair’s Postulate: Given any line l, there is exactly one line m through P that is parallel to l (see page 41)
Congruence Criteria for Triangles • SAS: If two sides and the included angle of one triangle are congruent to two sides and the included angle of another triangle, then the two triangles are congruent. • We will accept this axiom without proof
Angle-Side-Angle Congruence • State the Angle-Side-Angle criterion for triangle congruence (don’t look in the book) • ASA: If two angles and the included side of one triangle are congruent respectively to two angles and the included angle of another triangle, then the two triangles are congruent
Angle-Side-Angle Congruence • Proof • Use negation • Justify the steps in the proof on next slide
ASA • Assume ABDE
Orthocenter • Recall Activity 1 • Theorem 2.4 The altitudes of a triangleare concurrent
Centroid • A median : the line segment from the vertex to the midpoint of the opposite side • Recall Activity 2
Centroid • Theorem 2.5 The three medians of a triangle are concurrent • Proof • Given ABC, medians ADand BE intersect at G • Now consider midpointof AB, point F
Centroid • Draw lines EX and FY parallel to AD • List the pairs ofsimilar triangles • List congruent segments on side CB • Why is G two-thirds of the way along median BE?
Centroid • Now draw medianCF, intersectingBE at G’ • Draw parallels asbefore • Note similar triangles and the fact that G’ is two-thirds the way along BE • Thus G’ = G and all three medians concurrent
Incenter • Consider the angle bisectors • Recall Activity 3 • Theorem 2.6The angle bisectors of a triangle are concurrent
Incenter Proof • Consider angle bisectors for angles A and B with intersection point I • Constructperpendicularsto W, X, Y • What congruenttriangles do you see? • How are the perpendiculars related?
Incenter • Now draw CI • Why must it bisect angle C? • Thus point I is concurrent to all three anglebisectors
Incenter • Point of concurrency called “incenter” • Length of all three perpendiculars is equal • Circle center at I, radius equal to perpendicular is incircle
Circumcenter • Recall Activity 4 • Theorem 2.7The three perpendicular bisectors of the sides of a triangle are concurrent. • Point of concurrency called circumcenter • Proof left as an exercise!
Euler Line • What conclusion did you draw from Activity 9?
Euler Line Proof • Find line through two of the points • Show third point also on the line
Euler Line • Given OG throughcircumcenter, Oand centroid, G • Consider X onOG with G between O and X • Recall G is 2/3 of dist from A to D • What similar triangles now exist? • Parallel lines? • Now G is 2/3 dist from X to O
Euler Line • X is on altitudefrom A • Repeat argumentfor altitudes fromC and B • So X the same point on those altitudes • Distinct non parallel lines intersect at a unique point
Preview of Coming Attractions Circle Geometry • How many points to determine a circle? • Given two points … how many circles can be drawn through those two points
Preview of Coming Attractions • Given 3 noncolinear points … how many distinct circles can be drawn through these points? • How is the construction done? • This circle is the circumcircle of triangle ABC
Preview of Coming Attractions • What about four points? • What does it take to guarantee a circle that contains all four points?
Nine-Point Circle (First Look) • Recall the orthocenter, where altitudes meet • Note feet of the altitudes • Vertices for the pedaltriangle • Circumcircle of pedal triangle • Passes through feet of altitudes • Passes through midpoints of sides of ABC • Also some other interesting points … try it
Nine-Point Circle (First Look) • Identify the different lines and points • Check lengths of diameters
Ceva’s Theorem • A Cevian is a line segment fromthe vertex of a triangle to a pointon the opposite side • Name examples of Cevians • Ceva’s theorem for triangle ABC • Given Cevians AX, BY, and CZ concurrent • Then