Heptagonal triangle

  Regular heptagon
   Longer diagonals
  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.

Key points

The heptagonal triangle's nine-point center is also its first Brocard point.: Propos. 12 

The second Brocard point lies on the nine-point circle.: p. 19 

The circumcenter and the Fermat points of a heptagonal triangle form an equilateral triangle.: Thm. 22 

The distance between the circumcenter O and the orthocenter H is given by: p. 19 

OH=R2,

where R is the circumradius. The squared distance from the incenter I to the orthocenter is: p. 19 

IH2=R2+4r22,

where r is the inradius.

The two tangents from the orthocenter to the circumcircle are mutually perpendicular.: p. 19 

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 

a2=c(c−b),b2=a(c+a),c2=b(a+b),1a=1b+1c

(the latter: p. 13  being the optic equation) and hence

ab+ac=bc,

and: Coro. 2 

b3+2b2c−bc2−c3=0,
c3−2c2a−ca2+a3=0,
a3−2a2b−ab2+b3=0.

Thus –b/c, c/a, and a/b all satisfy the cubic equation

t3−2t2−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

a2bc,−b2ca,−c2ab

satisfy the cubic equation

t3+4t2+3t−1=0.

We also have

a3bc2,−b3ca2,c3ab2

satisfy the cubic equation

t3−t2−9t+1=0.

We also have

a3b2c,b3c2a,−c3a2b

satisfy the cubic equation

t3+5t2−8t+1=0.

We also have: p. 14 

b2−a2=ac,
c2−b2=ab,
a2−c2=−bc,

and: p. 15 

b2a2+c2b2+a2c2=5.

We also have

ab−bc+ca=0,
a3b−b3c+c3a=0,
a4b+b4c−c4a=0,
a11b3−b11c3+c11a3=0.

Altitudes

The altitudes ha, hb, and hc satisfy

ha=hb+hc: p. 13 

and

ha2+hb2+hc2=a2+b2+c22.: p. 14 

The altitude from side b (opposite angle B) is half the internal angle bisector wA of A:: p. 19 

2hb=wA.

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 wA,wB, and wC of angles A, B, and C respectively:: p. 16 

wA=b+c,
wB=c−a,
wC=b−a.

Circumradius, inradius, and exradius

The triangle's area is

A=74R2,

where R is the triangle's circumradius.

We have: p. 12 

a2+b2+c2=7R2.

We also have

a4+b4+c4=21R4.
a6+b6+c6=70R6.

The ratio r /R of the inradius to the circumradius is the positive solution of the cubic equation

8x3+28x2+14x−7=0.

In addition,: p. 15 

1a2+1b2+1c2=2R2.

We also have

1a4+1b4+1c4=2R4.
1a6+1b6+1c6=177R6.

In general for all integer n,

a2n+b2n+c2n=g(n)(2R)2n

where

g(−1)=8,g(0)=3,g(1)=7

and

g(n)=7g(n−1)−14g(n−2)+7g(n−3).

We also have

2b2−a2=7bR,2c2−b2=7cR,2a2−c2=−7aR.

We also have

a3c+b3a−c3b=−7R4,
a4c−b4a+c4b=77R5,
a11c3+b11a3−c11b3=−7317R14.

The exradius ra 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:

Trigonometric properties

Trigonometric identities

The various trigonometric identities associated with the heptagonal triangle include these:: pp. 13–14 

A=π7cos⁡A=b2aB=2π7cos⁡B=c2bC=4π7cos⁡C=−a2c: Proposition 10 

sin⁡A×sin⁡B×sin⁡C=78sin⁡A−sin⁡B−sin⁡C=−72cos⁡A×cos⁡B×cos⁡C=−18tan⁡A×tan⁡B×tan⁡C=−7tan⁡A+tan⁡B+tan⁡C=−7cot⁡A+cot⁡B+cot⁡C=7sin2A×sin2B×sin2C=764sin2A+sin2B+sin2C=74cos2A+cos2B+cos2C=54tan2A+tan2B+tan2C=21sec2A+sec2B+sec2C=24csc2A+csc2B+csc2C=8cot2A+cot2B+cot2C=5sin4A+sin4B+sin4C=2116cos4A+cos4B+cos4C=1316sec4A+sec4B+sec4C=416csc4A+csc4B+csc4C=32

tan⁡A−4sin⁡B=−7tan⁡B−4sin⁡C=−7tan⁡C+4sin⁡A=−7

cot2A=1−2tan⁡C7cot2B=1−2tan⁡A7cot2C=1−2tan⁡B7

cos⁡A=−12+47×sin3Csec⁡A=2+4×cos⁡Csec⁡A=6−8×sin2Bsec⁡A=4−167×sin3Bcot⁡A=7+87×sin2Bcot⁡A=37+47×cos⁡Bsin2A=12+12×cos⁡Bcos2A=34+27×sin3Acot2A=3+87×sin⁡Asin3A=−78+74×cos⁡Bcsc3A=−67+27×tan2C

sin⁡Asin⁡B−sin⁡Bsin⁡C+sin⁡Csin⁡A=0 sin3Bsin⁡C−sin3Csin⁡A−sin3Asin⁡B=0sin⁡Bsin3C−sin⁡Csin3A−sin⁡Asin3B=724sin4Bsin⁡C−sin4Csin⁡A+sin4Asin⁡B=0sin⁡Bsin4C+sin⁡Csin4A−sin⁡Asin4B=7725 sin11Bsin3C−sin11Csin3A−sin11Asin3B=0sin3Bsin11C−sin3Csin11A−sin3Asin11B=73⋅17214

