Chapter 13. Straight line equations Area and barycentric coordinates

Similar documents
A MOST BASIC TRIAD OF PARABOLAS ASSOCIATED WITH A TRIANGLE

On the Feuerbach Triangle

The Apollonius Circle and Related Triangle Centers

15.1 The power of a point with respect to a circle. , so that P = xa+(y +z)x. Applying Stewart s theorem in succession to triangles QAX, QBC.

Chapter 14. Cevian nest theorem Trilinear pole and polar Trilinear polar of a point

Cevian Projections of Inscribed Triangles and Generalized Wallace Lines

The Apollonius Circle as a Tucker Circle

Some Collinearities in the Heptagonal Triangle

On Emelyanov s Circle Theorem

1. The unit vector perpendicular to both the lines. Ans:, (2)

Generalized Mandart Conics

Two applications of the theorem of Carnot

The Lemoine Cubic and Its Generalizations

CPSC 313 Introduction to Computability

Two applications of the theorem of Carnot

A Note on the Barycentric Square Roots of Kiepert Perspectors

Collinearity/Concurrence

Isotomic Inscribed Triangles and Their Residuals

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

Isogonal Conjugates. Navneel Singhal October 9, Abstract

Power Round: Geometry Revisited

Chapter 5. Menelaus theorem. 5.1 Menelaus theorem

Bicentric Pairs of Points and Related Triangle Centers

Equal Area Triangles Inscribed in a Triangle

A Distance Property of the Feuerbach Point and Its Extension

Square Wreaths Around Hexagons

Homogeneous Barycentric Coordinates

Equioptic Points of a Triangle

SCTT The pqr-method august 2016

Forum Geometricorum Volume 6 (2006) FORUM GEOM ISSN Simmons Conics. Bernard Gibert

Chapter 3. Coaxial circles. 3.1 The radical axis of two circles. A quadratic equation of the form

Geometry. Class Examples (July 29) Paul Yiu. Department of Mathematics Florida Atlantic University. Summer 2014

Perspective Isoconjugate Triangle Pairs, Hofstadter Pairs, and Crosssums on the Nine-Point Circle

Conics Associated with a Cevian Nest

Group Theory. PHYS Southern Illinois University. November 15, PHYS Southern Illinois University Group Theory November 15, / 7

Calgary Math Circles: Triangles, Concurrency and Quadrilaterals 1

Construction of a Triangle from the Feet of Its Angle Bisectors

Notes on Barycentric Homogeneous Coordinates

Menelaus and Ceva theorems

Introduction to the Geometry of the Triangle

Menelaus and Ceva theorems

Higher Geometry Problems

Geometry. Class Examples (July 10) Paul Yiu. Department of Mathematics Florida Atlantic University. Summer 2014

Complex numbers in the realm of Euclidean Geometry

1. Matrices and Determinants

Higher Geometry Problems

Forum Geometricorum Volume 1 (2001) FORUM GEOM ISSN Pl-Perpendicularity. Floor van Lamoen

Nagel, Speiker, Napoleon, Torricelli. Centroid. Circumcenter 10/6/2011. MA 341 Topics in Geometry Lecture 17

On the Circumcenters of Cevasix Configurations

The Simson Triangle and Its Properties

SOLVED PROBLEMS. 1. The angle between two lines whose direction cosines are given by the equation l + m + n = 0, l 2 + m 2 + n 2 = 0 is

Advanced Euclidean Geometry


Introduction to the Geometry of the Triangle

A GENERALIZATION OF THE ISOGONAL POINT

Triangle Centers. Maria Nogin. (based on joint work with Larry Cusick)

Statics and the Moduli Space of Triangles

Neuberg cubics over finite fields arxiv: v1 [math.ag] 16 Jun 2008

STEP Support Programme. STEP III Complex Numbers: Solutions

Asymptotic Directions of Pivotal Isocubics

TWO INEQUALITIES FOR A POINT IN THE PLANE OF A TRIANGLE

Introduction to Number Theory

The 3rd Olympiad of Metropolises

Tucker cubics and Bicentric Cubics

Midterm Review Packet. Geometry: Midterm Multiple Choice Practice

Complex Numbers in Geometry

1. If two angles of a triangle measure 40 and 80, what is the measure of the other angle of the triangle?

A Quadrilateral Half-Turn Theorem

A FORGOTTEN COAXALITY LEMMA

( 1 ) Show that P ( a, b + c ), Q ( b, c + a ) and R ( c, a + b ) are collinear.

CONVERGENCE OF A SPECIAL SET OF TRIANGLES

Classical Theorems in Plane Geometry 1

Another Proof of van Lamoen s Theorem and Its Converse

2013 Sharygin Geometry Olympiad

GS trapezoids in GS quasigroups

A Note on Reflections

