# arxiv: v1 [math.dg] 24 Apr 2014

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 Angle Bisectors of a Triangle in Lorentzian Plane arxiv: v1 [math.dg] 4 Apr 014 Joseph Cho August 5, 013 Abstract In Lorentzian geometry, limited definition of angles restricts the use of angle bisectors in study of triangles. This paper redefines angle bisectors so that they can be used to study attributes of triangles. Using the new definition, this paper investigates the existence of the incenter and the isogonal conjugate of a triangle in Lorentzian plane. 1 Introduction Plane geometry is one of the oldest branches of mathematics, and one of the basic studies in geometry involves triangles and their centers. The incenter is one of the classical triangle centers, discovered by the Greeks. The incenter is found by constructing the angle bisectors from each vertex and locating the intersection of the three bisectors. In fact, it can be proven that the three angle bisectors are concurrent, using Ceva s Theorem. In Euclidean plane, angles are well-defined through magnitude of Euclidean rotation, and angle bisectors are given an intuitive, natural definition. However, in Lorentzian plane, it is difficult to define a similar measure of angle for any two intersecting lines. Nevertheless, it can be shown that incircle exists for certain type of triangles. In this paper, we will give a definition of angle bisectors so that incenters can be found using similar methods from Euclidean plane. Furthermore, the angle bisectors are used to find other centers of any given triangle. One of these method involves finding the isogonal conjugate of any given triangle center. It follows that using the notion of angle bisectors in this paper, Lorentzian triangle centers also have an isogonal conjugate for certain types of triangles. Therefore, we will show that the new definition of angle bisectors can be used to show the existence of isogonal conjugates in Lorentzian plane. Euclidean angle bisector Bulk of the similarities between Euclidean and Lorentzian plane geometry comes from the fact that both geometries can be constructed through their respective 1

2 inner products. Therefore, a common technique for translating properties of Euclidean geometry into those of Lorentzian geometry involves stating Euclidean facts in terms of Euclidean inner product, then replacing the Euclidean inner product by Lorentzian inner product. Therefore, we will develop a necessary and sufficient condition for angle bisectors in terms of Euclidean inner product..1 Properties of Euclidean inner product First, we state few well-known facts about Euclidean inner product. Given two vectors a = (a 1, a ) and b = (b 1, b ), the Euclidean inner product is defined as From the definition, it follows that a b = a 1 b 1 + a b. Furthermore, a common yet useful property says that where θ is the angle between vectors a and b. a = a a (1) a b = a b cos θ (). Redefining Euclidean angle bisector Using equation (1), we may express angle bisectors in terms of Euclidean inner product. Proposition 1. Let a and b be any two non-zero vectors. Then w is an angle bisector of a and b if and only if a w = b w. (3) a a b b Proof. Let θ be the angle between a and w and ϕ between b and w. Note that (1) and () implies that (3) is equivalent to the equation cos θ = cos ϕ. However, since 0 θ, ϕ < π, and cosine function is injective on the interval, the above equation is equivalent to θ = ϕ. Therefore, (3) is equivalent to the fact that w is an angle bisector of a and b. The expression (3) in Proposition 1 comes from the fact that orthogonal projection of unit vectors onto the angle bisector are equal, as shown in Figure 1. Note that in the figure, α and β are unit vectors of a and b, respectively.

3 Figure 1: Geometrical representation of Proposition 1 3 Lorentzian angle bisector As mentioned above, bulk of the technique of studying Lorentzian plane geometry comes from expressing concepts of Euclidean geometry in terms of Euclidean inner product, then simply switching the inner product to that of Lorentzian plane. Therefore, we must define the Lorentzian inner product. Furthermore, to address the need for a convoluted definition of angle bisectors, we define angles in Lorentzian plane. 3.1 Lorentzian inner product and rotation Given two vectors a and b as above, the Lorentzian inner product between a and b is defined as a b = a1b1 ab, and the Lorentzian magnitude of a vector a given as a = a a. (4) Note that (5) is different from the Lorentzian length of a vector a, defined as a = a a. 3

4 Different from Euclidean distance, the squared Lorentzian distance may be positive, zero, or negative. We call non-zero vectors with positive, zero, or negative squared Lorentzian distance spacelike, lightlike, or timelike respectively. Such attribute of a Lorentzian vector is called the causal character. Since circles in Lorentzian plane is in the form of a Euclidean hyperbola, the rotation matrix takes the form of ( ) cosh ϕ sinh ϕ A[ϕ] =. (5) sinh ϕ cosh ϕ By the evenness of hyperbolic cosine function and oddness of hyperbolic sine function, ( ) (A[ϕ]) 1 cosh ϕ sinh ϕ = A[ ϕ] =. (6) sinh ϕ cosh ϕ One may immediately notice that given any two unit vectors, vectors with magnitude of one, the existence of a rotation taking one vector to another is not guaranteed. Therefore, the angle between two vectors is only defined when such a rotation exists between two vectors. Since the angle is not defined for any two vectors, the definition of angle bisectors applies to a very limited set. However, adopting the inner product approach of angle bisectors allows us to expand the scope of the definition. 3. Lorentzian angle bisector Using the inner product definition of Euclidean angle bisector, we may now define Lorentzian angle bisector. Definition. Let a and b be two non-zero vectors. If there is some vector w such that a w = b w a a b (7) b then we say w is the angle bisector of a and b. It should be noted that if α and β are unit vectors of a and b, respectively, then (7) may be rewritten as α w = β w. It is easy to see that if two vectors w 1 and w are both angle bisectors of a same pair of vector, then they are scalar multiples of each other. Also, note that the definition implies that the necessary condition for two vectors to have a angle bisector is to have the same causal character. Now, we will show that having the same causal character is also the sufficient condition. Proposition. Let a and b be two non-zero vectors sharing the same causal character. Let α and β be the unit vectors of a and b, respectively. Then α + β is an angle bisector of a and b. 4

