EMAT 6680 :: Clay Kitchings :: Final Write Up :: Bouncing Barney

 

Problem: Bouncing Barney

 

Barney is in the triangular room shown here. He walks from a point on BC parallel to AC. When he reaches AB, he turns and walks parallel to BC. When he reaches AC, he turns and walks parallel to AB. Prove that Barney will eventually return to his starting point. How many times will Barney reach a wall before returning to his starting point? Explore and discuss for various starting points on line BC, including points exterior to segment BC. Discuss and prove any mathematical conjectures you find in the situation.

 

Preliminary Drawing: BarneyŐs starting point is point D. We shall assume he completes his path at a point DŐ, such that .

 

 

 

Let us assume that , which is equivalent in this figure to assuming .  We shall also assume that the common, color-coded paths are parallel (the blue sides will be proven parallel). That is:

 

HD || FK || AC            FE || HG || BK

 

**Note: Any reference to DŐ shall the assumption that  unless otherwise noted***

Note #2: It could also be proven with the assumption that DŐ – D = 0 and showing a contradiction.

 

Construct Segment ED.  We need to show that quadrilateral FEDB is a parallelogram because we would like to have FB || ED.

We have an enormity of similar triangles, some congruent triangles, and some parallelograms in our figure. We will locate and identify some congruent triangles and parallelograms.

 

Let us start with some parallelograms we already know exist:

The following are parallelograms because they have parallel, opposite sides by definition of BarneyŐs path (two of which are shown above):

 

FECK, FEGP, PGCK, HGCD, HBKG, AGKF, and HPKD

 

From these parallelograms, we derive the following congruent segments (opposite sides of a parallelogram are congruent):

 

FE = PG = KC                         HD = PK = GC               HB = GK = AF

 

We can now show that  by AAS:

Why?

á      m(BHD) = m(KGC) and m(HBD) = m(GKC) by the corresponding angles property (due to parallel lines and transversals)

á      HB = GK by equality statements above

á      We have AAS.

 

We know triangle FAE ~ triangle BAC by AA similarity

Why?

á      Both share <A, and m<(AFE) = m<(HBD) by corresponding angles (from the parallel lines and transversal)

á      This implies m<(FAE) = m(BHD)

 

 

Now we can write: .

Why?

á      AF = HB

á      m<(AFE) = m<(HBD)

á      m<(FAE) = m(BHD)

á      Use ASA triangle congruence theorem

 

Now, by CPCTC, we have FE = BD, and FE || BD by definition of BarneyŐs path.  This implies FEDB is a parallelogram. Why? A quadrilateral is a parallelogram if it has one pair of opposite sides that are both congruent and parallel.

 

Let us return to the original assumption that DŐ is a distinct point from D. By assumption, Barney is traveling a parallel path to AB from point E (to point EDŐ).  This implies AEDŐB is also a parallelogram.

 

Now, let us consider our assumption that .

 

We know that Barney must travel from point E parallel to AB according to the definition of his path traveled. Now, we have already verified that FEDB is a parallelogram. This means that m(FED) = m(FBD), and since FEDŐB is a parallelogram, m(FEDŐ)=m(FBD) since opposite angles of parallelograms are congruent.  This implies:

 

**m(FED) – m(FBD) = 0                 and             m(FEDŐ) – m(FBD) = 0

 

We know from angle sums: m(FEDŐ) = m(FED) + m(DEDŐ)

 

Now substitute the highlighted (yellow) parts to obtain:

 

m(FED) + m(DEDŐ) – m(FBD) = m(FED) – m(FBD) + m(DEDŐ) = 0

 

 

However, we know from ** that m(FED) – m(FBD) = 0, and weŐve assumed that m(DEDŐ) > 0.  Therefore we now have:

                                                                                                 

0 + m(DEDŐ) = 0

 

This isnŐt possible because m(DEDŐ) > 0, so we have a contradiction. Therefore our original assumption that m(DEDŐ) > 0 was invalid. Thus, D=DŐ and Barney ends his journey exactly where he started it!!!!!