COORDINATE GEOMETRY BASIC CONCEPTS AND FORMULAE. To find the length of a line segment joining two points A(x 1, y 1 ) and B(x 2, y 2 ), use

The Menelaus and Ceva Theorems

INTERSECTIONS OF LINES AND CIRCLES. Peter J. C. Moses and Clark Kimberling

The Cevian Simson Transformation

ON THE GERGONNE AND NAGEL POINTS FOR A HYPERBOLIC TRIANGLE

The circumcircle and the incircle

Chapter *2* are concurrent (at O), then if D is on BC and B 0 C 0, and E is on CA and C 0 A 0, and F is on BA and B 0 A 0, D, E and F are collinear.

LOCUS OF INTERSECTIONS OF EULER LINES

Three Natural Homoteties of The Nine-Point Circle

Vectors - Applications to Problem Solving

SOME NEW THEOREMS IN PLANE GEOMETRY II

JEE/BITSAT LEVEL TEST

Pairs of Cocentroidal Inscribed and Circumscribed Triangles

ON CIRCLES TOUCHING THE INCIRCLE

Survey of Geometry. Paul Yiu. Department of Mathematics Florida Atlantic University. Spring 2007

Concurrency and Collinearity

2010 Shortlist JBMO - Problems

Q1. If (1, 2) lies on the circle. x 2 + y 2 + 2gx + 2fy + c = 0. which is concentric with the circle x 2 + y 2 +4x + 2y 5 = 0 then c =

Geometry in the Complex Plane

Mathematics I. Exercises with solutions. 1 Linear Algebra. Vectors and Matrices Let , C = , B = A = Determine the following matrices:

Another Cubic Associated with a Triangle

Mathematics 2260H Geometry I: Euclidean geometry Trent University, Winter 2012 Quiz Solutions

Bicevian Tucker Circles

Solutions to CRMO-2003

Transcription:

Chapter 13 Straight line equations 13.1 Area and barycentric coordinates Theorem 13.1. If for i = 1,2,3, P i = x i A + y i B + z i C (in absolute barycentric coordinates), then the area of the oriented triangle P 1 P 2 P 3 is x 1 y 1 z 1 P 1 P 2 P 3 = x 2 y 2 z 2 ABC. x 3 y 3 z 3 Example 13.1. (Area of cevian triangle) LetP = (u : v : w) be a point with cevian triangle XYZ. The area of the cevian triangle XYZ is 1 0 v w (v +w)(w+u)(u+v) u 0 w = 2uvw (v +w)(w+u)(u+v). u v 0 If P is an interior point (so that u, v, w are positive), then v + w 2 vw, w + u 2 wu, andu+v 2 uv. It follows that 2uvw (v +w)(w+u)(u+v) 2uvw 2 vw 2 wu 2 uv = 1 4. Equality holds if and only if u = v = w, i.e., P = (1 : 1 : 1) = G, the centroid. The centroid is the interior point with largest cevian triangle.

402 Straight line equations 13.2 Equations of straight lines 13.2.1 Two-point form The area formula has an easy and extremely important consequence: three points P i = (u i,v i,w i ) are collinear if and only if u 1 v 1 w 1 u 2 v 2 w 2 u 3 v 3 w 3 = 0. Consequently, the equation of the line joining two points with coordinates (x 1 : y 1 : z 1 ) and(x 2 : y 2 : z 2 ) is x 1 y 1 z 1 x 2 y 2 z 2 x y z = 0, or (y 1 z 2 y 2 z 1 )x+(z 1 x 2 z 2 x 1 )y +(x 1 y 2 x 2 y 1 )z = 0. Examples (1) The equations of the sidelines BC,CA,AB are respectively x = 0, y = 0, z = 0. (2) Given a point P = (u : v : w), the cevian line AP has equation wy vz = 0; similarly for the other two cevian lines BP and CP. These lines intersect corresponding sidelines at the traces ofp : A P = (0 : v : w), B P = (u : 0 : w), C P = (u : v : 0). (3) The equation of the line joining the centroid and the incenter is 1 1 1 a b c x y z = 0, or (b c)x+(c a)y +(a b)z = 0. (4) The equations of some important lines: Euler line OH cyclic (b2 c 2 )(b 2 +c 2 a 2 )x = 0 OI-line OI Soddy line IG cyclicbc(b c)(b+c a)x = 0 e cyclic (b c)(s a)2 x = 0 Brocard axis OK cyclic b2 c 2 (b 2 c 2 )x = 0 van Aubel line HK cyclic S αα(s β S γ )x = 0