5 Proof. Since a and b have the same causal character, it follows that α α = β β. By adding α β on both sides, we get α ( α + β) = β ( α + β) which can be rewritten as a ( α + β) = b ( α + β) a a b. b Corollary. Let a and b be two non-zero vectors sharing the same causal character and the same orientation. If w is an angle bisector of a and b, then w also have the same causal character and orientation. It follows easily that every angle bisector is a scalar multiple of the vector sum of the unit vectors as above. Hence, the angle bisector must be either timelike or spacelike since the sum of two vectors of same causal character cannot yield a lightlike vector. This fact is important in the sense that we are guaranteed to have an isometry involving reflection with respect to an angle bisector. The above definition comes directly from the inner product representation in the Euclidean case; however, it must agree with the natural definition of angle bisectors for vectors where angle may be defined. The next proposition will show that the above definition is equivalent to the intuitive definition for such vectors. Proposition 3. Let a and b be non-zero vectors with same causal character and same orientation, with unit vectors α and β, respectively. Then w is an angle bisector of a and b if and only if there is some rotation matrix A[ϕ] such that w = A[ϕ] α and β = A[ϕ] w. Proof. Without loss of generality, we may assume that w is a unit vector since all angle bisectors of a and b are scalar multiples of each other. Furthermore, the proposition is trivial if α = β. Therefore, we may assume that the two vectors are not scalar multiples of each other. First assume that w is an angle bisector of a and b. Since the two vectors have the same causal character and orientation, w also have the same orientation, guaranteeing the existence of rotation matrices A[ϕ 1 ] and A[ϕ ] such that Since α w = β w, (8) implies that w = A[ϕ 1 ] α and β = A[ϕ ] w. (8) (A[ ϕ 1 ] w A[ϕ ] w) w = 0. 5

6 Therefore, for some real s, A[ ϕ 1 ] w A[ϕ ] w = s(w, w 1 ) where w = (w 1, w ). By applying (5) and (6) and simplifying, we find that (cosh ϕ 1 cosh ϕ )w 1 (sinh ϕ 1 + sinh ϕ )w = sw (sinh ϕ 1 + sinh ϕ )w 1 + (cosh ϕ 1 cosh ϕ )w = sw 1, implying that cosh ϕ 1 = cosh ϕ. Since α and β are distinct, (8) implies that ϕ 1 = ϕ. On the other hand, assume that there exists a rotation matrix A[ϕ] such that w = A[ϕ] α and β = A[ϕ] w. Then, α w β w = (A[ ϕ] w A[ϕ] w) w. (9) By applying (6) and (7) and simplifying, A[ ϕ] w A[ϕ] w = sinh ϕ(w, w 1 ) where w = (w 1, w ). Hence, the expression (9) equals zero. 4 Preliminaries from Lorentzian plane geometry Before we proceed to prove more interesting results, we must first state few results from Lorentzian plane geometry. Note that from this point on, given a triangle ABC, a signifies the vector opposite of vertex A, and the direction is given so that a + b + c = 0. In Euclidean geometry, given two vectors a and b and an angle θ between the two vectors, () can be used so that sin θ = 1 a b ( a a)( b b). Therefore, we may define a Lorentzian version of squared trigonometric function, as follows: Sab a = 1 b ( a a)( b b). Now we may state the law of sines in Lorentzian case using the above notation. Theorem 1 (Lorentzian law of sines). Let ABC be a triangle without null edges. Then, Sbc a = S ca b = S ab c. (10) 6

7 Also, we need to state the Lorentzian version of Ceva s theorem and its converse, to be used in the proofs of existence of incenter and the isogonal conjugate. Theorem (Lorentzian Ceva s Theorem). Let ABC be a triangle without null edges. Let P be any point, and let D, E, and F, be the intersection between line AP and BC, BP and CA, and CP and AB, respectively. Then, AF BD F B DC CE = 1. (11) EA Theorem 3 (Converse to Ceva s Theorem). Let ABC be a triangle without null edges. If D, E, and F are points on line BC, CA, and AB, respectively, such that (11) holds, then lines AD, BE, and CF are concurrent. The proofs to the above theorems is exactly the same as the Euclidean counterpart using the area of a triangle, since the area of a Lorentzian triangle without null edges is also equal to one-half of base times height. Note that the segments in the above fraction have the same causal character pairwise. Therefore, (11) is equivalent to AF AF F B F B BD BD DC DC CE CE EA EA = AF BD F B DC CE = 1. (1) EA Since we primarily express attributes of Lorentzian triangle in terms of inner product, we will make use of (1) more frequently than (11). The notation for Ceva s theorem are illustrated in Figure. Figure : Illustration of Ceva s theorem where P is outside the triangle. 7

