Heptagonal triangle
Obtuse triangle formed by the side and diagonals of a regular heptagon
Shorter diagonals
Each of the fourteen congruent heptagonal triangles has one green side, one blue side, and one red side.
In Euclidean geometry , a heptagonal triangle is an obtuse , scalene triangle whose vertices coincide with the first, second, and fourth vertices of a regular heptagon (from an arbitrary starting vertex). Thus its sides coincide with one side and the adjacent shorter and longer diagonals of the regular heptagon. All heptagonal triangles are similar (have the same shape), and so they are collectively known as the heptagonal triangle. Its angles have measures π / 7 , 2 π / 7 , and 4 π / 7 , and it is the only triangle with angles in the ratios 1:2:4. The heptagonal triangle has various remarkable properties.
Relations of distances
Sides
The heptagonal triangle's sides a < b < c coincide respectively with the regular heptagon's side, shorter diagonal, and longer diagonal. They satisfy: Lemma 1
a 2 = c ( c − b ) , b 2 = a ( c + a ) , c 2 = b ( a + b ) , 1 a = 1 b + 1 c
(the latter: p. 13 being the optic equation ) and hence
a b + a c = b c ,
and: Coro. 2
b 3 + 2 b 2 c − b c 2 − c 3 = 0 ,
c 3 − 2 c 2 a − c a 2 + a 3 = 0 ,
a 3 − 2 a 2 b − a b 2 + b 3 = 0.
Thus –b /c , c /a , and a /b all satisfy the cubic equation
t 3 − 2 t 2 − t + 1 = 0.
However, no algebraic expressions with purely real terms exist for the solutions of this equation, because it is an example of casus irreducibilis .
The approximate relation of the sides is
b ≈ 1.80193 ⋅ a , c ≈ 2.24698 ⋅ a .
We also have
a 2 b c , − b 2 c a , − c 2 a b
satisfy the cubic equation
t 3 + 4 t 2 + 3 t − 1 = 0.
We also have
a 3 b c 2 , − b 3 c a 2 , c 3 a b 2
satisfy the cubic equation
t 3 − t 2 − 9 t + 1 = 0.
We also have
a 3 b 2 c , b 3 c 2 a , − c 3 a 2 b
satisfy the cubic equation
t 3 + 5 t 2 − 8 t + 1 = 0.
We also have: p. 14
b 2 − a 2 = a c ,
c 2 − b 2 = a b ,
a 2 − c 2 = − b c ,
and: p. 15
b 2 a 2 + c 2 b 2 + a 2 c 2 = 5.
We also have
a b − b c + c a = 0 ,
a 3 b − b 3 c + c 3 a = 0 ,
a 4 b + b 4 c − c 4 a = 0 ,
a 11 b 3 − b 11 c 3 + c 11 a 3 = 0.
Altitudes
The altitudes h a , h b , and h c satisfy
h a = h b + h c : p. 13
and
h a 2 + h b 2 + h c 2 = a 2 + b 2 + c 2 2 . : p. 14
The altitude from side b (opposite angle B ) is half the internal angle bisector w A of A :: p. 19
2 h b = w A .
Here angle A is the smallest angle, and B is the second smallest.
Internal angle bisectors
We have these properties of the internal angle bisectors w A , w B , and w C of angles A, B , and C respectively:: p. 16
w A = b + c ,
w B = c − a ,
w C = b − a .
Circumradius, inradius, and exradius
The triangle's area is
A = 7 4 R 2 ,
where R is the triangle's circumradius .
We have: p. 12
a 2 + b 2 + c 2 = 7 R 2 .
We also have
a 4 + b 4 + c 4 = 21 R 4 .
a 6 + b 6 + c 6 = 70 R 6 .
The ratio r /R of the inradius to the circumradius is the positive solution of the cubic equation
8 x 3 + 28 x 2 + 14 x − 7 = 0.
In addition,: p. 15
1 a 2 + 1 b 2 + 1 c 2 = 2 R 2 .
We also have
1 a 4 + 1 b 4 + 1 c 4 = 2 R 4 .
1 a 6 + 1 b 6 + 1 c 6 = 17 7 R 6 .
In general for all integer n ,
a 2 n + b 2 n + c 2 n = g ( n ) ( 2 R ) 2 n
where
g ( − 1 ) = 8 , g ( 0 ) = 3 , g ( 1 ) = 7
and
g ( n ) = 7 g ( n − 1 ) − 14 g ( n − 2 ) + 7 g ( n − 3 ) .
We also have
2 b 2 − a 2 = 7 b R , 2 c 2 − b 2 = 7 c R , 2 a 2 − c 2 = − 7 a R .
We also have
a 3 c + b 3 a − c 3 b = − 7 R 4 ,
a 4 c − b 4 a + c 4 b = 7 7 R 5 ,
a 11 c 3 + b 11 a 3 − c 11 b 3 = − 7 3 17 R 14 .
The exradius r a corresponding to side a equals the radius of the nine-point circle of the heptagonal triangle.: p. 15
Orthic triangle
The heptagonal triangle's orthic triangle , with vertices at the feet of the altitudes , is similar to the heptagonal triangle, with similarity ratio 1:2. The heptagonal triangle is the only obtuse triangle that is similar to its orthic triangle (the equilateral triangle being the only acute one).: pp. 12–13
Hyperbola
The rectangular hyperbola through A , B , C , G = X ( 2 ) , H = X ( 4 ) has the following properties:
first focus F 1 = X ( 5 )
center U is on Euler circle (general property) and on circle ( O , F 1 )
second focus F 2 is on the circumcircle
Trigonometric properties
Trigonometric identities
The various trigonometric identities associated with the heptagonal triangle include these:: pp. 13–14
A = π 7 cos A = b 2 a B = 2 π 7 cos B = c 2 b C = 4 π 7 cos C = − a 2 c : Proposition 10
sin A × sin B × sin C = 7 8 sin A − sin B − sin C = − 7 2 cos A × cos B × cos C = − 1 8 tan A × tan B × tan C = − 7 tan A + tan B + tan C = − 7 cot A + cot B + cot C = 7 sin 2 A × sin 2 B × sin 2 C = 7 64 sin 2 A + sin 2 B + sin 2 C = 7 4 cos 2 A + cos 2 B + cos 2 C = 5 4 tan 2 A + tan 2 B + tan 2 C = 21 sec 2 A + sec 2 B + sec 2 C = 24 csc 2 A + csc 2 B + csc 2 C = 8 cot 2 A + cot 2 B + cot 2 C = 5 sin 4 A + sin 4 B + sin 4 C = 21 16 cos 4 A + cos 4 B + cos 4 C = 13 16 sec 4 A + sec 4 B + sec 4 C = 416 csc 4 A + csc 4 B + csc 4 C = 32
tan A − 4 sin B = − 7 tan B − 4 sin C = − 7 tan C + 4 sin A = − 7
cot 2 A = 1 − 2 tan C 7 cot 2 B = 1 − 2 tan A 7 cot 2 C = 1 − 2 tan B 7
cos A = − 1 2 + 4 7 × sin 3 C sec A = 2 + 4 × cos C sec A = 6 − 8 × sin 2 B sec A = 4 − 16 7 × sin 3 B cot A = 7 + 8 7 × sin 2 B cot A = 3 7 + 4 7 × cos B sin 2 A = 1 2 + 1 2 × cos B cos 2 A = 3 4 + 2 7 × sin 3 A cot 2 A = 3 + 8 7 × sin A sin 3 A = − 7 8 + 7 4 × cos B csc 3 A = − 6 7 + 2 7 × tan 2 C
sin A sin B − sin B sin C + sin C sin A = 0
sin 3 B sin C − sin 3 C sin A − sin 3 A sin B = 0 sin B sin 3 C − sin C sin 3 A − sin A sin 3 B = 7 2 4 sin 4 B sin C − sin 4 C sin A + sin 4 A sin B = 0 sin B sin 4 C + sin C sin 4 A − sin A sin 4 B = 7 7 2 5
sin 11 B sin 3 C − sin 11 C sin 3 A − sin 11 A sin 3 B = 0 sin 3 B sin 11 C − sin 3 C sin 11 A − sin 3 A sin 11 B = 7 3 ⋅ 17 2 14
Cubic polynomials
The cubic equation 64 y 3 − 112 y 2 + 56 y − 7 = 0 has solutions: p. 14 sin 2 A , sin 2 B , sin 2 C .
The positive solution of the cubic equation x 3 + x 2 − 2 x − 1 = 0 equals 2 cos B . : p. 186–187
The roots of the cubic equation x 3 − 7 2 x 2 + 7 8 = 0 are sin 2 A , sin 2 B , sin 2 C .
The roots of the cubic equation x 3 − 7 2 x 2 + 7 8 = 0 are − sin A , sin B , sin C .
The roots of the cubic equation x 3 + 1 2 x 2 − 1 2 x − 1 8 = 0 are − cos A , cos B , cos C .
The roots of the cubic equation x 3 + 7 x 2 − 7 x + 7 = 0 are tan A , tan B , tan C .
The roots of the cubic equation x 3 − 21 x 2 + 35 x − 7 = 0 are tan 2 A , tan 2 B , tan 2 C .
Sequences
For an integer n , let
S ( n ) = ( − sin A ) n + sin n B + sin n C C ( n ) = ( − cos A ) n + cos n B + cos n C T ( n ) = tan n A + tan n B + tan n C
Value of n : 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
S ( n )
3 7 2 7 2 2 7 2 7 ⋅ 3 2 4 7 7 2 4 7 ⋅ 5 2 5 7 2 7 2 7 7 2 ⋅ 5 2 8 7 ⋅ 25 7 2 9 7 2 ⋅ 9 2 9 7 2 ⋅ 13 7 2 11 7 2 ⋅ 33 2 11 7 2 ⋅ 3 7 2 9 7 4 ⋅ 5 2 14 7 2 ⋅ 179 7 2 15 7 3 ⋅ 131 2 16 7 3 ⋅ 3 7 2 12 7 3 ⋅ 493 2 18 7 3 ⋅ 181 7 2 18 7 5 ⋅ 19 2 19
S ( − n )
3 0 2 3 − 2 3 ⋅ 3 7 7 2 5 − 2 5 ⋅ 5 7 7 2 6 ⋅ 17 7 − 2 7 7 2 9 ⋅ 11 7 − 2 10 ⋅ 33 7 7 2 2 10 ⋅ 29 7 − 2 14 ⋅ 11 7 7 2 2 12 ⋅ 269 7 2 − 2 13 ⋅ 117 7 7 2 2 14 ⋅ 51 7 − 2 21 ⋅ 17 7 7 3 2 17 ⋅ 237 7 2 − 2 17 ⋅ 1445 7 7 3 2 19 ⋅ 2203 7 3 − 2 19 ⋅ 1919 7 7 3 2 20 ⋅ 5851 7 3
C ( n )
3 − 1 2 5 4 − 1 2 13 16 − 1 2 19 32 − 57 128 117 256 − 193 512 185 512
C ( − n )
3 − 4 24 − 88 416 − 1824 8256 − 36992 166400 − 747520 3359744
T ( n )
3 − 7 7 ⋅ 3 − 31 7 7 ⋅ 53 − 7 ⋅ 87 7 7 ⋅ 1011 − 7 2 ⋅ 239 7 7 2 ⋅ 2771 − 7 ⋅ 32119 7 7 2 ⋅ 53189
T ( − n )
3 7 5 25 7 7 19 103 7 7 563 7 7 ⋅ 9 7 2421 7 13297 7 7 2 10435 7
Ramanujan identities
We also have Ramanujan type identities,
2 sin 2 A 3 + 2 sin 2 B 3 + 2 sin 2 C 3 = − 7 18 × − 7 3 + 6 + 3 ( 5 − 3 7 3 3 + 4 − 3 7 3 3 ) 3 2 sin 2 A 3 + 2 sin 2 B 3 + 2 sin 2 C 3 = − 7 18 × − 7 3 + 6 + 3 ( 5 − 3 7 3 3 + 4 − 3 7 3 3 ) 3 4 sin 2 2 A 3 + 4 sin 2 2 B 3 + 4 sin 2 2 C 3 = 49 18 × 49 3 + 6 + 3 ( 12 + 3 ( 49 3 + 2 7 3 ) 3 + 11 + 3 ( 49 3 + 2 7 3 ) 3 ) 3 2 cos 2 A 3 + 2 cos 2 B 3 + 2 cos 2 C 3 = 5 − 3 7 3 3 4 cos 2 2 A 3 + 4 cos 2 2 B 3 + 4 cos 2 2 C 3 = 11 + 3 ( 2 7 3 + 49 3 ) 3 tan 2 A 3 + tan 2 B 3 + tan 2 C 3 = − 7 18 × 7 3 + 6 + 3 ( 5 + 3 ( 7 3 − 49 3 ) 3 + − 3 + 3 ( 7 3 − 49 3 ) 3 ) 3 tan 2 2 A 3 + tan 2 2 B 3 + tan 2 2 C 3 = 49 18 × 3 49 3 + 6 + 3 ( 89 + 3 ( 3 49 3 + 5 7 3 ) 3 + 25 + 3 ( 3 49 3 + 5 7 3 ) 3 ) 3
1 2 sin 2 A 3 + 1 2 sin 2 B 3 + 1 2 sin 2 C 3 = − 1 7 18 × 6 + 3 ( 5 − 3 7 3 3 + 4 − 3 7 3 3 ) 3 1 4 sin 2 2 A 3 + 1 4 sin 2 2 B 3 + 1 4 sin 2 2 C 3 = 1 49 18 × 2 7 3 + 6 + 3 ( 12 + 3 ( 49 3 + 2 7 3 ) 3 + 11 + 3 ( 49 3 + 2 7 3 ) 3 ) 3 1 2 cos 2 A 3 + 1 2 cos 2 B 3 + 1 2 cos 2 C 3 = 4 − 3 7 3 3 1 4 cos 2 2 A 3 + 1 4 cos 2 2 B 3 + 1 4 cos 2 2 C 3 = 12 + 3 ( 2 7 3 + 49 3 ) 3 1 tan 2 A 3 + 1 tan 2 B 3 + 1 tan 2 C 3 = − 1 7 18 × − 49 3 + 6 + 3 ( 5 + 3 ( 7 3 − 49 3 ) 3 + − 3 + 3 ( 7 3 − 49 3 ) 3 ) 3 1 tan 2 2 A 3 + 1 tan 2 2 B 3 + 1 tan 2 2 C 3 = 1 49 18 × 5 7 3 + 6 + 3 ( 89 + 3 ( 3 49 3 + 5 7 3 ) 3 + 25 + 3 ( 3 49 3 + 5 7 3 ) 3 ) 3
cos 2 A cos 2 B 3 + cos 2 B cos 2 C 3 + cos 2 C cos 2 A 3 = − 7 3 cos 2 B cos 2 A 3 + cos 2 C cos 2 B 3 + cos 2 A cos 2 C 3 = 0 cos 4 2 B cos 2 A 3 + cos 4 2 C cos 2 B 3 + cos 4 2 A cos 2 C 3 = − 49 3 2 cos 5 2 A cos 2 2 B 3 + cos 5 2 B cos 2 2 C 3 + cos 5 2 C cos 2 2 A 3 = 0 cos 5 2 B cos 2 2 A 3 + cos 5 2 C cos 2 2 B 3 + cos 5 2 A cos 2 2 C 3 = − 3 × 7 3 2 cos 14 2 A cos 5 2 B 3 + cos 14 2 B cos 5 2 C 3 + cos 14 2 C cos 5 2 A 3 = 0 cos 14 2 B cos 5 2 A 3 + cos 14 2 C cos 5 2 B 3 + cos 14 2 A cos 5 2 C 3 = − 61 × 7 3 8 .
References
1 2 Yiu, Paul (2009). "Heptagonal Triangles and Their Companions" (PDF) . Forum Geometricorum . 9 : 125– 148. Archived from the original (PDF) on 2017-02-12. Retrieved 2016-06-15 .
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 Bankoff, Leon; Garfunkel, Jack (1973). "The Heptagonal Triangle". Mathematics Magazine . 46 (1): 7– 19. doi :10.2307/2688574 . JSTOR 2688574 .
1 2 Altintas, Abdilkadir (2016). "Some Collinearities in the Heptagonal Triangle" (PDF) . Forum Geometricorum . 16 : 249– 256. Archived from the original (PDF) on 2016-08-13. Retrieved 2016-06-15 .
1 2 3 4 5 6 7 8 9 Wang, Kai (2019). "Heptagonal Triangle and Trigonometric Identities". Forum Geometricorum . 19 : 29– 38.
↑ Wang, Kai (August 2019). "On cubic equations with zero sums of cubic roots of roots" – via ResearchGate.
1 2 3 Weisstein, Eric W. "Heptagonal Triangle" . mathworld.wolfram.com . Retrieved 2024-08-02 .
1 2 3 4 5 6 Wang, Kai (September 2018). "Trigonometric Properties For Heptagonal Triangle" – via ResearchGate.
↑ Moll, Victor H. (2007-09-24). "An elementary trigonometric equation". arXiv :0709.3755 [math.NT ].
1 2 Wang, Kai (October 2019). "On Ramanujan Type Identities For PI/7" – via ResearchGate.
↑ Gleason, Andrew Mattei (March 1988). "Angle trisection, the heptagon, and the triskaidecagon" (PDF) . The American Mathematical Monthly . 95 (3): 185– 194. doi :10.2307/2323624 . JSTOR 2323624 . Archived from the original (PDF) on 2015-12-19.
↑ Witula, Roman; Slota, Damian (2007). "New Ramanujan-Type Formulas and Quasi-Fibonacci Numbers of Order 7" (PDF) . Journal of Integer Sequences . 10 (5) 07.5.6. Bibcode :2007JIntS..10...56W .