13.2 Equations of straight lines 403 13.2.2 Intersection of two lines The intersection of the two lines p 1 x+q 1 y +r 1 z = 0, p 2 x+q 2 y +r 2 z = 0 is the point (q 1 r 2 q 2 r 1 : r 1 p 2 r 2 p 1 : p 1 q 2 p 2 q 1 ). Proposition 13.2. Three linesp i x+q i y+r i z = 0,i = 1,2,3, are concurrent if and only if p 1 q 1 r 1 p 2 q 2 r 2 p 3 q 3 r 3 = 0. Examples (1) The intersection of the Euler line and the Soddy line is the point (c a)(s b) 2 (a b)(s c) 2 (c 2 a 2 )(c 2 +a 2 b 2 ) (a 2 b 2 )(a 2 +b 2 c 2 ) : : =(c a)(a b) (s b) 2 (s c) 2 (c+a)(c 2 +a 2 b 2 ) (a+b)(a 2 +b 2 c 2 ) : : =(c a)(a b) (s b) 2 a(b c) (c+a)(c 2 +a 2 b 2 ) (b c)(a+b+c) 2 : : =(b c)(c a)(a b) (s b) 2 a (c+a)(c 2 +a 2 b 2 ) (a+b+c) 2 : : = 1 4 (b c)(c a)(a b) (c+a b) 2 4a (c+a)(c 2 +a 2 b 2 ) (a+b+c) 2 : : = 1 4 (b c)(c a)(a b)( 3a4 +2a 2 (b 2 +c 2 )+(b 2 c 2 ) 2 ) : : Writing a 2 = S β +S γ etc., we have 3a 4 +2a 2 (b 2 +c 2 )+(b 2 c 2 ) 2 = 3(S β +S γ ) 2 +2(S β +S γ )(2S α +S β +S γ )+(S β S γ ) 2 =4(S αβ +S γα S βγ ). This intersection has homogeneous barycentric coordinates S βγ +S γα +S αβ : S βγ S γα +S αβ : S βγ +S γα S αβ. This is the reflection of H in O, and is called the delongchamps point L o.

404 Straight line equations 13.3 Perspective triangles Many interesting points and lines in triangle geometry arise from the perspectivity of triangles. We say that two trianglesx 1 Y 1 Z 1 andx 2 Y 2 Z 2 are perspective,x 1 Y 1 Z 1 X 2 Y 2 Z 2, if the linesx 1 X 2,Y 1 Y 2,Z 1 Z 2 are concurrent. The point of concurrency, (X 1 Y 1 Z 1,X 2 Y 2 Z 2 ), is called the perspector. Along with the perspector, there is an axis of perspectivity, or the perspectrix, which is the line joining containing Y 1 Z 2 Z 1 Y 2, Z 1 X 2 X 1 Z 2, X 1 Y 2 Y 1 X 2. We denote this line by L (X 1 Y 1 Z 1,X 2 Y 2 Z 2 ). Homothetic triangles are clearly prespective. If triangles T and T, their perspector is the homothetic center, which we shall denote by 0 (T,T ). Proposition 13.3. A triangle with vertices X = U : v : w, Y = u : V : w, Z = u : v : W, for some U, V, W, is perspective to ABC at (XYZ) = (u : v : w). The perspectrix is the line x u U + y v V + z w W = 0. Proof. The line AX has equation wy vz = 0. It intersects the sideline BC at the point (0 : v : w). Similarly,BY intersectsca at(u : 0 : w) andcz intersectsab at(u : v : 0). These three are the traces of the point (u : v : w). The lineyz has equation (vw VW)x+u(w W)y+u(v V)z = 0. It intersects the sidelinebc at(0 : v V : (w W)). Similarly, the lineszx andxy intersectca and AB respectively at ( (u U) : 0 : w W) and (u U : (v V) : 0). It is easy to see that these three points are collinear on the line x u U + y v V + z w W = 0.

13.3 Perspective triangles 405 The excentral triangle The excentral triangle is perspective with ABC; the perspector is the incenter I: 13.3.1 The Conway configuration I a = a : b : c I b = a : b : c I c = a : b : c I = a : b : c Given triangle ABC, extend (i) CA andba to Y a andz a such that AY a = AZ a = a, (ii) AB and CB toz b andx b such that BZ b = BX b = b, (iii) BC andac tox c andy c such thatcx c = CY c = c. Z a Y a a A a Z Y? X b b B C c X c X c b Y c These points have coordinates Z b Y a = (a+b : 0 : a), Z a = (c+a : a : 0); Z b = ( b : b+c : 0), X b = (0 : a+b : b); X c = (0 : c : c+a), Y c = ( c : 0 : b+c). From the coordinates ofy c andz b, we determine easily the coordinates ofx = BY c CZ b : Y c = c : 0 : b+c = bc : 0 : b(b+c) Z b = b : b+c : 0 = bc : c(b+c) : 0 X = = bc : c(b+c) : b(b+c)

