Math8b 2019 01 20 File1
Math8b 2019 01 20 File1
Math8b 2019 01 20 File1
A B C E
−→ −→
Example 2. Given angle ∠AOB and ray CD, one can construct an angle around CD that is congruent to
∠AOB.
−→
Construction. First construct point X on CD such that CX ∼
= OA. Then, construct a circle of radius OB
centered at C and a circle of radius AB centered at X. Let Y be the intersection of these circles; then
4XCY ∼ = 4AOB by SSS and hence ∠XCY ∼ = ∠AOB.
B Y
O A C X
2. Perpendicualr Bisector
Consider any property of points on the plane — for example, the property that a point P is a distance
exactly r from a given point O. The set of all points P for which this property holds true is called the locus
of points satisfying this property. As we have seen above, the locus of points that are a distance r from a
point O is called a circle (specifically, a circle of radius r centered at O).
Now consider we are given two points A, B. If a point P is an equal distance from A, B (i.e., if P A ∼
= P B)
then we say P is equidistant from points A, B.
Theorem 14. The locus of points equidistant from a pair of points A, B is a line l which perpendicular to
AB and goes through the midpoint of AB. This line is called the perpendicular bisector of AB.
Proof. Let M be the midpoint of AB, and let l be the line through M
which is perpendicular to AB (such a line exists and is unique — prove it!).
We need to prove that for any point P , P
(AP ∼
= BP ) ⇐⇒ P ∈ l
1. Assume that AP ∼ = BP . Then triangle AP B is isosceles; by Theo-
rem 10 from last week, it implies that P M ⊥ AB. Thus, P M must
coincide with l, i.e. P ∈ l. Therefore, we have proved implication
one way: if AP ∼= BP , then P ∈ l.
2. Conversley, assume P ∈ l. Then m∠AM P = m∠BM P = 90◦ ; thus,
triangles 4AM P and 4BM P are congruent by SAS, and therefore A M B
∼
AP = BP .
The notion of a geometric locus can be used to produce fascinating figures and objects; some of the most
famous of these are known collectively as the conic sections (circle, ellipse, parabola, hyperbola, pair of
lines.).
A B
5. Let 4ABC be a right triangle with right angle ∠A, and let D be the midpoint of BC. Prove that
AD = 12 BC.
6. Let l1 , l2 be the perpendicular bisectors of side AB and BC respectively of 4ABC, and let F be the
intersection point of l1 and l2 . Prove that then F also lies on the perpendicular bisector of the side
BC. [Hint: use Theorem 14.]
7. Prove Theorem 15.
8. Let the angle bisectors from B and C in the triangle 4ABC intersect each other at point F . Prove
←→
that AF is the third angle bisector of 4ABC. [Hint: use Theorem 15]
9. Let 4ABC be isosceles with AB ∼ = AC. Let the altitudes from B and C intersect their opposite legs
at the points D and E respectively, and let BD, CE intersect at F .
(a) Prove ∠EBF ∼ = ∠DCF
(b) Prove 4DBC ∼ = 4ECB
(c) Prove 4DCF ∼ = 4EBF
(d) Prove 4AEF ∼ = 4ADF
←→
(e) Prove that AF is the third altitude of 4ABC.
10. Given line segments OA and OB and midpoint D of OA, prove that a point E on OB is the midpoint
of OB if and only if DE k AB.
B
O D A
11. Given triangle 4ABC, let D, E be the midpoints of sides AB, AC respectively. Prove that DE k BC
and DE = 12 BC. (The line segment DE is called the midline of the triangle from A.)