8 5 Incenter of a Lorentzian triangle In a Euclidean triangle, the incenter is located by finding the intersection of the three angle bisectors. The existence of angle bisectors was guaranteed for any triangle in Euclidean plane; therefore, the incenter always exist. However, in Lorentzian plane, the existence of angle bisector is conditional, namely, the two vectors associated must have the same causal character. Therefore, angle bisectors exist at every vertex of a triangle if and only if the triangle is a pure triangle, a triangle whose sides share a single causal character. In fact, one should notice that Lorentzian circles are either horizontal or vertical Euclidean hyperbolas. Therefore, all tangent lines to a given Lorentzian circle are either timelike or spacelike. It follows that for a triangle to have a Euclidean hyperbola that is tangent to every side, then the triangle must be a pure triangle. Thus, the above restriction from our definition of angle bisectors is justified, and we will assume from this point on that triangle ABC is a pure triangle unless otherwise stated. To prove that the angle bisectors are concurrent, we follow the proof in Euclidean case. The Euclidean case uses bisector theorem and applies Ceva s theorem to show that the concurrency of the angle bisectors. Hence, we must state and prove the bisector theorem for Lorentzian case. The notations of the theorem are illustrated in Figure 3. Figure 3: Lorentzian angle bisector of a triangle. Theorem 4 (Lorentzian bisector theorem). Given a triangle ABC, let D be on BC such that AD = w is an angle bisector of b and c. Then, b c = DC BD. (13) 8

9 Proof. Since w is an angle bisector of b and c, and squaring both sides tells us that b w c w b = b c c ( b w) ( b b)( w w) = ( c w) ( c c)( w w) where the absolute value is taken off since b and c have the same causal character. Hence, Sbw = Scw. (14) On the other hand, since BD and DC are scalar multiples of a, it can be easily checked that SDCb = Sab and SBDc = Sac. (15) Now, applications of law of sines to triangles ABD and ACD implies DC w = S bw SDCb and w BD = S BDc Scw. Therefore, by applying (14) and (15), DC BD = S bw SDCb S BDc Scw = S ac Sab = b c where the last inequality comes from applying law of sines to the triangle ABC. Now the concurrency of the angle bisectors follows from a direct application of bisector theorem and Ceva s theorem. Theorem 5 (Incenter of a pure triangle). Given a triangle ABC, let D, E, and F be on BC, CA, and AC such that AD, BE, and CF are angle bisectors, respectively. Then AD, BE, and CF are concurrent. Proof. Note that since AD, BE, and CF are angle bisectors, (13) implies that, (1) is equal to b a c b b c = 1. Therefore, by the converse of Ceva s theorem, AD, BE and CF are concurrent. It can be checked via simple calculation that the distances from the point of concurrency to the sides are all equal. However, the calculation is tedius and long, which can be done by a computer software. We leave the search a more elegant proof for future studies and accept that the point of concurrency found above is the incenter of the given triangle. Figure 4 depicts the angle bisectors and the incircle of triangle ABC. 9

10 Figure 4: Angle bisectors and incenter of a pure triangle. 6 Isogonal conjugate of a Lorentzian triangl ter A perhaps more complex application of angle bisectors is the concept of conjugacy. First we depict isogonal conjugacy in Euclidean plane through 5. Given a point P, we construct three cevians such that each line passes a vertex and the given point. If the cevians are reflected across their re angle bisectors, then the new cevians be concurrent at a point, P. Su called the isogonal conjugate of P. Note that in Figure 5, to each angle bi there are two cevians that are reflections across the angle bisector. We want to prove that isogonal conjugates also exist in Lorentzia geometry. However, the process of locating isogonal conjugate involves re across a line. In Lorentzian plane, reflections across a given line may not be precise, we cannot find an isometry that involves a reflection across a line. Nevertheless, as mentioned earlier, angle bisectors are either tim spacelike, allowing us to discuss reflections across angle bisectors. Note that following the terminology from Euclidean case, if two cev reflections of each other across an angle bisector, then we say that the cev isogonal. Again, since we need to make use of angle bisectors, we must

11 Figure 5: Isogonal conjugate P of P in Euclidean plane. Lemma. Given a triangle ABC, let D and E be on BC such that AD and AE are isogonals. Furthermore, let AF = w be the angle bisector of b and c. Then, BD DC BE = c 4 EC b. 4 Proof. Since AE is the angle bisector of b and c, c w = c c which can be rewritten as c c c AD AD b w Similarly, since AD and AE are isogonal, AD AE b b b b w = 0. (16) b AE w = 0. (17) AE 11

13 Figure 6: Pair of isogonal cevians AD and AE and the angle bisector AF. Now we may proceed to prove that isogonal conjugates exist in Lorentzian plane for pure triangles. The notations for the following theorem are represented in Figure 7. 13

14 Figure 7: Isogonal conjugate P of P in Lorentzian plane. Theorem 6 (Isogonal conjugate theorem). Let triangle ABC be given. Pick any point P such that the cevians can be drawn from each vertex onto the opposite side. Let D, E, and F be the intersections between BC and AP, CA and BP, AB and CP, respectively. If D, E, F are points on BC, CA, and AB such that AD and AD, AE and AE, AF and AF are isogonal respectively, then AD, AE and AF are concurrent. Proof. By the above lemma, BD DC implying that BD = c 4 D C BD DC BD b, CE 4 EA D C CE = a 4 E A CE EA CE E A c 4, and AF F B AF F B AF AF = 1. F B = F B However, since AD, BE, and CF are concurrent at point P, by Ceva s theorem, Therefore, BD DC CE EA BD CE D C E A AF = 1. F B AF = 1 F B and applying the converse of Ceva s theorem gives us the desired result. b 4 a 4 14

