* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download pdf - UMD Math
Survey
Document related concepts
Multilateration wikipedia , lookup
Problem of Apollonius wikipedia , lookup
Duality (projective geometry) wikipedia , lookup
Line (geometry) wikipedia , lookup
Riemann–Roch theorem wikipedia , lookup
Noether's theorem wikipedia , lookup
Brouwer fixed-point theorem wikipedia , lookup
Four color theorem wikipedia , lookup
Euler angles wikipedia , lookup
Rational trigonometry wikipedia , lookup
Trigonometric functions wikipedia , lookup
Area of a circle wikipedia , lookup
Integer triangle wikipedia , lookup
Euclidean geometry wikipedia , lookup
Transcript
Review of Basic Plane Geometry We recall some of the most important results of Euclidean plane geometry. Our treatment of course is very incomplete. Two ”things” in the plane are congruent if they have the same ”shape”. This is formalized in our first definition: Definition 0.1. Two plane objects are congruent if they can be transformed into each other using a finite sequence of rigid motions: translations, rotations and reflections. 1 Angles and Lines Lines are denoted by either a lowercase letter ”a”, one capital script letter ”A”, or using two distinct points ”AB”. According to our definition of congurency two lines are always congruent. \ or DBA. \ Angles are Angles are denoted by an ordered triplet of points: ABD Π \ = 60◦ = . Two angles are congruent if they measured by degrees or radians: m(ABD) 3 \≡F \ \ = m(F \ have the same measure (ABD BH because m(ABD) BH)). On the diagram above AC k BD, hence certain angles are congruent: \ \ (vertical angles) F BH ≡ ABD [ ≡ ABD \ (alternate interior angles) EAB [ ≡ ABD \ (corresponding angles) GAC \ [ (alternate exterior angles) F BH ≡ GAC 1 2 Segments Segments are denoted by: [AB] (closed segment) (AB] (half open segment) (AB) (open segment) We use absolute value | · | to denote the length of segments. Two segments are congruent if they have the same length: [AB] ≡ [CD] if |AB| = |CD|. 3 Triangles Triangles are denoted using an ordered triplet of points: ABC4 . In the above diagramm ABC4 is congruent to EF G4 if one of the following holds: (A.S.A): [AC] ≡ [F G] [ ≡ EF [ BAC G [ [ BCA ≡ EGF (S.A.S): [AB] ≡ [EF ] [BC] ≡ [EG] [ ≡ F[ ABC EG (S.S.S.): [AB] ≡ [EF ] [BC] ≡ [EG] [AC] ≡ [F G] b + m(B) b + m(C) b = 180◦ Theorem 3.1. Given a triangle ABC∆ , we have m(A) 2 [ ≡ EAB [ and ACB [ ≡ CAF [ because they Proof. Let EF k BC s.t. A ∈ EF . Then ABC are alternate interior angles. As complementary angles add up to 180◦ we have: [ + m(BAC) [ + m(CAF [ ) = 180◦ . m(EAB) Putting our findings together it follows that: [ + m(BAC) [ + m(ACB) [ = 180◦ m(ABC) 3.1 ”Solving” a triangle As follows from the congruency criterions, given three different measurements in a triangle one has enough information to find out all sides and angles. The following results can be used in carrying out this process: Theorem 3.2. (Cosine theorem) Given a triangle ABC∆ we have [ |BC|2 = |AB|2 + |AC|2 − 2|AB||AC| cos(BAC). Theorem 3.3. (Sine theorem) Given a triangle ABC∆ we have |AC| |AB| |BC| = = = 2R, b b b sin(A) sin(B) sin(C) R is the radius of circumscribed circle (see below). 3.2 Special lines in a triangle There are many different constructions that find a special point or line associated with a triangle, satisfying some unique property. Here we mention some of the most important. 3.2.1 Medians Figure 1: The intersection of the medians is the centroid (G) 3 3.2.2 Altitudes Figure 2: The intersection of the altitudes is the orthocenter (H) 3.2.3 Angle bisectors Figure 3: The intersection of the angle bisectors is in-center (O) 3.2.4 Perpendicular bisectors Figure 4: The intersection of the perpendicular bisectors is the circumcenter (O) 4 3.3 Quantities associated with triangles Unlike segments and angles, triangles don’t have a measure. But we can associate different quantities to arbitrary triangles. Figure 5: AM is an altitude The perimeter of ABC4 is computed as PABC∆ = |AB| + |BC| + |CA|. There are multiple formulas for the area: AreaABC4 = where p = 3.4 3.4.1 p [ |AB||AC| sin(BAC) |BC||AM | = = p(p − |AB|)(p − |AC|)(p − |BC|), 2 2 PABC∆ 2 is the half-perimeter. Special triangles Right triangles [ = 90◦ Figure 6: m(ABC) Trigonometry is helpful in solving a right triangle: b = cos(A) |AB| b = |BC| , tan(A) b = |BC| . , sin(A) |AC| |AC| |AB| The following consequence of the cosine theorem should be familiar: 5 [ = 90◦ Theorem 3.4. (Pythagorean theorem) Given a triangle ABC∆ we have m(ABC) if and only if: |AC|2 = |AB|2 + |BC|2 . 3.4.2 Isosceles triangles Figure 7: |AB| = |BC| Theorem 3.5. Given a triangle ABC∆ we have |AB| = |AC| if and only if: [ ≡ ACB. [ ABC Before we give the proof of this result (following Euclid), we mention a basic technique that will be used a lot. To conclude that two angles (or segments) are congruent, most of the time it is easier to conclude that two triangles containing these angles (or segments) are congruent. Proof. Suppose that |AB| = |AC|. With the above advice in our pocket we prove first that ABC∆ and ACB∆ are congruent triangles (note the importance of ordered [ ≡ CAB [ and [AC] ≡ [AB]. vertices!). This follows from (SAS) as [AB] ≡ [AC], BAC [ ≡ ACB, [ finishing one direction. As ABC∆ ≡ ACB∆ , it follows that ABC [ ≡ ACB [ and we want to prove that For the other direction, we assume that ABC |AB| = |AC|. By the same analogy as above, this will follow if we prove that ABC∆ ≡ [ ≡ ACB, [ |BC| = |BC| ACB∆ . But these triangles are congruent using (ASA) now: ABC [ ≡ ABC. [ and ACB As illustrated in the above figure, in an isosceles triangle ABC∆ we have the following equivalences: [AA0 ] is a median ⇔ [AA0 ] is a bisector ⇔ [AA0 ] is an altitude ⇔ [AA0 ] is a perp. bisector 6 3.4.3 Equilateral triangles Figure 8: |AB| = |BC| = |AC| [ = m(DAC) \ = m(ACB) [ = 60◦ . There is a In an equilateral triangle we have m(ABC) √ |AB|2 3 special formula for the area: AreaABC∆ = . 4 3.5 Similarity Two things are similar if they are ”proportional”. This is formalized in the next definition: Definition 3.6. Two plane objects are similar if they coincide after applying a sequence of translations, rotations, reflections, homotheties (zoom in and zoom out). 0 0 Triangles ABC4 and A0 B 0 C4 are similar (ABC4 ≈ A0 B 0 C4 ) if one of the following holds b≡A b0 (A.A.A): A b≡B c0 B b c0 ) (C ≡ C b≡A b0 (S.A.S): A |AB| |AC| ≡ |A 0C0| |A0 B 0 | (S.S.S): |AB| |A0 B 0 | ≡ |AC| |A0 C 0 | ≡ |BC| |B 0 C 0 | 7 Theorem 3.7. (Thales’ theorem) Given a triangle ABC4 with M ∈ (AB), N ∈ (AC) we have |AN | |AM | = . M N k BC ⇔ |AB| |AC| |AB| |A0 B 0 | is called the simi- |AB| , |A0 B 0 | then AreaABC4 = 0 , the quantity α = Given similar triangles ABC4 ≈ A0 B 0 C4 larity ratio. 0 Theorem 3.8. If ABC4 ≈ A0 B 0 C4 with similarity ratio α = 2 AreaA0 B 0 C40 · α . 4 Circles A circle, is the set of points in the plane that is equidistant from a fixed point. Two circles are congruent if their radius is equal. We denote a circle with center O and radius r by C(O, r). The circumference of such circle is 2πr and its area is πr2 . 8 4.1 Angles and circles 0 C) [ = m(BA \ Inscribed angles corresponding to the same arc are congruent: m(BAC) The measure of an inscribed angle is half the measure of the corresponding interior angle: \ = 2m(BAC). [ m(BOC) 9 4.2 Tangent to a circle Given a point A on the circle C(O, |OA|), the line AB is tangent to C(O, |OA|) if C(O, |OA|) ∩ AB = {A}. Whether a segment is tangent to a circle can be decided rather easily according to out next theorem: Theorem 4.1. Suppose A is a point on the circle C(O, |OA|). Then AB is tangent to C(O, |OA|) if and only if AB is perpendicular to OA (notation: AB ⊥ OA). 5 Problems Problem 1 (angle bisector theorem). Let ABC4 triangle, A0 ∈ (BC) such that AA0 is an angle bisector. Prove that |AB| |BA0 | = . 0 |CA | |AC| Hint. Use the sine theorem to find a formula for the ratios trig identities to finish the argument. |BA0 | |CA0 | , |AC| . |AB| Now use basic When trying to prove that three lines are concurrent there is only on ”strategy”. Pick two lines and show that the their intersection point is on the third line. Problem 2 (perpendicular bisectors are concurrent). Let ABC∆ a triangle. Show that the perpendicular bisectors are concurrent. Also argue that the intersection point of the angle bisectors is the center of the circumscribed circle. 10 Solution. Let B 0 O and A0 O be perpendicular bisectors of AC and BC in the above figure. Let C 0 be the midpoint of [AB]. To conclude that O is on the perpendicular bisector of AB we have to show that OC 0 is perpendicular to AB. We first show that |OA| = |OC|. This is true because OB 0 A∆ ≡ OB 0 C∆ (A.S.A. 0 A) = m(OB 0 C) = 90o , |AB 0 | = |B 0 C|). \ \ |OB 0 | = |OB 0 |, m(OB One can similarly conclude that |OB| = |OC| (because OA0 B∆ ≡ OA0 C∆ A.S.A.). We have proved that |OB| = |OC| = |OA|. This implies that OAB∆ is an isosceles triangle. OC 0 is a median, but in an isosceles triangle the median of the base is also an altitude, and this concludes that OC 0 ⊥ AB. From |OB| = |OC| = |OA| it follows that the points A,B,C are on the circle C(O, |OA|). Problem 3 (altitudes are concurrent). Let ABC∆ a triangle. Show that the altitudes are concurrent. Solution. We take up the altitudes AA0 , BB 0 , CC 0 according to the figure above. Also the points P, Q, R are constructed so that P R k AC, RQ k BC, AB k P Q and A ∈ (RQ), B ∈ (P R), C ∈ (P Q). Now CBRA is a parallelogram because BC k RA and P R k AC. As in parallelogram the sides facing eachother are congruent we have |BC| = |RA|. One can similarly conclude that |BC| = |AQ| (CBAQ is a parallelogram). Hence |RA| = |AQ|, which implies that AA0 is the perpendicular bisector of [RQ]. The same reasoning implies that BB 0 , CC 0 is the perpendicular bisector of [RP ], [P Q] respectively. By the previous problem AA0 , BB 0 , CC 0 are concurrent, and their intersection is the circum-center of P RQ∆ . 11