G S Rehill's Interactive Maths Software Series - "Building a Strong Foundation in Mathematics" from mathsteacher.com.au.

Order a 12-month Year 7 Interactive Maths software Homework Licence for only $19.95. Order a 12-month Year 8 Interactive Maths software Homework Licence for only $19.95. Order a 12-month Year 9 Interactive Maths software Homework Licence for only $19.95. Order a 12-month Year 10 Interactive Maths software Homework Licence for only $19.95.

Year 10 Interactive Maths - Second Edition


Deductive Geometry

Axioms

An axiom is a statement that is simply accepted as being true.  We have accepted the following statements as facts:


1.  Alternate angles are equal.  That is:

aº = bº


A transversal cuts two parallel lines.  The two angles of size a degrees and b degrees and alternate angles and are equal.


2.  Corresponding angles are equal.  That is:

bº = cº

 

 


A transversal cuts two parallel lines.  The two angles of size b degrees and c degrees and corresponding angles and are equal.


3.  The sum of adjacent angles forming a
     straight line is equal to 180º.  That is:

aº + bº = 180º

 

The two angles of size a degrees and b degrees form a straight line and so their sum is 180 degrees.

In deductive geometry, we do not accept any other geometrical statement as being true unless it can be proved (or deduced) from the axioms.

A statement that is proved by a sequence of logical steps is called a theorem.

To prove a theorem we start by using one or more of the axioms in a particular situation to get some true statements.  We then have to apply logical reasoning to these statements to produce new statements that are true.  The proof ends when we arrive at the statement of the theorem.


Properties of Equality

The relation of equality has the following properties. We will use these properties in the proofs of some theorems.

1.  Transitive Property

If a = b and b = c, then a = c.

2.  Substitution Property

If a statement about a is true and a = b, then the statement formed by replacing a with b (throughout) is also true.

E.g. If the statement a + c = 180 is true and a is equal to b, then the statement b + c = 180 is also true.


Deductive Proofs of Theorems

To prove a theorem, draw a diagram.  Write related statements and give the reasons for each (i.e. state the axioms used).  Then use the transitive property and/or one of the other properties of equality.

Angle Sum of a Triangle

Theorem 1

Prove that the angle sum of a triangle is 180º.

Proof:
Consider any triangle ABC in which the angles are aº, bº and cº.  Draw a line through A parallel to BC.

Triangle ABC has angles of size a degrees, b degrees and c degrees with the line PAQ passing through vertex A and parallel to side BC of the triangle.

Therefore, angle PAB = b degrees and angle QAC = c degrees     {Alternate angles}.  Now angle PAB + angle BAC + angle QAC = 180 degrees     {Angle sum of a straight line}.  So, a degrees + b degrees + c degrees = 180 degrees.  Hence, the angle sum of a triangle is 180 degrees.

Further theorems can now be deduced by using this theorem together with the axioms.  This is how the body of knowledge is increased using the deductive method.


The Exterior Angle of a Triangle

Theorem 2

Prove that the exterior angle of a triangle is equal to the sum of the interior opposite angles.

Proof:

Consider any triangle ABC in which the angles are aº, bº and cº.  Extend the line BC to the point D.

Triangle ABC with angles a degrees, b degrees and c degrees with the line BC extended to point D.

By the angle sum of a triangle, a degrees + b degrees + c degrees = 180 degrees.  So, a degrees + b degrees = 180 degrees - c degrees     {Subtract c from both sides}     By the angle sum of a straight line, angle ACD = 180 degrees - c degrees.  Therefore, angle ACD = a degrees + b degrees.         

Hence the exterior angle of a triangle is equal to the sum of the interior opposite angles.


Applying Properties of Angles in Triangles

The theorems we have proved can be used to prove other theorems.  They can also be used to find the values of the pronumerals in a problem.

Example 3

Find the values of the pronumerals x and y in the following diagram.

Triangle ABC is an isosceles triangle with base angles x degrees and 40 degrees and a third angle of y degrees.

Solution:

In triangle ABC, AB = AC so x = 40   {Base angles of an isosceles triangle}

Also, x + 40 + y = 180     {As angle sum of a triangle is 180 degrees}.  Substitute x = 40 to find y = 100.  So, x = 40, y = 100.


Key Terms

deductive geometry, axiom, theorem, equality, properties of equality, transitive property, substitution property, deductive proofs of theorems, angle sum of a triangle, exterior angle of a triangle


| Home Page | Order Maths Software | About the Series | Maths Software Tutorials |
| Year 7 Maths Software | Year 8 Maths Software | Year 9 Maths Software | Year 10 Maths Software |
| Homework Software | Tutor Software | Maths Software Platform | Trial Maths Software |
| Feedback | About mathsteacher.com.au | Terms and Conditions | Our Policies | Links | Contact |

Copyright © 2000-2022 mathsteacher.com Pty Ltd.  All rights reserved.
Australian Business Number 53 056 217 611

Copyright instructions for educational institutions

Please read the Terms and Conditions of Use of this Website and our Privacy and Other Policies.
If you experience difficulties when using this Website, tell us through the feedback form or by phoning the contact telephone number.