406 Straight line equations Similarly, the coordinates of Y = CZ a AX c, and Z = AX b BY a can be determined. The following table shows that the perspector of trianglesabc andxyz is the point with homogeneous barycentric coordinates ( 1 a : 1 b : 1 c). X = bc : c(b+c) : b(b+c) = 1 1 1 : : b+c b c Y = c(c+a) : ca : a(c+a) = 1 1 1 : : a c+a c Z = b(a+b) : a(a+b) : ab = 1 a : 1 b : 1 a+b? = = 1 1 1 : : a b c

13.4 Perspectivity 407 13.4 Perspectivity Many interesting points and lines in triangle geometry arise from the perspectivity of triangles. We say that two trianglesx 1 Y 1 Z 1 andx 2 Y 2 Z 2 are perspective,x 1 Y 1 Z 1 X 2 Y 2 Z 2, if the linesx 1 X 2,Y 1 Y 2,Z 1 Z 2 are concurrent. The point of concurrency, (X 1 Y 1 Z 1,X 2 Y 2 Z 2 ), is called the perspector. Along with the perspector, there is an axis of perspectivity, or the perspectrix, which is the line joining containing Y 1 Z 2 Z 1 Y 2, Z 1 X 2 X 1 Z 2, X 1 Y 2 Y 1 X 2. We denote this line byl (X 1 Y 1 Z 1,X 2 Y 2 Z 2 ). We justify this in below. If one of the triangles is the triangle of reference, it shall be omitted from the notation. Thus, (XYZ) = (ABC,XYZ) andl (XYZ) = L (ABC,XYZ). Homothetic triangles are clearly prespective. If triangles T and T, their perspector is the homothetic center, which we shall denote by 0 (T,T ). Proposition 13.4. A triangle with vertices X = U : v : w, Y = u : V : w, Z = u : v : W, for some U, V, W, is perspective to ABC at (XYZ) = (u : v : w). The perspectrix is the line x u U + y v V + z w W = 0. Proof. The line AX has equation wy vz = 0. It intersects the sideline BC at the point (0 : v : w). Similarly,BY intersectsca at(u : 0 : w) andcz intersectsab at(u : v : 0). These three are the traces of the point (u : v : w). The lineyz has equation (vw VW)x+u(w W)y+u(v V)z = 0. It intersects the sidelinebc at(0 : v V : (w W)). Similarly, the lineszx andxy intersectca andab respectively at( (u U) : 0 : w W) and(u U : (v V) : 0). These three points are collinear on the trilinear polar of(u U : v V : w W). The triangles XYZ andabc are homothetic if the perspectrix is the line at infinity.

408 Straight line equations 13.4.1 The Schiffler point: intersection of four Euler lines Theorem 13.5. Let I be the incenter of triangle ABC. The Euler lines of the triangles IBC,ICA,IAB are concurrent at a point on the Euler line ofabc, namely, the Schiffler point ( a(b+c a) S c = : b+c b(c+a b) c+a : ) c(a+b c). a+b Proof. LetI be the incenter of triangle ABC. We first compute the equation of the Euler line of the triangle IBC. The centroid of triangleibc is the point(a : a+2b+c : a+b+2c). The circumcenter of triangle is the midpoint of II a. This is the point ( a 2 : b(b+c) : c(b+c)). From these we obtain the equation of the Euler line: x y z 0 = a a+2b+c a+b+2c = (b c)(b+c)x+a(c+a)y a(a+b)z. a 2 b(b+c) c(b+c) The equations of the Euler lines of the triangles ICA and IAB can be obtained by cyclic permutations of a,b,c andx,y,z. Thus the three Euler lines are (b c)(b+c)x + a(c+a)y a(a+b)z = 0, b(b+c)x + (c a)(c+a)y + b(a+b)z = 0, c(b+c)x c(c+a)y + (a b)(a+b)z = 0. Computing the intersection of the latter two lines, we have the point (b+c)x : (c+a)y : (a+b)z = c a b c a b : b b c a b : b c a c c = (c+a)(a b)+bc : b(c+a b) : c(b (c a)) = a(b+c a) : b(c+a b) : c(a+b c). It is easy to verify that this point also lies on the Euler line of IBC given by the first equation: (b c)a(b+c a)+ab(c+a b) ac(a+b c) = a((b c)(b+c a)+b(c+a b) c(a+b c)) = a(b 2 c 2 ab+ca+bc+ab b 2 ca bc+c 2 ) = 0. It is routine to verify that this point also lies on the Euler line of ABC, with equation (b 2 c 2 )(b 2 +c 2 a 2 )x+(c 2 a 2 )(c 2 +a 2 b 2 )y +(a 2 b 2 )(a 2 +b 2 c 2 )z = 0. This shows that the four Euler lines are concurrent.