15 The point of concurrency of the new cevians is called the isogonal conjugate of the point P. Note that the triangle ABC and point P are identical in Figure 5 and Figure 7. Expectedly, it is evident that the angle bisectors and the reflected cevians are different, yet in each case the new cevians are concurrent. Now that we have proven the existence of isogonal conjugates, the existence of Lemoine point or symmedian point for pure triangles in Lorentzian plane follows immediately, since by definition, Lemoine point is the isogonal conjugate of centroid. 7 Conclusion In Lorentzian plane, discussion of angles is complicated by the fact that a rotation matrix might not exist for any given pair of unit vectors. In fact, if angles are defined using the Lorentzian rotation matrix, then every triangle will have at least one undefined angle. Therefore, it is difficult to utilze angle bisectors in discussing attributes of triangles in Lorentzian plane. However, by adopting a slightly modified definition of angle bisectors introduced in this article, one that extends the natural definition of angle bisectors where angles are defined, then we are able to analyze pure triangles using angle bisectors. Therefore, the discussion on existence of incenters and isogonal conjugates naturally follows, and similar to the Euclidean counterpart, existence of both elements is guaranteed for pure triangles. Also, the existence of Lemoine point follows directly as a result. The theory of isogonal conjugates have other interesting properties in that several well-known triangle centers are isogonal conjugates of each other. In Euclidean plane, the circumcenter and the orthocenter are a known example. Also the mittenpukt is defined as the symmedian point of the excentral triangle. Future studies can further develop the theory of isogonal conjugates by translating the facts such as above from Euclidean plane to the Lorentzian plane. References [1] Graciela S Birman and Katsumi Nomizu, Trigonometry in Lorentzian geometry. The American Mathematical Monthly. 91(9) (1984) [] H. S. Coxeter and Sammuel L. Greitzer, Geometry Revisited, The Mathematical Association of America, Washington D.C., [3] Clark Kimberling, Encyclopedia of Triangle Centers, evansville.edu/ck6/encyclopedia/etc.html, retrived [4] I. M. Yaglom, A Simple Non-Euclidean Geometry and Its Physical Basis, Springer-Verlag, New York, [5] Seong-Deog Yang, Lecture Notes on Lorentzian Geometry, pre-print. 15

### Solutions to Practice Problems

Higher Geometry Final Exam Tues Dec 11, 5-7:30 pm Practice Problems (1) Know the following definitions, statements of theorems, properties from the notes: congruent, triangle, quadrilateral, isosceles

dvanced Euclidean Geometry What is the center of a triangle? ut what if the triangle is not equilateral?? Circumcenter Equally far from the vertices? P P Points are on the perpendicular bisector of a line

### San Jose Math Circle April 25 - May 2, 2009 ANGLE BISECTORS

San Jose Math Circle April 25 - May 2, 2009 ANGLE BISECTORS Recall that the bisector of an angle is the ray that divides the angle into two congruent angles. The most important results about angle bisectors

### DEFINITIONS. Perpendicular Two lines are called perpendicular if they form a right angle.

DEFINITIONS Degree A degree is the 1 th part of a straight angle. 180 Right Angle A 90 angle is called a right angle. Perpendicular Two lines are called perpendicular if they form a right angle. Congruent

### THREE DIMENSIONAL GEOMETRY

Chapter 8 THREE DIMENSIONAL GEOMETRY 8.1 Introduction In this chapter we present a vector algebra approach to three dimensional geometry. The aim is to present standard properties of lines and planes,

### Cevians, Symmedians, and Excircles. MA 341 Topics in Geometry Lecture 16

Cevians, Symmedians, and Excircles MA 341 Topics in Geometry Lecture 16 Cevian A cevian is a line segment which joins a vertex of a triangle with a point on the opposite side (or its extension). B cevian

### 1.3. DOT PRODUCT 19. 6. If θ is the angle (between 0 and π) between two non-zero vectors u and v,

1.3. DOT PRODUCT 19 1.3 Dot Product 1.3.1 Definitions and Properties The dot product is the first way to multiply two vectors. The definition we will give below may appear arbitrary. But it is not. It

### Geometric Transformations

Geometric Transformations Definitions Def: f is a mapping (function) of a set A into a set B if for every element a of A there exists a unique element b of B that is paired with a; this pairing is denoted

### 5.3 The Cross Product in R 3