Cubic polynomials

The cubic equation 64y3−112y2+56y−7=0 has solutions: p. 14  sin2A, sin2B, sin2C.

The positive solution of the cubic equation x3+x2−2x−1=0 equals 2cos⁡B.: p. 186–187 

The roots of the cubic equation x3−72x2+78=0 are sin⁡2A, sin⁡2B, sin⁡2C.

The roots of the cubic equation x3−72x2+78=0 are −sin⁡A, sin⁡B, sin⁡C.

The roots of the cubic equation x3+12x2−12x−18=0 are −cos⁡A, cos⁡B, cos⁡C.

The roots of the cubic equation x3+7x2−7x+7=0 are tan⁡A, tan⁡B, tan⁡C.

The roots of the cubic equation x3−21x2+35x−7=0 are tan2A, tan2B, tan2C.

Sequences

For an integer n, let S(n)=(−sin⁡A)n+sinnB+sinnCC(n)=(−cos⁡A)n+cosnB+cosnCT(n)=tannA+tannB+tannC

Value of n:01234567891011121314151617181920
S(n)  3 72722727⋅32477247⋅5257272772⋅5287⋅2572972⋅92972⋅13721172⋅3321172⋅372974⋅521472⋅179721573⋅13121673⋅3721273⋅49321873⋅181721875⋅19219
S(−n) 3023−23⋅37725−25⋅57726⋅177−27729⋅117−210⋅33772210⋅297−214⋅11772212⋅26972−213⋅117772214⋅517−221⋅17773217⋅23772−217⋅1445773219⋅220373−219⋅1919773220⋅585173
C(n) 3−1254−121316−121932−57128117256−193512185512
C(−n) 3−424−88416−18248256−36992166400−7475203359744
T(n) 3−77⋅3−3177⋅53−7⋅8777⋅1011−72⋅239772⋅2771−7⋅32119772⋅53189
T(−n) 3752577191037756377⋅972421713297772104357

Ramanujan identities

We also have Ramanujan type identities,

2sin⁡2A3+2sin⁡2B3+2sin⁡2C3=−718×−73+6+3(5−3733+4−3733)32sin⁡2A3+2sin⁡2B3+2sin⁡2C3=−718×−73+6+3(5−3733+4−3733)34sin22A3+4sin22B3+4sin22C3=4918×493+6+3(12+3(493+273)3+11+3(493+273)3)32cos⁡2A3+2cos⁡2B3+2cos⁡2C3=5−37334cos22A3+4cos22B3+4cos22C3=11+3(273+493)3tan⁡2A3+tan⁡2B3+tan⁡2C3=−718×73+6+3(5+3(73−493)3+−3+3(73−493)3)3tan22A3+tan22B3+tan22C3=4918×3493+6+3(89+3(3493+573)3+25+3(3493+573)3)3

12sin⁡2A3+12sin⁡2B3+12sin⁡2C3=−1718×6+3(5−3733+4−3733)314sin22A3+14sin22B3+14sin22C3=14918×273+6+3(12+3(493+273)3+11+3(493+273)3)312cos⁡2A3+12cos⁡2B3+12cos⁡2C3=4−373314cos22A3+14cos22B3+14cos22C3=12+3(273+493)31tan⁡2A3+1tan⁡2B3+1tan⁡2C3=−1718×−493+6+3(5+3(73−493)3+−3+3(73−493)3)31tan22A3+1tan22B3+1tan22C3=14918×573+6+3(89+3(3493+573)3+25+3(3493+573)3)3

cos⁡2Acos⁡2B3+cos⁡2Bcos⁡2C3+cos⁡2Ccos⁡2A3=−73cos⁡2Bcos⁡2A3+cos⁡2Ccos⁡2B3+cos⁡2Acos⁡2C3=0cos42Bcos⁡2A3+cos42Ccos⁡2B3+cos42Acos⁡2C3=−4932cos52Acos22B3+cos52Bcos22C3+cos52Ccos22A3=0cos52Bcos22A3+cos52Ccos22B3+cos52Acos22C3=−3×732cos142Acos52B3+cos142Bcos52C3+cos142Ccos52A3=0cos142Bcos52A3+cos142Ccos52B3+cos142Acos52C3=−61×738.

References

  1. 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.
  2. 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.
  3. 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.
  4. 1 2 3 4 5 6 7 8 9 Wang, Kai (2019). "Heptagonal Triangle and Trigonometric Identities". Forum Geometricorum. 19: 29–38.
  5. ↑ Wang, Kai (August 2019). "On cubic equations with zero sums of cubic roots of roots" – via ResearchGate.
  6. 1 2 3 Weisstein, Eric W. "Heptagonal Triangle". mathworld.wolfram.com. Retrieved 2024-08-02.
  7. 1 2 3 4 5 6 Wang, Kai (September 2018). "Trigonometric Properties For Heptagonal Triangle" – via ResearchGate.
  8. ↑ Moll, Victor H. (2007-09-24). "An elementary trigonometric equation". arXiv:0709.3755 [math.NT].
  9. 1 2 Wang, Kai (October 2019). "On Ramanujan Type Identities For PI/7" – via ResearchGate.
  10. ↑ 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.
  11. ↑ 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.