Heptagonal Triangles and Their Companions

Size: px
Start display at page:

Download "Heptagonal Triangles and Their Companions"

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

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 information

On the Circumcenters of Cevasix Configurations

On 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 information

A Note on Reflections

A 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 information

The circumcircle and the incircle

The 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 information

The Lemoine Cubic and Its Generalizations

The 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 information

Some Collinearities in the Heptagonal Triangle

Some 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 information

Isotomic Inscribed Triangles and Their Residuals

Isotomic 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 information

A Note on the Barycentric Square Roots of Kiepert Perspectors

A 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 information

Three Natural Homoteties of The Nine-Point Circle

Three 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 information

GEOMETRY OF KIEPERT AND GRINBERG MYAKISHEV HYPERBOLAS

GEOMETRY 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 information

Bicevian Tucker Circles

Bicevian 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 information

Construction of a Triangle from the Feet of Its Angle Bisectors

Construction 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 information

XIII GEOMETRICAL OLYMPIAD IN HONOUR OF I.F.SHARYGIN The correspondence round. Solutions

XIII 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 information

The Apollonius Circle and Related Triangle Centers

The 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 information

SOME 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 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 information

Chapter 8. Feuerbach s theorem. 8.1 Distance between the circumcenter and orthocenter

Chapter 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 information

Construction of Ajima Circles via Centers of Similitude

Construction 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 information

A Note on the Anticomplements of the Fermat Points

A 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 information

Generalized Mandart Conics

Generalized 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 information

The Apollonius Circle as a Tucker Circle

The 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 information

Chapter 6. Basic triangle centers. 6.1 The Euler line The centroid

Chapter 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 information

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

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

More information

arxiv: v1 [math.ho] 10 Feb 2018

arxiv: 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 information

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

Forum 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 information

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

Geometry. 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 information

On Emelyanov s Circle Theorem

On 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 information

Cubics Related to Coaxial Circles

Cubics 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 information

Chapter 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.

Chapter 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 information

How Pivotal Isocubics Intersect the Circumcircle

How 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 information

A MOST BASIC TRIAD OF PARABOLAS ASSOCIATED WITH A TRIANGLE

A 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 information

XI 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. 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 information

XIV GEOMETRICAL OLYMPIAD IN HONOUR OF I.F.SHARYGIN The correspondence round. Solutions

XIV 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 information

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

Survey 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 information

The Arbelos and Nine-Point Circles

The 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 information

The Cevian Simson Transformation

The 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 information

The Napoleon Configuration

The 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 information

Isogonal Conjugates. Navneel Singhal October 9, Abstract

Isogonal 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 information

On the Feuerbach Triangle

On 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 information

Classical Theorems in Plane Geometry 1

Classical 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 information

The Droz-Farny Circles of a Convex Quadrilateral

The 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 information

Isogonal Conjugacy Through a Fixed Point Theorem

Isogonal 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 information

Geometry JWR. Monday September 29, 2003

Geometry 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 information

Steiner s porism and Feuerbach s theorem

Steiner 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 information

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

Geometry. 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 information

Advanced Euclidean Geometry

Advanced 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 information

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

Geometry. 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 information

Problems First day. 8 grade. Problems First day. 8 grade

Problems 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 information

On a Porism Associated with the Euler and Droz-Farny Lines

On 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 information

Geometry of Regular Heptagons

Geometry 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 information

Hagge circles revisited

Hagge 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 information

XII 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 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 information

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

Geometry. 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 information

On Tripolars and Parabolas

On 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 information

Another Variation on the Steiner-Lehmus Theme

Another 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 information

Triangles III. Stewart s Theorem (1746) Stewart s Theorem (1746) 9/26/2011. Stewart s Theorem, Orthocenter, Euler Line

Triangles 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 information

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

Geometry. 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 information

Asymptotic Directions of Pivotal Isocubics

Asymptotic 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 information

On the Thomson Triangle. 1 Definition and properties of the Thomson triangle

On 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 information

Theorem 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.

Theorem 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 information

BMC Intermediate II: Triangle Centers

BMC 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 information

22 SAMPLE PROBLEMS WITH SOLUTIONS FROM 555 GEOMETRY PROBLEMS

22 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 information

Simple Relations Regarding the Steiner Inellipse of a Triangle

Simple 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 information

Circle Chains Inside a Circular Segment

Circle 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 information

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

Geometry. 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 information

Chapter 5. Menelaus theorem. 5.1 Menelaus theorem

Chapter 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 information

A Construction of the Golden Ratio in an Arbitrary Triangle

A 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 information

Distances Among the Feuerbach Points

Distances 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 information

XIV 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 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 information

Menelaus and Ceva theorems

Menelaus 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 information

Chapter 1. Some Basic Theorems. 1.1 The Pythagorean Theorem

Chapter 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 information

Survey 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 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 information

2013 Sharygin Geometry Olympiad

2013 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 information

Plane geometry Circles: Problems with some Solutions

Plane 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 information

Revised Edition: 2016 ISBN All rights reserved.

Revised 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 information

Square Wreaths Around Hexagons

Square 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 information

Simple Proofs of Feuerbach s Theorem and Emelyanov s Theorem

Simple 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 information

Collinearity/Concurrence

Collinearity/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 information

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

Triangle 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 information

Equioptic Points of a Triangle

Equioptic 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 information

The Menelaus and Ceva Theorems

The 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 information

A Distance Property of the Feuerbach Point and Its Extension

A 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 information

Another Proof of van Lamoen s Theorem and Its Converse

Another 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 information

Recreational Mathematics

Recreational 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 information

Singapore International Mathematical Olympiad Training Problems

Singapore 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 information

Calgary Math Circles: Triangles, Concurrency and Quadrilaterals 1

Calgary 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 information

The Simson Triangle and Its Properties

The 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 information

Midcircles and the Arbelos

Midcircles 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 information

Generalized Archimedean Arbelos Twins

Generalized 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 information

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

Nagel, 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 information

1/19 Warm Up Fast answers!

1/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 information

Harmonic Division and its Applications

Harmonic 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 information

Berkeley Math Circle, May

Berkeley 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 information

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

Forum 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 information

SOME NEW THEOREMS IN PLANE GEOMETRY II

SOME 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 information

Affine Maps and Feuerbach s Theorem

Affine 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 information

Triangles III. Stewart s Theorem, Orthocenter, Euler Line. 23-Sept-2011 MA

Triangles 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 information

The Isogonal Tripolar Conic

The 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 information

Chapter 3. The angle bisectors. 3.1 The angle bisector theorem

Chapter 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 information

arxiv: v1 [math.ho] 29 Nov 2017

arxiv: 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 information

On the Generalized Gergonne Point and Beyond

On 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