<< Chapter < Page Chapter >> Page >

Proofs and conjectures in geometry

You have seen how to use geometry and the properties of polygons to help you find unknown lengths and angles in various quadrilaterals and polygons. We will now extend this work to proving some of the properties and to solving riders. A conjecture is the mathematicians way of saying I believe that this is true, but I have no proof. The following worked examples will help make this clearer.

Given quadrilateral ABCD, with A B C D and A D B C , prove that B A ^ D = B C ^ A and A B ^ C = A D ^ C .

  1. We draw the following diagram and construct the diagonals.
  2. Given: A B C D and A D B C . We need to prove A = C and B = D . In the formal language of maths we say that we are required to prove (RTP) B A ^ D = B C ^ A and A B ^ C = A D ^ C .
  3. B A ^ C = A C ^ D ( corresponding angles ) D A ^ C = B C ^ A ( corresponding angles ) B A ^ D = B C ^ A
    Similarly we find that:
    A B ^ C = A D ^ C

In parallelogram ABCD, the bisectors of the angles (AW, BX, CY and DZ) have been constructed:

You are also given that AB = CD , AD = BC , AB CD , AD BC , A ^ = C ^ , and B ^ = D ^ . Prove that MNOP is a parallelogram.

  1. Given: AB = CD , AD = BC , AB CD , AD BC , A ^ = C ^ , and B ^ = D ^ . RTP: MNOP is a parallelogram.
  2. In ADW and CBY D A ^ W = B C ^ Y ( given ) A D ^ C = A B ^ C ( given ) AD = BC (given) ADW = CBY (AAS) DW = BY
    In ABX and CDZ D C ^ Z = B A ^ X ( given ) Z D ^ C = X B ^ A ( given ) DC = AB (given) ABX CDZ (AAS) AX = CZ
    In XAM and ZCO X A ^ M = Z C ^ O ( given ) A X ^ M = C Z ^ O ( proven above ) AX = CZ (proven above) XAM COZ (AAS) A O ^ C = A M ^ X
    A M ^ X = P M ^ N (vert. opp. ∠'s) C O ^ Z = N O ^ P (vert. opp. ∠'s) P M ^ N = N O ^ P
    In BYN and DWP Y B ^ N = W D ^ P ( given ) B Y ^ N = W D ^ P ( proven above ) DW = BY (proven above) YBN WDP (AAS) B N ^ Y = D P ^ W
    D P ^ W = M P ^ O (vert. opp. ∠'s) B N ^ Y = O N ^ M (vert. opp. ∠'s) M P ^ O = O N ^ M

    MNOP is a parallelogram (both pairs opp. 's = , and therefore both pairs opp. sides parallel too)

It is very important to note that a single counter example disproves a conjecture. Also numerous specific supporting examples do not prove a conjecture.

Get Jobilize Job Search Mobile App in your pocket Now!

Get it on Google Play Download on the App Store Now




Source:  OpenStax, Maths grade 10 rought draft. OpenStax CNX. Sep 29, 2011 Download for free at http://cnx.org/content/col11363/1.1
Google Play and the Google Play logo are trademarks of Google Inc.

Notification Switch

Would you like to follow the 'Maths grade 10 rought draft' conversation and receive update notifications?

Ask