53 The Cross Product in R 3 Definition 531 Let u = [u 1, u 2, u 3 ] and v = [v 1, v 2, v 3 ] Then the vector given by [u 2 v 3 u 3 v 2, u 3 v 1 u 1 v 3, u 1 v 2 u 2 v 1 ] is called the cross product (or

### Incenter Circumcenter

TRIANGLE: Centers: Incenter Incenter is the center of the inscribed circle (incircle) of the triangle, it is the point of intersection of the angle bisectors of the triangle. The radius of incircle is

### 28 CHAPTER 1. VECTORS AND THE GEOMETRY OF SPACE. v x. u y v z u z v y u y u z. v y v z

28 CHAPTER 1. VECTORS AND THE GEOMETRY OF SPACE 1.4 Cross Product 1.4.1 Definitions The cross product is the second multiplication operation between vectors we will study. The goal behind the definition

PYTHAGOREAN TRIPLES KEITH CONRAD 1. Introduction A Pythagorean triple is a triple of positive integers (a, b, c) where a + b = c. Examples include (3, 4, 5), (5, 1, 13), and (8, 15, 17). Below is an ancient

### 4. How many integers between 2004 and 4002 are perfect squares?

5 is 0% of what number? What is the value of + 3 4 + 99 00? (alternating signs) 3 A frog is at the bottom of a well 0 feet deep It climbs up 3 feet every day, but slides back feet each night If it started

### SIMSON S THEOREM MARY RIEGEL

SIMSON S THEOREM MARY RIEGEL Abstract. This paper is a presentation and discussion of several proofs of Simson s Theorem. Simson s Theorem is a statement about a specific type of line as related to a given

### South Carolina College- and Career-Ready (SCCCR) Pre-Calculus

South Carolina College- and Career-Ready (SCCCR) Pre-Calculus Key Concepts Arithmetic with Polynomials and Rational Expressions PC.AAPR.2 PC.AAPR.3 PC.AAPR.4 PC.AAPR.5 PC.AAPR.6 PC.AAPR.7 Standards Know

### alternate interior angles

alternate interior angles two non-adjacent angles that lie on the opposite sides of a transversal between two lines that the transversal intersects (a description of the location of the angles); alternate

### Chapter 6 Notes: Circles

Chapter 6 Notes: Circles IMPORTANT TERMS AND DEFINITIONS A circle is the set of all points in a plane that are at a fixed distance from a given point known as the center of the circle. Any line segment

### Section 1.1. Introduction to R n

The Calculus of Functions of Several Variables Section. Introduction to R n Calculus is the study of functional relationships and how related quantities change with each other. In your first exposure to

### Trigonometric Functions and Triangles

Trigonometric Functions and Triangles Dr. Philippe B. Laval Kennesaw STate University August 27, 2010 Abstract This handout defines the trigonometric function of angles and discusses the relationship between

### 5.1 Midsegment Theorem and Coordinate Proof

5.1 Midsegment Theorem and Coordinate Proof Obj.: Use properties of midsegments and write coordinate proofs. Key Vocabulary Midsegment of a triangle - A midsegment of a triangle is a segment that connects

### Conjectures. Chapter 2. Chapter 3

Conjectures Chapter 2 C-1 Linear Pair Conjecture If two angles form a linear pair, then the measures of the angles add up to 180. (Lesson 2.5) C-2 Vertical Angles Conjecture If two angles are vertical

### Geometry of Vectors. 1 Cartesian Coordinates. Carlo Tomasi

Geometry of Vectors Carlo Tomasi This note explores the geometric meaning of norm, inner product, orthogonality, and projection for vectors. For vectors in three-dimensional space, we also examine the

### Chapters 6 and 7 Notes: Circles, Locus and Concurrence

Chapters 6 and 7 Notes: Circles, Locus and Concurrence IMPORTANT TERMS AND DEFINITIONS A circle is the set of all points in a plane that are at a fixed distance from a given point known as the center of

### 1 Symmetries of regular polyhedra

1230, notes 5 1 Symmetries of regular polyhedra Symmetry groups Recall: Group axioms: Suppose that (G, ) is a group and a, b, c are elements of G. Then (i) a b G (ii) (a b) c = a (b c) (iii) There is an

### Linear Algebra Notes for Marsden and Tromba Vector Calculus

Linear Algebra Notes for Marsden and Tromba Vector Calculus n-dimensional Euclidean Space and Matrices Definition of n space As was learned in Math b, a point in Euclidean three space can be thought of

### Figure 1.1 Vector A and Vector F

CHAPTER I VECTOR QUANTITIES Quantities are anything which can be measured, and stated with number. Quantities in physics are divided into two types; scalar and vector quantities. Scalar quantities have

### Conic Construction of a Triangle from the Feet of Its Angle Bisectors

onic onstruction of a Triangle from the Feet of Its ngle isectors Paul Yiu bstract. We study an extension of the problem of construction of a triangle from the feet of its internal angle bisectors. Given

### Three Lemmas in Geometry

Winter amp 2010 Three Lemmas in Geometry Yufei Zhao Three Lemmas in Geometry Yufei Zhao Massachusetts Institute of Technology yufei.zhao@gmail.com 1 iameter of incircle T Lemma 1. Let the incircle of triangle

### The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION GEOMETRY. Thursday, August 16, 2012 8:30 to 11:30 a.m.

GEOMETRY The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION GEOMETRY Thursday, August 16, 2012 8:30 to 11:30 a.m., only Student Name: School Name: Print your name and the name of your

### Lesson 18: Looking More Carefully at Parallel Lines

Student Outcomes Students learn to construct a line parallel to a given line through a point not on that line using a rotation by 180. They learn how to prove the alternate interior angles theorem using

### Name Period Right Triangles and Trigonometry Section 9.1 Similar right Triangles

Name Period CHAPTER 9 Right Triangles and Trigonometry Section 9.1 Similar right Triangles Objectives: Solve problems involving similar right triangles. Use a geometric mean to solve problems. Ex. 1 Use

### Factoring Patterns in the Gaussian Plane

Factoring Patterns in the Gaussian Plane Steve Phelps Introduction This paper describes discoveries made at the Park City Mathematics Institute, 00, as well as some proofs. Before the summer I understood

### ISOMETRIES OF R n KEITH CONRAD

ISOMETRIES OF R n KEITH CONRAD 1. Introduction An isometry of R n is a function h: R n R n that preserves the distance between vectors: h(v) h(w) = v w for all v and w in R n, where (x 1,..., x n ) = x

### INCIDENCE-BETWEENNESS GEOMETRY

INCIDENCE-BETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full

### Chapter 17. Orthogonal Matrices and Symmetries of Space

Chapter 17. Orthogonal Matrices and Symmetries of Space Take a random matrix, say 1 3 A = 4 5 6, 7 8 9 and compare the lengths of e 1 and Ae 1. The vector e 1 has length 1, while Ae 1 = (1, 4, 7) has length

### GEOMETRY CONCEPT MAP. Suggested Sequence:

CONCEPT MAP GEOMETRY August 2011 Suggested Sequence: 1. Tools of Geometry 2. Reasoning and Proof 3. Parallel and Perpendicular Lines 4. Congruent Triangles 5. Relationships Within Triangles 6. Polygons

### Lectures notes on orthogonal matrices (with exercises) 92.222 - Linear Algebra II - Spring 2004 by D. Klain

Lectures notes on orthogonal matrices (with exercises) 92.222 - Linear Algebra II - Spring 2004 by D. Klain 1. Orthogonal matrices and orthonormal sets An n n real-valued matrix A is said to be an orthogonal

### The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION GEOMETRY

GEOMETRY The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION GEOMETRY Wednesday, June 20, 2012 9:15 a.m. to 12:15 p.m., only Student Name: School Name: Print your name and the name

### Lesson 5-3: Concurrent Lines, Medians and Altitudes

Playing with bisectors Yesterday we learned some properties of perpendicular bisectors of the sides of triangles, and of triangle angle bisectors. Today we are going to use those skills to construct special

### x 2 + y 2 = 1 y 1 = x 2 + 2x y = x 2 + 2x + 1

Implicit Functions Defining Implicit Functions Up until now in this course, we have only talked about functions, which assign to every real number x in their domain exactly one real number f(x). The graphs

### ON THE SIMSON WALLACE THEOREM

South Bohemia Mathematical Letters Volume 21, (2013), No. 1, 59 66. ON THE SIMSON WALLACE THEOREM PAVEL PECH 1, EMIL SKŘÍŠOVSKÝ2 Abstract. The paper deals with the well-known Simson Wallace theorem and

### Classical theorems on hyperbolic triangles from a projective point of view

tmcs-szilasi 2012/3/1 0:14 page 175 #1 10/1 (2012), 175 181 Classical theorems on hyperbolic triangles from a projective point of view Zoltán Szilasi Abstract. Using the Cayley-Klein model of hyperbolic

### Thnkwell s Homeschool Precalculus Course Lesson Plan: 36 weeks

Thnkwell s Homeschool Precalculus Course Lesson Plan: 36 weeks Welcome to Thinkwell s Homeschool Precalculus! We re thrilled that you ve decided to make us part of your homeschool curriculum. This lesson

### Collinearity and concurrence

Collinearity and concurrence Po-Shen Loh 23 June 2008 1 Warm-up 1. Let I be the incenter of ABC. Let A be the midpoint of the arc BC of the circumcircle of ABC which does not contain A. Prove that the

### Solutions to old Exam 1 problems

Solutions to old Exam 1 problems Hi students! I am putting this old version of my review for the first midterm review, place and time to be announced. Check for updates on the web site as to which sections

### α = u v. In other words, Orthogonal Projection

Orthogonal Projection Given any nonzero vector v, it is possible to decompose an arbitrary vector u into a component that points in the direction of v and one that points in a direction orthogonal to v

### A linear combination is a sum of scalars times quantities. Such expressions arise quite frequently and have the form

Section 1.3 Matrix Products A linear combination is a sum of scalars times quantities. Such expressions arise quite frequently and have the form (scalar #1)(quantity #1) + (scalar #2)(quantity #2) +...

### MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS Systems of Equations and Matrices Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a

### Projective Geometry: A Short Introduction. Lecture Notes Edmond Boyer

Projective Geometry: A Short Introduction Lecture Notes Edmond Boyer Contents 1 Introduction 2 11 Objective 2 12 Historical Background 3 13 Bibliography 4 2 Projective Spaces 5 21 Definitions 5 22 Properties

### 1 Solution of Homework

Math 3181 Dr. Franz Rothe February 4, 2011 Name: 1 Solution of Homework 10 Problem 1.1 (Common tangents of two circles). How many common tangents do two circles have. Informally draw all different cases,

### Geometry Regents Review

Name: Class: Date: Geometry Regents Review Multiple Choice Identify the choice that best completes the statement or answers the question. 1. If MNP VWX and PM is the shortest side of MNP, what is the shortest

### Projective Geometry - Part 2

Projective Geometry - Part 2 Alexander Remorov alexanderrem@gmail.com Review Four collinear points A, B, C, D form a harmonic bundle (A, C; B, D) when CA : DA CB DB = 1. A pencil P (A, B, C, D) is the

### Linear Algebra: Vectors

A Linear Algebra: Vectors A Appendix A: LINEAR ALGEBRA: VECTORS TABLE OF CONTENTS Page A Motivation A 3 A2 Vectors A 3 A2 Notational Conventions A 4 A22 Visualization A 5 A23 Special Vectors A 5 A3 Vector

### v w is orthogonal to both v and w. the three vectors v, w and v w form a right-handed set of vectors.

3. Cross product Definition 3.1. Let v and w be two vectors in R 3. The cross product of v and w, denoted v w, is the vector defined as follows: the length of v w is the area of the parallelogram with

### Right Triangles 4 A = 144 A = 16 12 5 A = 64

Right Triangles If I looked at enough right triangles and experimented a little, I might eventually begin to notice a relationship developing if I were to construct squares formed by the legs of a right

### One advantage of this algebraic approach is that we can write down

. Vectors and the dot product A vector v in R 3 is an arrow. It has a direction and a length (aka the magnitude), but the position is not important. Given a coordinate axis, where the x-axis points out

### Quadrilateral Geometry. Varignon s Theorem I. Proof 10/21/2011 S C. MA 341 Topics in Geometry Lecture 19

Quadrilateral Geometry MA 341 Topics in Geometry Lecture 19 Varignon s Theorem I The quadrilateral formed by joining the midpoints of consecutive sides of any quadrilateral is a parallelogram. PQRS is

Chapter Additional Topics in Math In addition to the questions in Heart of Algebra, Problem Solving and Data Analysis, and Passport to Advanced Math, the SAT Math Test includes several questions that are

### Algebra and Geometry Review (61 topics, no due date)

Course Name: Math 112 Credit Exam LA Tech University Course Code: ALEKS Course: Trigonometry Instructor: Course Dates: Course Content: 159 topics Algebra and Geometry Review (61 topics, no due date) Properties

### Geometry. Relationships in Triangles. Unit 5. Name:

Geometry Unit 5 Relationships in Triangles Name: 1 Geometry Chapter 5 Relationships in Triangles ***In order to get full credit for your assignments they must me done on time and you must SHOW ALL WORK.

### The Use of Dynamic Geometry Software in the Teaching and Learning of Geometry through Transformations

The Use of Dynamic Geometry Software in the Teaching and Learning of Geometry through Transformations Dynamic geometry technology should be used to maximize student learning in geometry. Such technology

### Trigonometric Functions: The Unit Circle

Trigonometric Functions: The Unit Circle This chapter deals with the subject of trigonometry, which likely had its origins in the study of distances and angles by the ancient Greeks. The word trigonometry

### Analytical Geometry (4)

Analytical Geometry (4) Learning Outcomes and Assessment Standards Learning Outcome 3: Space, shape and measurement Assessment Standard As 3(c) and AS 3(a) The gradient and inclination of a straight line

### Contents. 2 Lines and Circles 3 2.1 Cartesian Coordinates... 3 2.2 Distance and Midpoint Formulas... 3 2.3 Lines... 3 2.4 Circles...

Contents Lines and Circles 3.1 Cartesian Coordinates.......................... 3. Distance and Midpoint Formulas.................... 3.3 Lines.................................. 3.4 Circles..................................

### Unified Lecture # 4 Vectors

Fall 2005 Unified Lecture # 4 Vectors These notes were written by J. Peraire as a review of vectors for Dynamics 16.07. They have been adapted for Unified Engineering by R. Radovitzky. References [1] Feynmann,

### MAT 1341: REVIEW II SANGHOON BAEK

MAT 1341: REVIEW II SANGHOON BAEK 1. Projections and Cross Product 1.1. Projections. Definition 1.1. Given a vector u, the rectangular (or perpendicular or orthogonal) components are two vectors u 1 and

### A note on the geometry of three circles

A note on the geometry of three circles R. Pacheco, F. Pinheiro and R. Portugal Departamento de Matemática, Universidade da Beira Interior, Rua Marquês d Ávila e Bolama, 6201-001, Covilhã - Portugal. email:

### Inner Product Spaces

Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and

### High School Geometry Test Sampler Math Common Core Sampler Test

High School Geometry Test Sampler Math Common Core Sampler Test Our High School Geometry sampler covers the twenty most common questions that we see targeted for this level. For complete tests and break

### Solving Simultaneous Equations and Matrices

Solving Simultaneous Equations and Matrices The following represents a systematic investigation for the steps used to solve two simultaneous linear equations in two unknowns. The motivation for considering

### 13.4 THE CROSS PRODUCT

710 Chapter Thirteen A FUNDAMENTAL TOOL: VECTORS 62. Use the following steps and the results of Problems 59 60 to show (without trigonometry) that the geometric and algebraic definitions of the dot product

### Ceva s Theorem. Ceva s Theorem. Ceva s Theorem 9/20/2011. MA 341 Topics in Geometry Lecture 11

MA 341 Topics in Geometry Lecture 11 The three lines containing the vertices A, B, and C of ABC and intersecting opposite sides at points L, M, and N, respectively, are concurrent if and only if 2 3 1

### x R 2 x = (x 1, x 2 ) or p = (x, y) R 3

Euclidean space 1 Chapter 1 Euclidean space A. The basic vector space We shall denote by R the field of real numbers. Then we shall use the Cartesian product R n = R R... R of ordered n-tuples of real

### Numerical Analysis Lecture Notes

Numerical Analysis Lecture Notes Peter J. Olver 5. Inner Products and Norms The norm of a vector is a measure of its size. Besides the familiar Euclidean norm based on the dot product, there are a number

### 6.1 Basic Right Triangle Trigonometry

6.1 Basic Right Triangle Trigonometry MEASURING ANGLES IN RADIANS First, let s introduce the units you will be using to measure angles, radians. A radian is a unit of measurement defined as the angle at

### discuss how to describe points, lines and planes in 3 space.

Chapter 2 3 Space: lines and planes In this chapter we discuss how to describe points, lines and planes in 3 space. introduce the language of vectors. discuss various matters concerning the relative position

### 88 CHAPTER 2. VECTOR FUNCTIONS. . First, we need to compute T (s). a By definition, r (s) T (s) = 1 a sin s a. sin s a, cos s a

88 CHAPTER. VECTOR FUNCTIONS.4 Curvature.4.1 Definitions and Examples The notion of curvature measures how sharply a curve bends. We would expect the curvature to be 0 for a straight line, to be very small

### www.pioneermathematics.com

Problems and Solutions: INMO-2012 1. Let ABCD be a quadrilateral inscribed in a circle. Suppose AB = 2+ 2 and AB subtends 135 at the centre of the circle. Find the maximum possible area of ABCD. Solution:

### Homework 2 Solutions

Homework Solutions 1. (a) Find the area of a regular heagon inscribed in a circle of radius 1. Then, find the area of a regular heagon circumscribed about a circle of radius 1. Use these calculations to

### MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS 1. SYSTEMS OF EQUATIONS AND MATRICES 1.1. Representation of a linear system. The general system of m equations in n unknowns can be written a 11 x 1 + a 12 x 2 +

### AP Physics - Vector Algrebra Tutorial

AP Physics - Vector Algrebra Tutorial Thomas Jefferson High School for Science and Technology AP Physics Team Summer 2013 1 CONTENTS CONTENTS Contents 1 Scalars and Vectors 3 2 Rectangular and Polar Form

### Triangle Centers MOP 2007, Black Group

Triangle Centers MOP 2007, Black Group Zachary Abel June 21, 2007 1 A Few Useful Centers 1.1 Symmedian / Lemmoine Point The Symmedian point K is defined as the isogonal conjugate of the centroid G. Problem

### Vectors Math 122 Calculus III D Joyce, Fall 2012

Vectors Math 122 Calculus III D Joyce, Fall 2012 Vectors in the plane R 2. A vector v can be interpreted as an arro in the plane R 2 ith a certain length and a certain direction. The same vector can be

### Lecture 14: Section 3.3

Lecture 14: Section 3.3 Shuanglin Shao October 23, 2013 Definition. Two nonzero vectors u and v in R n are said to be orthogonal (or perpendicular) if u v = 0. We will also agree that the zero vector in

### Inversion. Chapter 7. 7.1 Constructing The Inverse of a Point: If P is inside the circle of inversion: (See Figure 7.1)

Chapter 7 Inversion Goal: In this chapter we define inversion, give constructions for inverses of points both inside and outside the circle of inversion, and show how inversion could be done using Geometer

### 25 The Law of Cosines and Its Applications

Arkansas Tech University MATH 103: Trigonometry Dr Marcel B Finan 5 The Law of Cosines and Its Applications The Law of Sines is applicable when either two angles and a side are given or two sides and an

### Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

### Similarity and Diagonalization. Similar Matrices

MATH022 Linear Algebra Brief lecture notes 48 Similarity and Diagonalization Similar Matrices Let A and B be n n matrices. We say that A is similar to B if there is an invertible n n matrix P such that

### Synthetic Projective Treatment of Cevian Nests and Graves Triangles

Synthetic Projective Treatment of Cevian Nests and Graves Triangles Igor Minevich 1 Introduction Several proofs of the cevian nest theorem (given below) are known, including one using ratios along sides

### Baltic Way 1995. Västerås (Sweden), November 12, 1995. Problems and solutions

Baltic Way 995 Västerås (Sweden), November, 995 Problems and solutions. Find all triples (x, y, z) of positive integers satisfying the system of equations { x = (y + z) x 6 = y 6 + z 6 + 3(y + z ). Solution.

### Dear Accelerated Pre-Calculus Student:

Dear Accelerated Pre-Calculus Student: I am very excited that you have decided to take this course in the upcoming school year! This is a fastpaced, college-preparatory mathematics course that will also

### NEW YORK STATE TEACHER CERTIFICATION EXAMINATIONS

NEW YORK STATE TEACHER CERTIFICATION EXAMINATIONS TEST DESIGN AND FRAMEWORK September 2014 Authorized for Distribution by the New York State Education Department This test design and framework document

### Mechanics 1: Vectors

Mechanics 1: Vectors roadly speaking, mechanical systems will be described by a combination of scalar and vector quantities. scalar is just a (real) number. For example, mass or weight is characterized

### New York State Student Learning Objective: Regents Geometry

New York State Student Learning Objective: Regents Geometry All SLOs MUST include the following basic components: Population These are the students assigned to the course section(s) in this SLO all students

### Conjectures for Geometry for Math 70 By I. L. Tse

Conjectures for Geometry for Math 70 By I. L. Tse Chapter Conjectures 1. Linear Pair Conjecture: If two angles form a linear pair, then the measure of the angles add up to 180. Vertical Angle Conjecture:

### Solutions to Homework 10

Solutions to Homework 1 Section 7., exercise # 1 (b,d): (b) Compute the value of R f dv, where f(x, y) = y/x and R = [1, 3] [, 4]. Solution: Since f is continuous over R, f is integrable over R. Let x

### 3. INNER PRODUCT SPACES

. INNER PRODUCT SPACES.. Definition So far we have studied abstract vector spaces. These are a generalisation of the geometric spaces R and R. But these have more structure than just that of a vector space.

### Biggar High School Mathematics Department. National 5 Learning Intentions & Success Criteria: Assessing My Progress

Biggar High School Mathematics Department National 5 Learning Intentions & Success Criteria: Assessing My Progress Expressions & Formulae Topic Learning Intention Success Criteria I understand this Approximation