Heptagonal Triangles and Their Companions
|
|
- Mildred Pearson
- 5 years ago
- Views:
Transcription
1 Forum Geometricorum Volume 9 (009) FRUM GEM ISSN Heptagonal Triangles and Their ompanions Paul Yiu bstract. heptagonal triangle is a non-isosceles triangle formed by three vertices of a regular heptagon. Its angles are π, π and 4π. s such, there is a unique choice of a companion heptagonal triangle formed by three of the remaining four vertices. Given a heptagonal triangle, we display a number of interesting companion pairs of heptagonal triangles on its nine-point circle and rocard circle. mong other results on the geometry of the heptagonal triangle, we prove that the circumcenter and the Fermat points of a heptagonal triangle form an equilateral triangle. The proof is an interesting application of Lester s theorem that the Fermat points, the circumcenter and the nine-point center of a triangle are concyclic. 1. The heptagonal triangle T and its companion heptagonal triangle T is one with angles π 7, π 7 and 4π 7. Its vertices are three vertices of a regular heptagon inscribed in its circumcircle. mong the remaining four vertices of the heptagon, there is a unique choice of three which form another (congruent) heptagonal triangle T. We call this the companion of T, and the seventh vertex of the regular heptagon the residual vertex of T and T (see Figure 1). In this paper we work with complex number coordinates, and take the unit circle Figure 1. heptagonal triangle and its companion in the complex plane for the circumcircle of T. y putting the residual vertex at 1, we label the vertices of T by = ζ 4, = ζ, = ζ, Publication ate: June, 009. ommunicating Editor: ntreas P. Hatzipolakis. The author thanks the Editor for suggesting the configuration studied in 8, leading to, among other results, Theorem 0 on six circles concurring at the Feuerbach point of the heptagonal triangle.
2 16 P. Yiu and those of T by = ζ 3, = ζ 6, = ζ 5, where ζ := cos π 7 + isin π 7 is a primitive 7-th root of unity. We study the triangle geometry of T, some common triangle centers, lines, circles and conics associated with it. We show that the Simson lines of,, with respect to T are concurrent (Theorem 4). We find a number of interesting companion pairs of heptagonal triangles associated with T. For example, the medial triangle and the orthic triangle of T form such a pair on the nine-point circle (Theorem 5), and the residual vertex is a point on the circumcircle of T. It is indeed the Euler reflection point of T. In the final section we prove that the circumcenter and the Fermat points form an equilateral triangle (Theorem ). The present paper can be regarded as a continuation of ankoff-garfunkel [1].. Preliminaries.1. Some simple coordinates. learly, the circumcenter of T has coordinate 0, and the centroid is the point G = 1 3 (ζ + ζ + ζ 4 ). Since the orthocenter H and the nine-point center N are points (on the Euler line) satisfying we have G : GN : NH = : 1 : 3, H = ζ + ζ + ζ 4, N = 1 (ζ + ζ + ζ 4 ). (1) This reasoning applies to any triangle with vertices on the unit circle. The bisectors of angles,, of T intersect the circumcircle at,, respectively. These form a triangle whose orthocenter is the incenter I of T (see Figure ). This latter is therefore the point I = ζ 3 ζ 5 + ζ 6. () Similarly, the external bisectors of angles,, intersect the circumcircle at,, respectively. Identifying the excenters of T as orthocenters of triangles with vertices on the unit circle, we have I a = (ζ 3 + ζ 5 + ζ 6 ), I b = ζ 3 + ζ 5 ζ 6, (3) I c = ζ 3 + ζ 5 + ζ 6. Figure shows the tritangent circles of the heptagonal triangle T... Representation of a companion pair. Making use of the simple fact that the complex number coordinates of vertices of a regular heptagon can be obtained from any one of them by multiplications by ζ,..., ζ 6, we shall display a companion pair of heptagonal triangle by listing coordinates of the center, the residual vertex and the vertices of the two heptagonal triangles, as follows.
3 Heptagonal triangles and their companions 17 I a I I b I c Figure. The tritangent centers enter: Residual vertex: P Q Rotation Vertices Rotation Vertices ζ 4 P + ζ 4 (Q P) ζ 3 P + ζ 3 (Q P) ζ P + ζ(q P) ζ 6 P + ζ 6 (Q P) ζ P + ζ (Q P) ζ 5 P + ζ 5 (Q P).3. While we shall mostly work in the cyclotomic field Q(ζ), 1 the complex number coordinates of points we consider in this paper are real linear combinations of ζ k for 0 k 6, (the vertices of the regular heptagon on the circumcircle of 1 See orollary 3 for an exception.
4 18 P. Yiu T). The real coefficients involved are rational combinations of c 1 = ζ + ζ6 = cos π 7, c = ζ + ζ 5 = cos 4π 7, c 3 = ζ3 + ζ 4 = cos 6π 7. Note that c 1 > 0 and c, c 3 < 0. n expression of a complex number z as a real linear combination of ζ 4, ζ, ζ (with sum of coefficients equal to 1) actually gives the absolute barycentric coordinate of the point z with reference to the heptagonal triangle T. For example, ζ 3 = c ζ 4 + c ζ + 1 ζ, ζ 5 = c 1 ζ ζ c 1 ζ, ζ 6 = 1 ζ 4 c 3 ζ + c 3 ζ, 1 = c ζ 4 c 3 ζ c 1 ζ. We shall make frequent uses of the important result. Lemma 1 (Gauss). 1 + (ζ + ζ + ζ 4 ) = 7i. Proof. lthough this can be directly verified, it is actually a special case of Gauss famous theorem that if ζ = cos π n + isin π n for an odd integer n, then n 1 ζ k = k=0 For a proof, see [, pp.75 76]. { n if n 1 (mod 4), ni if n 3 (mod 4)..4. Reflections and pedals. Lemma. If α, β, γ are unit complex numbers, the reflection of γ in the line joining α and β is γ = α + β αβγ. Proof. s points in the complex plane, γ has equal distances from α and β as γ does. This is clear from γ α = β(1 αγ) = βγ(γ α), γ β = α(1 βγ) = αγ(γ β). orollary 3. (1) The reflection of ζ k in the line joining ζ i and ζ j is ζ i +ζ j ζ i+j k. () The pedal (orthogonal projection) of ζ k on the line joining ζ i and ζ j is 1 (ζi + ζ j + ζ k ζ i+j k ). (3) The reflections of in, in, and in are the points = ζ + ζ ζ 6, = ζ + ζ 4 ζ 5, (4) = ζ ζ 3 + ζ 4.
5 Heptagonal triangles and their companions oncurrent Simson lines The Simson line of a point on the circumcircle of a triangle is the line containing the pedals of the point on the sidelines of the triangle. Theorem 4. The Simson lines of,, with respect to the heptagonal triangle T are concurrent. Figure 3. Simson lines Proof. The pedals of on is the midpoint of ; similarly for those of on and on. We tabulate the coordinates of the pedals of,, on the sidelines,, respectively. These are easily calculated using orollary 3. 1 ( 1 + ζ + ζ + ζ 3 1 ) (ζ + ζ 4 1 ) (ζ ζ + ζ 3 + ζ 4 ) 1 (ζ + ζ ζ 4 + ζ 6 1 ) ( 1 + ζ + ζ 4 + ζ 6 1 ) (ζ + ζ4 ) 1 (ζ + ζ 1 ) ( ζ + ζ + ζ 4 + ζ 5 1 ) ( 1 + ζ + ζ4 + ζ 5 ) We check that the Simson lines of,, all contain the point 1. For these, it is enough to show that the complex numbers (ζ+ζ +ζ 3 )(1 + ζ + ζ 4 ), (ζ +ζ 4 +ζ 6 )(1 + ζ + ζ 4 ), (ζ+ζ 4 +ζ 5 )(1 + ζ + ζ ) are real. These are indeed ζ + ζ 6, ζ + ζ 5, ζ 3 + ζ 4 respectively.
6 130 P. Yiu Remark. The Simson line of, on the other hand, is parallel to (see Figure 3). This is because the complex number coordinates of the pedals of, namely, 1 + ζ + ζ ζ 3, 1 + ζ + ζ 4 ζ 6, 1 + ζ + ζ 4 ζ 5, all have the same imaginary part 1 4 (ζ ζ6 + ζ ζ 5 ζ 3 + ζ 4 ). 4. The nine-point circle 4.1. companion pair of heptagonal triangles on the nine-point circle. s is well known, the nine-point circle is the circle through the vertices of the medial triangle and of the orthic triangle. The medial triangle of T clearly is heptagonal. It is known that T is the only obtuse triangle with orthic triangle similar to itself. The medial and orthic triangles of T are therefore congruent. It turns out that they are companions. Theorem 5. The medial triangle and the orthic triangle of T are companion heptagonal triangles on the nine-point circle of T. The residual vertex is the Euler reflection point E (on the circumcircle of T). H 1 1 E N Figure 4. companion pair on the nine-point circle If the angles of an obtuse angled triangle are α β < γ, those of its orthic triangle are α, β, and γ π. The two triangles are similar if and only if α = γ π, β = α and γ = β. From these, α = π, β = π and γ = 4π. This shows that the triangle is heptagonal. The equilateral triangle is the only acute angled triangle similar to its own orthic triangle.
7 Heptagonal triangles and their companions 131 Proof. (1) The companionship of the medial and orthic triangles on the nine-point circle is clear from the table below. enter: N = 1 (ζ + ζ + ζ 4 ) Residual vertex: E = 1 ( 1 + ζ + ζ + ζ 4 ) Rotation Medial triangle Rotation rthic triangle ζ 4 0 = 1 (ζ + ζ ) ζ 3 1 = 1 (ζ + ζ ζ 3 + ζ 4 ) ζ 0 = 1 (ζ + ζ 4 ) ζ 6 1 = 1 (ζ + ζ + ζ 4 ζ 6 ) ζ 0 = 1 (ζ + ζ4 ) ζ 5 1 = 1 (ζ + ζ + ζ 4 ζ 5 ) a H 1 1 H b E H a 0 b N c H c Figure 5. The Euler reflection point of T () We show that E is a point on the reflection of the Euler line in each of the sidelines of T. In the table below, the reflections of are computed from the simple fact that a, b, c are rhombi. n the other hand, the reflections of H in the sidelines can be determined from the fact that HH a and have the same midpoint, so do HH b and, HH c and. The various expressions for E given in the rightmost column can be routinely verified.
8 13 P. Yiu Line Reflection of Reflection of H E = a = ζ + ζ H a = ζ 6 ( c 1 c c 3 ) a + ( c c 3 )H a b = ζ + ζ 4 H b = ζ5 ( c 1 c c 3 ) b + ( c 1 c 3 )H b c = ζ + ζ 4 H c = ζ 3 ( c 1 c c 3 ) c + ( c 1 c )H c Thus, E, being the common point of the reflections of the Euler line of T in its sidelines, is the Euler reflection point of T, and lies on the circumcircle of T. 4.. The second intersection of the nine-point circle and the circumcircle. Lemma 6. The distance between the nine-point center N and the -excenter I a is equal to the circumradius of the heptagonal triangle T. Proof. Note that I a N = +ζ+ζ +ζ 4 complex number. = 3+1+(ζ+ζ +ζ 4 ) 4 = 3+ 7i This simple result has a number of interesting consequences. 4 is a unit Proposition 7. (1) The midpoint F a of NI a is the point of tangency of the ninepoint circle and the -excircle. () The -excircle is congruent to the nine-point circle. (3) F a lies on the circumcircle. H 1 I a 1 F a E N Figure 6. The -Feuerbach point of T
9 Heptagonal triangles and their companions 133 Proof. (1) y the Feuerbach theorem, the nine-point circle is tangent externally to each of the excircles. Since NI a = R, the circumradius, and the nine-point circle has radius 1 R, the point of tangency with the -excircle is the midpoint of NI a, i.e., F a = I a + N = + 3(ζ + ζ + ζ 4 ). (5) 4 This proves (1). () It also follows that the radius of the -excircle is 1 R, and the -excircle is congruent to the nine-point circle. (3) Note that F a = 1+3+6(ζ+ζ +ζ 4 ) 8 = 1+3 7i 8 is a unit complex number. Remark. The reflection of the orthic triangle in F a is the -extouch triangle, since the points of tangency are (ζ 3 + ζ 5 + ζ 6 ) + ζ3, (ζ3 + ζ 5 + ζ 6 ) + ζ5, (ζ3 + ζ 5 + ζ 6 ) + ζ6 (see Figure 6) nother companion pair on the nine-point circle. enter: N = 1 (ζ + ζ + ζ 4 ) Residual vertex: F a = 1 4 ( + 3(ζ + ζ + ζ 4 )) Rot. Feuerbach triangle Rot. ompanion ζ 3 F b = 1 4 (ζ + ζ + ζ 3 + ζ 4 ζ 6 ) ζ 4 F a = 1 4 (3ζ + ζ + 4ζ 4 + ζ 5 + ζ 6 ) ζ 6 F e = 1 4 (ζ + ζ + ζ 4 ζ 5 + ζ 6 ) ζ F b = 1 4 (4ζ + 3ζ + ζ 3 + ζ 4 + ζ 5 ) ζ 5 F c = 1 4 (ζ + ζ ζ 3 + ζ 4 + ζ 5 ) ζ F c = 1 4 (ζ + 4ζ + ζ 3 + 3ζ 4 + ζ 6 ) Proposition 8. F e, F a, F b, F c are the points of tangency of the nine-point circle with the incircle and the -, -, -excircles respectively (see Figure 7). Proof. We have already seen that F a = 1 N + 1 I a. It is enough to show that the points F e, F b, F c lie on the lines NI, NI b, NI c respectively: F e = (c 1 c 3 ) N + ( c 1 c 3c 3 ) I, F b = (c c 3 ) N + ( c 1 3c c 3 ) I b, F c = (c 1 c ) N + ( 3c 1 c c 3 ) I c. Proposition 9. The vertices F a, F b, F c of the companion of F b F e F c are the second intersections of the nine-point circle with the lines joining F a to,, respectively. Proof. F a = c F a (c 1 + c 3 ), F b = c 3 F a (c 1 + c ), F c = c 1 F a (c + c 3 ).
10 134 P. Yiu F b I a F c F a F b N I F e I b F a F c I c Figure 7. nother companion pair on the nine-point circle 5. The residual vertex as a Kiepert perspector Theorem 10. is a Kiepert perspector of the heptagonal triangle. Proof. What this means is that there are similar isosceles triangles,, with the same orientation such that the lines,, all pass through the point. Let be the intersection of the lines and, that of and, and that of and (see Figure 8). Note that,, and are all parallelograms. From these, = ζ 4 ζ 5 + ζ 6, = ζ ζ 3 + ζ 5, = ζ + ζ 3 ζ 6.
11 Heptagonal triangles and their companions 135 Figure 8. as a Kiepert perspector of T It is clear that the lines, and all contain the point. The coordinates of,, can be rewritten as = ζ + ζ = ζ4 + ζ = ζ + ζ4 + ζ ζ + ζ4 ζ + ζ ζ4 (1 + (ζ + ζ + ζ 4 )), (1 + (ζ + ζ + ζ 4 )), (1 + (ζ + ζ + ζ 4 )). Since 1 + (ζ + ζ + ζ 4 ) = 7i (Gauss sum), these expressions show that the three isosceles triangles all have base angles arctan 7. Thus, the triangles,, are similar isosceles triangles of the same orientation. From these we conclude that is a point on the Kiepert hyperbola. orollary 11. The center of the Kiepert hyperbola is the point K i = 1 (ζ3 + ζ 5 + ζ 6 ). (6) Proof. Since is the intersection of the Kiepert hyperbola and the circumcircle, the center of the Kiepert hyperbola is the midpoint of H, where H is the orthocenter of triangle (see Figure 9). This has coordinate as given in (6) above. Remark. K i is also the midpoint of I a.
12 136 P. Yiu H K i Figure 9. The Kiepert hyperbola of T Since X = 1 is antipodal to the Kiepert perspector = 1 on the circumcircle, it is the Steiner point of T, which is the fourth intersection of the Steiner ellipse with the circumcircle. The Steiner ellipse also passes through the circumcenter, the -excenter, and the midpoint of HG. The tangents at I a and X pass through H, and that at passes through Y = 1 (1 (ζ3 + ζ 5 + ζ 6 )) on the circumcircle such that XNY is a parallelogram (see Lemma 1). H I a N Y G X = 1 Figure 10. The Steiner ellipse of T
13 Heptagonal triangles and their companions The rocard circle 6.1. The rocard points. Proposition 1 (ankoff and Garfunkel). The nine-point center N is the first rocard point. K N Figure 11. The rocard points of the heptagonal triangle T Proof. The relations 1 (ζ + ζ + ζ 4 ) ζ 4 = ( c 1 3c c 3 )(4 + ζ + ζ + ζ 4 ) (ζ ζ 4 ), 7 1 (ζ + ζ + ζ 4 ) ζ = ( c 1 c 3c 3 )(4 + ζ + ζ + ζ 4 ) (ζ ζ), 7 1 (ζ + ζ + ζ 4 ) ζ = ( 3c 1 c c 3 )(4 + ζ + ζ + ζ 4 ) (ζ 4 ζ ) 7 show that the lines N, N, N are obtained by rotations of,, through the same angle (which is necessarily the rocard angle ω). This shows that the nine-point center N is the first rocard point of the heptagonal triangle T. Remark. It follows that 4 + ζ + ζ + ζ 4 = 14(cos ω + isinω). Proposition 13. The symmedian point K has coordinate (1+(ζ+ζ +ζ 4 )) 7 = i 7.
14 138 P. Yiu Proof. It is known that on the rocard circle with diameter K, NK = ω. From this, K = 1 (cos ω isinω) N cos ( ω = 1 i ) N 7 by Lemma 1. = (4 + ζ3 + ζ 5 + ζ 6 ) 7 = 7 (1 + (ζ + ζ + ζ 4 )) = i 7 ζ + ζ + ζ 4 orollary 14. The second rocard point is the Kiepert center K i. Proof. y Proposition 13, the rocard axis K is along the imaginary axis. Now, the second rocard point, being the reflection of N in K, is simply 1 (ζ3 + ζ 5 + ζ 6 ). This, according to orollary 11, is the Kiepert center K i. Since is along the real axis, it is tangent to the rocard circle. 6.. companion pair on the rocard circle. enter: 1 7 (1 + (ζ + ζ + ζ 4 )) Residual vertex: = 0 Rot. First rocard triangle Rot. ompanion ζ 3 ω = 1 7 ( 4c 1 c 8c 3 ) ( ζ 5 ) ζ ( 4c 1 c 8c 3 ) ζ ζ 6 ω = 1 7 ( 8c 1 4c c 3 ) ( ζ 3 1 ) ζ 7 ( 8c 1 4c c 3 ) ζ 4 ζ 5 ω = 1 7 ( c 1 8c 4c 3 ) ( ζ 6 ) ζ 1 7 ( c 1 8c 4c 3 ) ζ Since ζ 5 is the midpoint of the minor arc joining ζ and ζ, the coordinate of the point labeled ω shows that this point lies on the perpendicular bisector of. Similarly, ω and ω lie on the perpendicular bisectors of and respectively. Since these points on the rocard circle, they are the vertices of the first rocard triangle. The vertices of the companion are the second intersections of the rocard circle with and the lines joining to,, respectively. Proposition 15. The first rocard triangle is perspective with at the point 1 (see Figure 1). Proof. 1 = ( 3c 1 c c 3 ) ω + c 1 ζ 4, = ( c 1 3c c 3 ) ω + c ζ, = ( c 1 c 3c 3 ) ω + c 3 ζ.
15 Heptagonal triangles and their companions 139 K ω ω 1 ω Figure 1. regular heptagon on the rocard circle 7. companion of the triangle of reflections We have computed the coordinates of the vertices of the triangle of reflections in (4). It is interesting to note that this is also a heptagonal triangle, and its circumcenter coincides with I a. The residual vertex is the reflection of in I a. enter: I a = (ζ 3 + ζ 5 + ζ 6 ) Residual vertex: = (ζ 3 + ζ 5 + ζ 6 ) Rotation Triangle of reflections Rotation ompanion ζ 4 = ζ + ζ ζ 6 ζ 3 = 1 + ζ 4 ζ 6 ζ = ζ + ζ 4 ζ 5 ζ 6 = 1 + ζ ζ 5 ζ = ζ ζ 3 + ζ 4 ζ 5 = 1 + ζ ζ 3 The companion has vertices on the sides of triangle, = (1 + c 1 )ζ c 1 ζ ; = (1 + c )ζ c ζ 4 ; = (1 + c 3 )ζ 4 c 3 ζ. It is also perspective with T. Indeed, the lines,, are all perpendicular to the Euler line, since the complex numbers 1 + ζ ζ 3 ζ 4 ζ + ζ + ζ 4, 1 + ζ 4 ζ 6 ζ ζ + ζ + ζ 4, 1 + ζ ζ 5 ζ ζ + ζ + ζ 4 are all imaginary, being respectively (ζ ζ 5 ), (ζ 3 ζ 4 ), (ζ ζ 6 ).
16 140 P. Yiu I a E Figure 13. The triangle of reflections of T Proposition 16. The triangle of reflections is triply perspective with T. Proof. The triangle of reflection is clearly perspective with at the orthocenter H. Since,, are all parallel (to the imaginary axis), the two triangles are triply perspective ([3, Theorem 381]). In other words, is also perspective with. In fact, the perspector is the residual vertex : = (1 + c 1 ) 1 + ( + c 1 )ζ, = (1 + c ) 1 + ( + c )ζ, = (1 + c 3 ) 1 + ( + c 3 )ζ 4. Remark. The circumcircle of the triangle of reflections also contains the circumcenter, the Euler reflection point E, and the residual vertex.
17 Heptagonal triangles and their companions partition of T by the bisectors Let I I I be the cevian triangle of the incenter I of the heptagonal triangle T =. It is easy to see that triangles I, I and I are also heptagonal. Each of these is the image of the heptagonal triangle under an affine mapping of the form w = αz + β or w = αz + β, according as the triangles have the same or different orientations. Note that the image triangle has circumcenter β and circumradius α. I I I I Figure 14. Partition of T by angle bisectors Each of these mappings is determined by the images of two vertices. For example, since and I have the same orientation, the mapping f 1 (z) = αz +β is determined by the images f 1 () = and f 1 () = ; similarly for the mappings f and f 3. ffine mapping f 1 (z) = (ζ + ζ 4 )z ζ 5 I f (z) = (1 + ζ + ζ 3 + ζ 4 )z (1 + ζ 3 + ζ 6 ) I f 3 (z) = (1 + ζ + ζ 4 + ζ 5 )z (1 + ζ 3 + ζ 5 ) I Thus, we have I = f 1 () = ζ 3 ζ 5 + ζ 6, I = f () = 1 + ζ + ζ ζ 3 + ζ 5, I = f 3 () = 1 + ζ + ζ 4 ζ 5 + ζ 6. Note also that from f ( I ) = I, it follows that I = 1 + ζ ζ 3 + ζ 4 ζ 6. Remark. The affine mapping that associates a heptagonal triangle with circumcenter c and residual vertex d to its companion is given by w = d c dc cd z + d c d c.
18 14 P. Yiu 8.1. Four concurrent lines. simple application of the mapping f 1 yields the following result on the concurrency of four lines. Proposition 17. The orthocenter of the heptagonal triangle I lies on the line and the perpendicular from I to. I I I H I Figure 15. Four concurrent altitudes Proof. Since has orthocenter H = ζ + ζ + ζ 4, the orthocenter of triangle I is the point H = f 1 (H) = (1 + ζ 4 ) = (ζ + ζ 5 )ζ. This expression shows that H lies on the radius. Now, the vector H I is given by I H = ( 1 + ζ + ζ ζ 3 + ζ 5 ) + (1 + ζ 4 ) = ζ + ζ ζ 3 + ζ 4 + ζ 5. n the other hand, the vector is given by ζ ζ 4. To check that H I is perpendicular to, we need only note that (ζ + ζ ζ 3 + ζ 4 + ζ 5 )(ζ ζ 4 ) = (ζ ζ 6 ) + (ζ ζ 5 ) + (ζ 3 ζ 4 ) is purely imaginary. Remark. Similarly, the orthocenter of I lies on the -altiude of, and that of I on the -altitude.
19 Heptagonal triangles and their companions Systems of concurrent circles. Proposition 18. The nine-point circles of I and (the isosceles triangle) are tangent internally at the midpoint of. N f (N) I M Figure 16. Two tangent nine-point circles Proof. The nine-point circle of the isosceles triangle clearly contains the midpoint M of. Since triangle is also isosceles, the perpendicular from to passes through M. This means that M lies on the nine-point circle of triangle I. We show that the two circles are indeed tangent at M. The nine-point center of I is the point f (N) = 1 (ζ + ζ + ζ 3 + ζ 4 + ζ 6 ). n the other hand, the nine-point center of the isosceles triangle is the point Since N = 1 (ζ + ζ 3 + ζ 6 ). M = ζ + ζ 6 = (1 c 4c 3 )f (N) + (c + 4c 3 )N as can be verified directly, we conclude that the two circles are tangent internally.
20 144 P. Yiu Theorem 19. The following circles have a common point. (i) the circumcircle of I, (ii) the nine-point circle of I, (iii) the -excircle of I, (iv) the nine-point circle of I. I a I I I Figure 17. Four concurrent circles Proof. y Proposition 7(3), the first three circles concur at the -Feuerbach point of triangle I, which is the point f (F a ) = 1 4 (ζ + ζ + ζ 4 ζ 5 + ζ 6 ). It is enough to verify that this point lies on the nine-point circle of I, which has center ( ζ + ζ + ζ 4 ) f 3 = ζ + ζ + ζ 3 + ζ 4 + ζ 6, and square radius ζ + ζ 4 + ζ 5 = 1 ( 3(ζ + ζ 6 ) + (ζ + ζ 5 ) + (ζ 3 + ζ 4 ) ). 4 This is exactly the square distance between f (F a ) and the center, as is directly verified. This shows that f (F a ) indeed lies on the nine-point circle of I.
21 Heptagonal triangles and their companions 145 Theorem 0. Each of the following circles contains the Feuerbach point F e of T : (i) the nine-point circle of T, (ii) the incircle of T, (iii) the nine-point circle of the heptagonal triangle I, (iv) the -excircle of I, (v) the -excircle of the heptagonal triangle I, (vi) the incircle of the isosceles triangle I I. I a I N N I I I F e I I c Figure 18. Six circles concurrent at the Feuerbach point of T Proof. It is well known that the nine-point circle and the incircle of T are tangent to each other internally at the Feuerbach point F e. It is enough to verify that this point lies on each of the remaining four circles. (iii) and (iv) The -excircle of I is the image of the -excircle of under the affine mapping f 1. It is therefore enough to check that f 1 (F b ) = F e : f 1 (F b ) = 1 4 (ζ + ζ4 )(ζ + ζ + ζ 3 + ζ 4 ζ 6 ) ζ 5 = 1 4 (ζ + ζ + ζ 4 ζ 5 + ζ 6 ) = F e.
22 146 P. Yiu (v) The heptagonal triangle I is the image of under the mapping f. It can be verified directly that W = 1 4 (ζ ζ + 3ζ 3 + 3ζ 5 ) ζ 6 is the point for which f (W) = F e. The square distance of W from the -excenter I a = (ζ 3 + ζ 5 + ζ 6 ) is the square norm of W I a = 1 4 ( ζ + ζ + ζ 3 + ζ 5 ). n easy calculation shows that this is 1 16 ( ζ + ζ + ζ 3 + ζ 5 )(ζ + ζ 4 + ζ 5 ζ 6 ) = 1 4 = r a. It follows that, under the mapping f, F e lies on the -excircle of I. Q I I I M I P F e I Figure 19. The incircle of an isosceles triangle (vi) Since I and I I are isosceles triangles, the perpendicular bisectors of and I are the bisectors of angles I I and I I respectively. It follows that the incenter of the isosceles triangle I I coincides with the circumcenter of triangle I, which is the point I = (1 + ζ 3 + ζ 5 ) from the affine mapping f 3. This incircle touches the side I I at its midpoint M, the side I at the midpoint Q of I, and the side I at the orthogonal projection P of on (see Figure 19). simple calculation shows that PMQ = 3π 7. To show that F e lies on the same circle, we need only verify that PF e Q = 4π 7. To this end, we first determine some complex number coordinates: P = 1 (ζ + ζ ζ 3 + ζ 4 ), Q = 1 ( 1 + ζ + ζ4 ζ 5 + ζ 6 ). Now, with F e = 1 4 (ζ + ζ + ζ 4 ζ 5 + ζ 6 ), we have Q F e = (ζ 4 + ζ 6 )(P F e ). From the expression ζ 4 + ζ 6 = ζ (ζ + ζ 6 ), we conclude that indeed PF e Q = 4π 7.
23 Heptagonal triangles and their companions theorem on the Fermat points Lemma 1. The perpendicular bisector of the segment N is the line containing X = 1 and Y = 1 (1 (ζ3 + ζ 5 + ζ 6 )). Proof. (1) omplete the parallelogram I a HX, then X = + H I a = (ζ + ζ + ζ 4 ) + (ζ 3 + ζ 5 + ζ 6 ) = 1 is a point on the circumcircle. Note that N is the midpoint of I a X. Thus, NX = NI a = R = X. This shows that X is on the bisector of N. () omplete the parallelogram NI a Y, with Y = + I a N. Explicitly, Y = 1 (1 (ζ3 + ζ 5 + ζ 6 )). ut we also have X +Y = (+H I a )+(+I a N) = ( N I a )+(+I a N) = +N. This means that XNY is a rhombus, and NY = Y. From (1) and (), XY is the perpendicular bisector of N. H I a F a N K K i Y L X Figure 0. The circumcenter and the Fermat points form an equilateral triangle Theorem. The circumcenter and the Fermat points of the heptagonal triangle T form an equilateral triangle.
24 148 P. Yiu Proof. (1) onsider the circle through, with center at the point L := 1 3 (ζ3 + ζ 5 + ζ 6 ). This is the center of the equilateral triangle with as a vertex and K i = 1 (ζ3 + ζ 5 + ζ 6 ) the midpoint of the opposite side. See Figure 0. () With X and Y in Lemma 1, it is easy to check that L = 1 3 (X + Y ). This means that L lies on the perpendicular bisector of N. (3) Since K i is on the rocard circle (with diameter K), K i is perpendicular to the line KK i. It is well known that the line KK i contains the Fermat points. 3 Indeed, K i is the midpoint of the Fermat points. This means that L is lies on the perpendicular bisector of the Fermat points. (4) y a well known theorem of Lester (see, for example, [5]), the Fermat points, the circumcenter, and the nine-point center are concyclic. The center of the circle containing them is necessarily L, and this circle coincides with the circle constructed in (1). The side of the equilateral triangle opposite to is the segment joining the Fermat points. orollary 3. The Fermat points of the heptagonal triangle T are the points F + = 1 3 (λ + λ )(ζ 3 + ζ 5 + ζ 6 ), F = 1 3 (λ + λ)(ζ 3 + ζ 5 + ζ 6 ), where λ = 1 ( 1 + 3i) and λ = 1 ( 1 3i) are the imaginary cube roots of unity. Remarks. (1) The triangle with vertices I a and the Fermat points is also equilateral. () Since I a = R, each side of the equilateral triangle has length 3 R. (3) The Lester circle is congruent to the orthocentroidal circle, which has HG as a diameter. (4) The rocard axis K is tangent to the -excircle at the midpoint of I a H. References [1] L. ankoff and J. Garfunkel, The heptagonal triangle, Math. Mag., 46 (1973) [] K. Ireland and M. Rosen, lassical Introduction to Modern Number Theory, nd edition, 1990, Springer-Verlag. [3] R.. Johnson, dvanced Euclidean Geometry, 199, over reprint 007. [4]. Kimberling, Encyclopedia of Triangle enters, available at [5] P. Yiu, The circles of Lester, Evans, Parry, and their generalizations, preprint. Paul Yiu: epartment of Mathematical Sciences, Florida tlantic University, 777 Glades Road, oca Raton, Florida , US address: yiu@fau.edu 3 The line joining the Fermat points contains K and Ki.
The Kiepert Pencil of Kiepert Hyperbolas
Forum Geometricorum Volume 1 (2001) 125 132. FORUM GEOM ISSN 1534-1178 The Kiepert Pencil of Kiepert Hyperbolas Floor van Lamoen and Paul Yiu bstract. We study Kiepert triangles K(φ) and their iterations
More informationOn the Circumcenters of Cevasix Configurations
Forum Geometricorum Volume 3 (2003) 57 63. FORUM GEOM ISSN 1534-1178 On the ircumcenters of evasix onfigurations lexei Myakishev and Peter Y. Woo bstract. We strengthen Floor van Lamoen s theorem that
More informationA Note on Reflections
Forum Geometricorum Volume 14 (2014) 155 161. FORUM GEOM SSN 1534-1178 Note on Reflections Emmanuel ntonio José García bstract. We prove some simple results associated with the triangle formed by the reflections
More informationThe circumcircle and the incircle
hapter 4 The circumcircle and the incircle 4.1 The Euler line 4.1.1 nferior and superior triangles G F E G D The inferior triangle of is the triangle DEF whose vertices are the midpoints of the sides,,.
More informationThe Lemoine Cubic and Its Generalizations
Forum Geometricorum Volume 2 (2002) 47 63. FRUM GEM ISSN 1534-1178 The Lemoine ubic and Its Generalizations ernard Gibert bstract. For a given triangle, the Lemoine cubic is the locus of points whose cevian
More informationSome Collinearities in the Heptagonal Triangle
Forum Geometricorum Volume 16 (2016) 249 256. FRUM GEM ISSN 1534-1178 Some ollinearities in the Heptagonal Triangle bdilkadir ltintaş bstract. With the methods of barycentric coordinates, we establish
More informationIsotomic Inscribed Triangles and Their Residuals
Forum Geometricorum Volume 3 (2003) 125 134. FORUM GEOM ISSN 1534-1178 Isotomic Inscribed Triangles and Their Residuals Mario Dalcín bstract. We prove some interesting results on inscribed triangles which
More informationA Note on the Barycentric Square Roots of Kiepert Perspectors
Forum Geometricorum Volume 6 (2006) 263 268. FORUM GEOM ISSN 1534-1178 Note on the arycentric Square Roots of Kiepert erspectors Khoa Lu Nguyen bstract. Let be an interior point of a given triangle. We
More informationThree Natural Homoteties of The Nine-Point Circle
Forum Geometricorum Volume 13 (2013) 209 218. FRUM GEM ISS 1534-1178 Three atural omoteties of The ine-point ircle Mehmet Efe kengin, Zeyd Yusuf Köroğlu, and Yiğit Yargiç bstract. Given a triangle with
More informationGEOMETRY OF KIEPERT AND GRINBERG MYAKISHEV HYPERBOLAS
GEOMETRY OF KIEPERT ND GRINERG MYKISHEV HYPEROLS LEXEY. ZSLVSKY bstract. new synthetic proof of the following fact is given: if three points,, are the apices of isosceles directly-similar triangles,, erected
More informationBicevian Tucker Circles
Forum Geometricorum Volume 7 (2007) 87 97. FORUM GEOM ISSN 1534-1178 icevian Tucker ircles ernard Gibert bstract. We prove that there are exactly ten bicevian Tucker circles and show several curves containing
More informationConstruction of a Triangle from the Feet of Its Angle Bisectors
onstruction of a Triangle from the Feet of Its ngle isectors Paul Yiu bstract. We study the problem of construction of a triangle from the feet of its internal angle bisectors. conic solution is possible.
More informationXIII GEOMETRICAL OLYMPIAD IN HONOUR OF I.F.SHARYGIN The correspondence round. Solutions
XIII GEOMETRIL OLYMPID IN HONOUR OF I.F.SHRYGIN The correspondence round. Solutions 1. (.Zaslavsky) (8) Mark on a cellular paper four nodes forming a convex quadrilateral with the sidelengths equal to
More informationThe Apollonius Circle and Related Triangle Centers
Forum Geometricorum Qolume 3 (2003) 187 195. FORUM GEOM ISSN 1534-1178 The Apollonius Circle and Related Triangle Centers Milorad R. Stevanović Abstract. We give a simple construction of the Apollonius
More informationSOME NEW THEOREMS IN PLANE GEOMETRY. In this article we will represent some ideas and a lot of new theorems in plane geometry.
SOME NEW THEOREMS IN PLNE GEOMETRY LEXNDER SKUTIN 1. Introduction arxiv:1704.04923v3 [math.mg] 30 May 2017 In this article we will represent some ideas and a lot of new theorems in plane geometry. 2. Deformation
More informationChapter 8. Feuerbach s theorem. 8.1 Distance between the circumcenter and orthocenter
hapter 8 Feuerbach s theorem 8.1 Distance between the circumcenter and orthocenter Y F E Z H N X D Proposition 8.1. H = R 1 8 cosαcos β cosγ). Proof. n triangle H, = R, H = R cosα, and H = β γ. y the law
More informationConstruction of Ajima Circles via Centers of Similitude
Forum Geometricorum Volume 15 (2015) 203 209. FORU GEO SS 1534-1178 onstruction of jima ircles via enters of Similitude ikolaos Dergiades bstract. We use the notion of the centers of similitude of two
More informationA Note on the Anticomplements of the Fermat Points
Forum Geometricorum Volume 9 (2009) 119 123. FORUM GEOM ISSN 1534-1178 Note on the nticomplements of the Fermat Points osmin Pohoata bstract. We show that each of the anticomplements of the Fermat points
More informationGeneralized Mandart Conics
Forum Geometricorum Volume 4 (2004) 177 198. FORUM GEOM ISSN 1534-1178 Generalized Mandart onics ernard Gibert bstract. We consider interesting conics associated with the configuration of three points
More informationThe Apollonius Circle as a Tucker Circle
Forum Geometricorum Volume 2 (2002) 175 182 FORUM GEOM ISSN 1534-1178 The Apollonius Circle as a Tucker Circle Darij Grinberg and Paul Yiu Abstract We give a simple construction of the circular hull of
More informationChapter 6. Basic triangle centers. 6.1 The Euler line The centroid
hapter 6 asic triangle centers 6.1 The Euler line 6.1.1 The centroid Let E and F be the midpoints of and respectively, and G the intersection of the medians E and F. onstruct the parallel through to E,
More informationConic 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
More informationarxiv: v1 [math.ho] 10 Feb 2018
RETIVE GEOMETRY LEXNDER SKUTIN arxiv:1802.03543v1 [math.ho] 10 Feb 2018 1. Introduction This work is a continuation of [1]. s in the previous article, here we will describe some interesting ideas and a
More informationForum Geometricorum Volume 6 (2006) FORUM GEOM ISSN Simmons Conics. Bernard Gibert
Forum Geometricorum Volume 6 (2006) 213 224. FORUM GEOM ISSN 1534-1178 Simmons onics ernard Gibert bstract. We study the conics introduced by T.. Simmons and generalize some of their properties. 1. Introduction
More informationGeometry. Class Examples (July 1) Paul Yiu. Department of Mathematics Florida Atlantic University. Summer 2014
Geometry lass Examples (July 1) Paul Yiu Department of Mathematics Florida tlantic University c b a Summer 2014 1 Example 1(a). Given a triangle, the intersection P of the perpendicular bisector of and
More informationOn Emelyanov s Circle Theorem
Journal for Geometry and Graphics Volume 9 005, No., 55 67. On Emelyanov s ircle Theorem Paul Yiu Department of Mathematical Sciences, Florida Atlantic University Boca Raton, Florida, 3343, USA email:
More informationCubics Related to Coaxial Circles
Forum Geometricorum Volume 8 (2008) 77 95. FORUM GEOM ISSN 1534-1178 ubics Related to oaxial ircles ernard Gibert bstract. This note generalizes a result of Paul Yiu on a locus associated with a triad
More informationChapter 2. The laws of sines and cosines. 2.1 The law of sines. Theorem 2.1 (The law of sines). Let R denote the circumradius of a triangle ABC.
hapter 2 The laws of sines and cosines 2.1 The law of sines Theorem 2.1 (The law of sines). Let R denote the circumradius of a triangle. 2R = a sin α = b sin β = c sin γ. α O O α as Since the area of a
More informationHow Pivotal Isocubics Intersect the Circumcircle
Forum Geometricorum Volume 7 (2007) 211 229. FORUM GEOM ISSN 1534-1178 How Pivotal Isocubics Intersect the ircumcircle ernard Gibert bstract. Given the pivotal isocubic K = pk(ω, P), we seek its common
More informationA MOST BASIC TRIAD OF PARABOLAS ASSOCIATED WITH A TRIANGLE
Global Journal of Advanced Research on Classical and Modern Geometries ISSN: 2284-5569, Vol.6, (207), Issue, pp.45-57 A MOST BASIC TRIAD OF PARABOLAS ASSOCIATED WITH A TRIANGLE PAUL YIU AND XIAO-DONG ZHANG
More informationXI Geometrical Olympiad in honour of I.F.Sharygin Final round. Grade 8. First day. Solutions Ratmino, 2015, July 30.
XI Geometrical Olympiad in honour of I.F.Sharygin Final round. Grade 8. First day. Solutions Ratmino, 2015, July 30. 1. (V. Yasinsky) In trapezoid D angles and are right, = D, D = + D, < D. Prove that
More informationXIV GEOMETRICAL OLYMPIAD IN HONOUR OF I.F.SHARYGIN The correspondence round. Solutions
XIV GEOMETRIL OLYMPI IN HONOUR OF I.F.SHRYGIN The correspondence round. Solutions 1. (L.Shteingarts, grade 8) Three circles lie inside a square. Each of them touches externally two remaining circles. lso
More informationSurvey of Geometry. Paul Yiu. Department of Mathematics Florida Atlantic University. Spring 2007
Survey of Geometry Paul Yiu Department of Mathematics Florida tlantic University Spring 2007 ontents 1 The circumcircle and the incircle 1 1.1 The law of cosines and its applications.............. 1 1.2
More informationThe Arbelos and Nine-Point Circles
Forum Geometricorum Volume 7 (2007) 115 120. FORU GEO ISSN 1534-1178 The rbelos and Nine-Point Circles uang Tuan ui bstract. We construct some new rchimedean circles in an arbelos in connection with the
More informationThe Cevian Simson Transformation
Forum Geometricorum Volume 14 (2014 191 200. FORUM GEOM ISSN 1534-1178 The evian Simson Transformation Bernard Gibert Abstract. We study a transformation whose origin lies in the relation between concurrent
More informationThe Napoleon Configuration
Forum eometricorum Volume 2 (2002) 39 46. FORUM EOM ISSN 1534-1178 The Napoleon onfiguration illes outte bstract. It is an elementary fact in triangle geometry that the two Napoleon triangles are equilateral
More informationIsogonal Conjugates. Navneel Singhal October 9, Abstract
Isogonal Conjugates Navneel Singhal navneel.singhal@ymail.com October 9, 2016 Abstract This is a short note on isogonality, intended to exhibit the uses of isogonality in mathematical olympiads. Contents
More informationOn the Feuerbach Triangle
Forum Geometricorum Volume 17 2017 289 300. FORUM GEOM ISSN 1534-1178 On the Feuerbach Triangle Dasari Naga Vijay Krishna bstract. We study the relations among the Feuerbach points of a triangle and the
More informationClassical Theorems in Plane Geometry 1
BERKELEY MATH CIRCLE 1999 2000 Classical Theorems in Plane Geometry 1 Zvezdelina Stankova-Frenkel UC Berkeley and Mills College Note: All objects in this handout are planar - i.e. they lie in the usual
More informationThe Droz-Farny Circles of a Convex Quadrilateral
Forum Geometricorum Volume 11 (2011) 109 119. FORUM GEOM ISSN 1534-1178 The Droz-Farny Circles of a Convex Quadrilateral Maria Flavia Mammana, Biagio Micale, and Mario Pennisi Abstract. The Droz-Farny
More informationIsogonal Conjugacy Through a Fixed Point Theorem
Forum Geometricorum Volume 16 (016 171 178. FORUM GEOM ISSN 1534-1178 Isogonal onjugacy Through a Fixed Point Theorem Sándor Nagydobai Kiss and Zoltán Kovács bstract. For an arbitrary point in the plane
More informationGeometry JWR. Monday September 29, 2003
Geometry JWR Monday September 29, 2003 1 Foundations In this section we see how to view geometry as algebra. The ideas here should be familiar to the reader who has learned some analytic geometry (including
More informationSteiner s porism and Feuerbach s theorem
hapter 10 Steiner s porism and Feuerbach s theorem 10.1 Euler s formula Lemma 10.1. f the bisector of angle intersects the circumcircle at M, then M is the center of the circle through,,, and a. M a Proof.
More informationGeometry. Class Examples (July 8) Paul Yiu. Department of Mathematics Florida Atlantic University. Summer 2014
Geometry lass Examples (July 8) Paul Yiu Department of Mathematics Florida tlantic University c b a Summer 2014 1 The incircle The internal angle bisectors of a triangle are concurrent at the incenter
More informationAdvanced Euclidean Geometry
dvanced Euclidean Geometry Paul iu Department of Mathematics Florida tlantic University Summer 2016 July 11 Menelaus and eva Theorems Menelaus theorem Theorem 0.1 (Menelaus). Given a triangle with points,,
More informationGeometry. Class Examples (July 3) Paul Yiu. Department of Mathematics Florida Atlantic University. Summer 2014
Geometry lass Examples (July 3) Paul Yiu Department of Mathematics Florida tlantic University c b a Summer 2014 Example 11(a): Fermat point. Given triangle, construct externally similar isosceles triangles
More informationProblems First day. 8 grade. Problems First day. 8 grade
First day. 8 grade 8.1. Let ABCD be a cyclic quadrilateral with AB = = BC and AD = CD. ApointM lies on the minor arc CD of its circumcircle. The lines BM and CD meet at point P, thelinesam and BD meet
More informationOn a Porism Associated with the Euler and Droz-Farny Lines
Forum Geometricorum Volume 7 (2007) 11 17. FRUM GEM ISS 1534-1178 n a Porism ssociated with the Euler and Droz-Farny Lines hristopher J. radley, David Monk, and Geoff. Smith bstract. The envelope of the
More informationGeometry of Regular Heptagons
Journal for eometry and raphics olume 9 (005) No. 119 1. eometry of Regular Heptagons vonko Čerin Kopernikova 7 10010 agreb roatia urope email: cerin@math.hr bstract. his paper explores some new geometric
More informationHagge circles revisited
agge circles revisited Nguyen Van Linh 24/12/2011 bstract In 1907, Karl agge wrote an article on the construction of circles that always pass through the orthocenter of a given triangle. The purpose of
More informationXII Geometrical Olympiad in honour of I.F.Sharygin Final round. Solutions. First day. 8 grade
XII Geometrical Olympiad in honour of I.F.Sharygin Final round. Solutions. First day. 8 grade Ratmino, 2016, July 31 1. (Yu.linkov) n altitude H of triangle bisects a median M. Prove that the medians of
More informationGeometry. Class Examples (July 1) Paul Yiu. Department of Mathematics Florida Atlantic University. Summer 2014
Geometry lass Examples (July 1) Paul Yiu Department of Mathematics Florida tlantic University c b a Summer 2014 21 Example 11: Three congruent circles in a circle. The three small circles are congruent.
More informationOn Tripolars and Parabolas
Forum Geometricorum Volume 12 (2012) 287 300. FORUM GEOM ISSN 1534-1178 On Tripolars and Parabolas Paris Pamfilos bstract. Starting with an analysis of the configuration of chords of contact points with
More informationAnother Variation on the Steiner-Lehmus Theme
Forum Geometricorum Volume 8 (2008) 131 140. FORUM GOM ISSN 1534-1178 Another Variation on the Steiner-Lehmus Theme Sadi Abu-Saymeh, Mowaffaq Hajja, and Hassan Ali ShahAli Abstract. Let the internal angle
More informationTriangles III. Stewart s Theorem (1746) Stewart s Theorem (1746) 9/26/2011. Stewart s Theorem, Orthocenter, Euler Line
Triangles III Stewart s Theorem, Orthocenter, uler Line 23-Sept-2011 M 341 001 1 Stewart s Theorem (1746) With the measurements given in the triangle below, the following relationship holds: a 2 n + b
More informationGeometry. Class Examples (July 10) Paul Yiu. Department of Mathematics Florida Atlantic University. Summer 2014
Geometry lass Examples (July 10) Paul iu Department of Mathematics Florida tlantic University c b a Summer 2014 1 Menelaus theorem Theorem (Menelaus). Given a triangle with points,, on the side lines,,
More informationAsymptotic Directions of Pivotal Isocubics
Forum Geometricorum Volume 14 (2014) 173 189. FRUM GEM ISSN 1534-1178 symptotic Directions of Pivotal Isocubics Bernard Gibert bstract. Given the pivotal isocubic K = pk(ω,p), we seek all the other isocubics
More informationOn the Thomson Triangle. 1 Definition and properties of the Thomson triangle
On the Thomson Triangle ernard ibert reated : June, 17 2012 Last update : March 17, 2016 bstract The Thomson cubic meets the circumcircle at,, and three other points Q 1, Q 2, Q 3 which are the vertices
More informationTheorem 1.2 (Converse of Pythagoras theorem). If the lengths of the sides of ABC satisfy a 2 + b 2 = c 2, then the triangle has a right angle at C.
hapter 1 Some asic Theorems 1.1 The ythagorean Theorem Theorem 1.1 (ythagoras). The lengths a b < c of the sides of a right triangle satisfy the relation a + b = c. roof. b a a 3 b b 4 b a b 4 1 a a 3
More informationBMC Intermediate II: Triangle Centers
M Intermediate II: Triangle enters Evan hen January 20, 2015 1 The Eyeballing Game Game 0. Given a point, the locus of points P such that the length of P is 5. Game 3. Given a triangle, the locus of points
More information22 SAMPLE PROBLEMS WITH SOLUTIONS FROM 555 GEOMETRY PROBLEMS
22 SPL PROLS WITH SOLUTIOS FRO 555 GOTRY PROLS SOLUTIOS S O GOTRY I FIGURS Y. V. KOPY Stanislav hobanov Stanislav imitrov Lyuben Lichev 1 Problem 3.9. Let be a quadrilateral. Let J and I be the midpoints
More informationSimple Relations Regarding the Steiner Inellipse of a Triangle
Forum Geometricorum Volume 10 (2010) 55 77. FORUM GEOM ISSN 1534-1178 Simple Relations Regarding the Steiner Inellipse of a Triangle Benedetto Scimemi Abstract. By applying analytic geometry within a special
More informationCircle Chains Inside a Circular Segment
Forum eometricorum Volume 9 (009) 73 79. FRUM EM ISSN 534-78 ircle hains Inside a ircular Segment iovanni Lucca bstract. We consider a generic circles chain that can be drawn inside a circular segment
More informationGeometry. Class Examples (July 29) Paul Yiu. Department of Mathematics Florida Atlantic University. Summer 2014
Geometry lass Examples (July 29) Paul Yiu Department of Mathematics Florida tlantic University c a Summer 2014 1 The Pythagorean Theorem Theorem (Pythagoras). The lengths a
More informationChapter 5. Menelaus theorem. 5.1 Menelaus theorem
hapter 5 Menelaus theorem 5.1 Menelaus theorem Theorem 5.1 (Menelaus). Given a triangle with points,, on the side lines,, respectively, the points,, are collinear if and only if = 1. W Proof. (= ) LetW
More informationA Construction of the Golden Ratio in an Arbitrary Triangle
Forum Geometricorum Volume 18 (2018) 239 244. FORUM GEOM ISSN 1534-1178 onstruction of the Golden Ratio in an rbitrary Triangle Tran Quang Hung bstract. We have known quite a lot about the construction
More informationDistances Among the Feuerbach Points
Forum Geometricorum Volume 16 016) 373 379 FORUM GEOM ISSN 153-1178 Distances mong the Feuerbach Points Sándor Nagydobai Kiss bstract We find simple formulas for the distances from the Feuerbach points
More informationXIV Geometrical Olympiad in honour of I.F.Sharygin Final round. Solutions. First day. 8 grade
XIV Geometrical Olympiad in honour of I.F.Sharygin Final round. Solutions. First day. 8 grade 1. (M.Volchkevich) The incircle of right-angled triangle A ( = 90 ) touches at point K. Prove that the chord
More informationMenelaus and Ceva theorems
hapter 3 Menelaus and eva theorems 3.1 Menelaus theorem Theorem 3.1 (Menelaus). Given a triangle with points,, on the side lines,, respectively, the points,, are collinear if and only if = 1. W Proof.
More informationChapter 1. Some Basic Theorems. 1.1 The Pythagorean Theorem
hapter 1 Some asic Theorems 1.1 The ythagorean Theorem Theorem 1.1 (ythagoras). The lengths a b < c of the sides of a right triangle satisfy the relation a 2 + b 2 = c 2. roof. b a a 3 2 b 2 b 4 b a b
More informationSurvey of Geometry. Supplementary Notes on Elementary Geometry. Paul Yiu. Department of Mathematics Florida Atlantic University.
Survey of Geometry Supplementary Notes on Elementary Geometry Paul Yiu Department of Mathematics Florida tlantic University Summer 2007 ontents 1 The Pythagorean theorem i 1.1 The hypotenuse of a right
More information2013 Sharygin Geometry Olympiad
Sharygin Geometry Olympiad 2013 First Round 1 Let ABC be an isosceles triangle with AB = BC. Point E lies on the side AB, and ED is the perpendicular from E to BC. It is known that AE = DE. Find DAC. 2
More informationPlane geometry Circles: Problems with some Solutions
The University of Western ustralia SHL F MTHMTIS & STTISTIS UW MY FR YUNG MTHMTIINS Plane geometry ircles: Problems with some Solutions 1. Prove that for any triangle, the perpendicular bisectors of the
More informationRevised Edition: 2016 ISBN All rights reserved.
Revised Edition: 2016 ISBN 978-1-280-29557-7 All rights reserved. Published by: Library Press 48 West 48 Street, Suite 1116, New York, NY 10036, United States Email: info@wtbooks.com Table of Contents
More informationSquare Wreaths Around Hexagons
Forum Geometricorum Volume 6 (006) 3 35. FORUM GEOM ISSN 534-78 Square Wreaths Around Hexagons Floor van Lamoen Abstract. We investigate the figures that arise when squares are attached to a triple of
More informationSimple Proofs of Feuerbach s Theorem and Emelyanov s Theorem
Forum Geometricorum Volume 18 (2018) 353 359. FORUM GEOM ISSN 1534-1178 Simple Proofs of Feuerbach s Theorem and Emelyanov s Theorem Nikolaos Dergiades and Tran Quang Hung Abstract. We give simple proofs
More informationCollinearity/Concurrence
Collinearity/Concurrence Ray Li (rayyli@stanford.edu) June 29, 2017 1 Introduction/Facts you should know 1. (Cevian Triangle) Let ABC be a triangle and P be a point. Let lines AP, BP, CP meet lines BC,
More informationTriangle Centers. Maria Nogin. (based on joint work with Larry Cusick)
Triangle enters Maria Nogin (based on joint work with Larry usick) Undergraduate Mathematics Seminar alifornia State University, Fresno September 1, 2017 Outline Triangle enters Well-known centers enter
More informationEquioptic Points of a Triangle
Journal for Geometry and Graphics Volume 17 (2013), No. 1, 1 10. Equioptic Points of a Triangle oris Odehnal Ordinariat für Geometrie, Universität für ngewandte Kunst Oskar Kokoschkaplatz 2, -1010 Wien,
More informationThe Menelaus and Ceva Theorems
hapter 7 The Menelaus and eva Theorems 7.1 7.1.1 Sign convention Let and be two distinct points. point on the line is said to divide the segment in the ratio :, positive if is between and, and negative
More informationA Distance Property of the Feuerbach Point and Its Extension
Forum Geometricorum Volume 16 (016) 83 90. FOUM GEOM ISSN 1534-1178 A Distance Property of the Feuerbach Point and Its Extension Sándor Nagydobai Kiss Abstract. We prove that among the distances from the
More informationAnother Proof of van Lamoen s Theorem and Its Converse
Forum Geometricorum Volume 5 (2005) 127 132. FORUM GEOM ISSN 1534-1178 Another Proof of van Lamoen s Theorem and Its Converse Nguyen Minh Ha Abstract. We give a proof of Floor van Lamoen s theorem and
More informationRecreational Mathematics
Recreational Mathematics Paul Yiu Department of Mathematics Florida Atlantic University Summer 2003 Chapters 5 8 Version 030630 Chapter 5 Greatest common divisor 1 gcd(a, b) as an integer combination of
More informationSingapore International Mathematical Olympiad Training Problems
Singapore International athematical Olympiad Training Problems 18 January 2003 1 Let be a point on the segment Squares D and EF are erected on the same side of with F lying on The circumcircles of D and
More informationCalgary Math Circles: Triangles, Concurrency and Quadrilaterals 1
Calgary Math Circles: Triangles, Concurrency and Quadrilaterals 1 1 Triangles: Basics This section will cover all the basic properties you need to know about triangles and the important points of a triangle.
More informationThe Simson Triangle and Its Properties
Forum Geometricorum Volume 7 07 373 38 FORUM GEOM ISSN 534-78 The Simson Triangle and Its Properties Todor Zaharinov bstract Let be a triangle and P P P 3 points on its circumscribed circle The Simson
More informationMidcircles and the Arbelos
Forum Geometricorum Volume 7 (2007) 53 65. FORUM GEOM ISSN 1534-1178 Midcircles and the rbelos Eric Danneels and Floor van Lamoen bstract. We begin with a study of inversions mapping one given circle into
More informationGeneralized Archimedean Arbelos Twins
Forum Geometricorum Volume 4 (204) 409 48 FORUM GEOM ISSN 534-78 Generalized rchimedean rbelos Twins Nikolaos Dergiades bstract We generalize the well known rchimedean arbelos twins by extending the notion
More informationNagel, Speiker, Napoleon, Torricelli. Centroid. Circumcenter 10/6/2011. MA 341 Topics in Geometry Lecture 17
Nagel, Speiker, Napoleon, Torricelli MA 341 Topics in Geometry Lecture 17 Centroid The point of concurrency of the three medians. 07-Oct-2011 MA 341 2 Circumcenter Point of concurrency of the three perpendicular
More information1/19 Warm Up Fast answers!
1/19 Warm Up Fast answers! The altitudes are concurrent at the? Orthocenter The medians are concurrent at the? Centroid The perpendicular bisectors are concurrent at the? Circumcenter The angle bisectors
More informationHarmonic Division and its Applications
Harmonic ivision and its pplications osmin Pohoata Let d be a line and,,, and four points which lie in this order on it. he four-point () is called a harmonic division, or simply harmonic, if =. If is
More informationBerkeley Math Circle, May
Berkeley Math Circle, May 1-7 2000 COMPLEX NUMBERS IN GEOMETRY ZVEZDELINA STANKOVA FRENKEL, MILLS COLLEGE 1. Let O be a point in the plane of ABC. Points A 1, B 1, C 1 are the images of A, B, C under symmetry
More informationForum Geometricorum Volume 1 (2001) FORUM GEOM ISSN Pl-Perpendicularity. Floor van Lamoen
Forum Geometricorum Volume 1 (2001) 151 160. FORUM GEOM ISSN 1534-1178 Pl-Perpendicularity Floor van Lamoen Abstract. It is well known that perpendicularity yields an involution on the line at infinity
More informationSOME NEW THEOREMS IN PLANE GEOMETRY II
SOME NEW THEOREMS IN PLANE GEOMETRY II ALEXANDER SKUTIN 1. Introduction This work is an extension of [1]. In fact, I used the same ideas and sections as in [1], but introduced other examples of applications.
More informationAffine Maps and Feuerbach s Theorem
Affine Maps and Feuerbach s Theorem arxiv:1711.09391v1 [math.mg] 26 Nov 2017 1 Introduction. Patrick Morton In this paper we will study several important affine maps in the geometry of a triangle, and
More informationTriangles III. Stewart s Theorem, Orthocenter, Euler Line. 23-Sept-2011 MA
Triangles III Stewart s Theorem, Orthocenter, Euler Line 23-Sept-2011 MA 341 001 1 Stewart s Theorem (1746) With the measurements given in the triangle below, the following relationship holds: a 2 n +
More informationThe Isogonal Tripolar Conic
Forum Geometricorum Volume 1 (2001) 33 42. FORUM GEOM The Isogonal Tripolar onic yril F. Parry bstract. In trilinear coordinates with respect to a given triangle, we define the isogonal tripolar of a point
More informationChapter 3. The angle bisectors. 3.1 The angle bisector theorem
hapter 3 The angle bisectors 3.1 The angle bisector theorem Theorem 3.1 (ngle bisector theorem). The bisectors of an angle of a triangle divide its opposite side in the ratio of the remaining sides. If
More informationarxiv: v1 [math.ho] 29 Nov 2017
The Two Incenters of the Arbitrary Convex Quadrilateral Nikolaos Dergiades and Dimitris M. Christodoulou ABSTRACT arxiv:1712.02207v1 [math.ho] 29 Nov 2017 For an arbitrary convex quadrilateral ABCD with
More informationOn the Generalized Gergonne Point and Beyond
Forum Geometricorum Volume 8 (2008) 151 155. FORUM GEOM SSN 1534-1178 On the Generalized Gergonne Point and Beyond Miklós Hoffmann and Sonja Gorjanc Abstract. n this paper we further extend the generalization
More information