Heptagonal Triangle

The unique (modulo rotations) scalene triangle formed from three vertices of a regular heptagon, having vertex angles
, , and . There are a number of amazing formulas connecting the sides and angles of the heptagonal
triangle (Bankoff and Garfunkel 1973).

(12)
(13)
(14)
(15)
(16)
(17)
(18)
(19)
(20)
(21)
(22)
(23)
(24)
(25)
(26)
(27)
(28)
(29)
(30)
(31
 (12)
 2 4
A  , B   2 , C   4 ve 7   olmak üzere
7 7 7
cosA cos B cos C  cos  cos  cos 4
2sin  cos  cos  cos 4

2sin 
2sin 2 cos 2 cos 4

4sin 
2sin 4 cos 4

8sin 
sin 8
 sin 8   sin 
8sin 
1

8

(13)
cos A  cos B  cos C  cos   cos 2  cos 4
2 2 2 2 2 2

1  cos 2 1  cos 4 1  cos8

   cos8  cos 6
2 2 2
3 1
   cos 2  cos 4  cos 6 
2 2
3 1  sin  cos 2  sin  cos 4  sin  cos 6 
   
2 2 sin  
3 1  sin   sin 3  sin 3  sin 5  sin 5  sin 7 
   
2 4 sin  
3 1 5
  
2 4 4

(14)
cos A  cos B  cos C  cos   cos 2  cos 4
4 4 4 4 4 4

  cos 2     cos 2 2    cos 2 4 

2 2 2

 1  cos 2   1  cos 4   1  cos8 

2 2 2

      cos8  cos 6
 2   2   2 
1  2 cos 2  cos 2 2  1  2 cos 4  cos 2 4  1  2 cos 6  cos 2 6

4
3  2  cos 2  cos 4  cos 6   cos 2 2  cos 2 4  cos 2 6

4
2  cos 2  cos 4  cos 6
2 2 2
 cos 6  cos8   cos 
4
2  cos 2   cos 2 2  cos 2 4

4
5
2
 4  13
4 16
 (15)
 cos A  cos 2 B  cos 2 C   cos 4 A  cos 4 B  cos 4 C  2  cos 2 A cos 2 B  cos 2 A cos 2 C  cos 2 B cos 2 C 
2 2

2
 5  13
    2  cos A cos B  cos A cos C  cos B cos C 
2 2 2 2 2 2

 
4 16
3
cos 2 A cos 2 B  cos 2 A cos 2 C  cos 2 B cos 2 C 
8

(16)
cos 2 A  cos 2 B  cos 2C  cos 2  cos 4  cos8 cos8  cos 6
1  sin  cos 2  sin  cos 4  sin  cos 6 
  
2 sin  
1  sin   sin 3  sin 3  sin 5  sin 5  sin 7 
  
2 sin  
1

2

(17)
cot A  cot B  cot C  cot   cot 2  cot 4  T
T 2   cot   cot 2  cot 4 
2

T 2  cot 2   cot 2 2  cot 2 4  2  cot  cot 2  cot  cot 4  cot 2 cot 4 

*   2  4    cot  cot 2  cot  cot 4  cot 2 cot 4  1 *
T 2  1  cot 2   cot 2 2  cot 2 4  3
 cosec 2  cosec 2 2  cosec 2 4
1 1 1
  2  2
sin  sin 2 sin 4
2

sin 2 2 sin 2 4  sin 2  sin 2 4  sin 2  sin 2 2 R

 
sin 2  sin 2 2 sin 2 4 K
R  sin 2 sin 4  sin  sin 4  sin  sin 2
2 2 2 2 2 2

 1  cos 4  1  cos8   1  cos 2  1  cos8   1  cos 2   1  cos 4 

      
 2  2   2  2   2  2 
  3  2  cos 2  cos 4  cos8   cos 2 cos 4  cos 2 cos8  cos 4 cos8 
1
4
1  1 1 
  3  2      cos 2  cos 6  cos 6  cos10  cos 4  cos12   cos 2  cos12 cos 4  cos10
4  2 2 

1
4
 4   cos 2  cos 4  cos 6   
7
8
2
 7 7
K  sin  sin 2 sin 4   sin  sin 2 sin 3      sin 4  sin 3
2 2 2 2

 8  64
m
k 2m  1
*  sin 2m  1 
k 1 2m
*

7
R
T 2 1   8  8  T 2  7  T  7
K 7
64
 (18)
cot 2 A  cot 2 B  cot 2 C   cot A  cot B  cot C   2  cot A cot B  cot A cot C  cot B cot C 
2

 7
2
 2 5

(19)
cosec A  cosec B  cosec C  cosec   cosec 2  cosec 4  T
2 2 2 2 2 2

1 1 1
T  2  2
sin  sin 2 sin 4
2

sin 2 2 sin 2 4  sin 2  sin 2 4  sin 2  sin 2 2 R

T 
sin 2  sin 2 2 sin 2 4 K
R  sin 2 sin 4  sin  sin 4  sin  sin 2
2 2 2 2 2 2

 1  cos 4  1  cos8   1  cos 2  1  cos8   1  cos 2  1  cos 4 

      
 2  2   2  2   2  2 
  3  2  cos 2  cos 4  cos8   cos 2 cos 4  cos 2 cos8  cos 4 cos8 
1
4
1  1 1 
  3  2      cos 2  cos 6  cos 6  cos10  cos 4  cos12   cos 2  cos12 cos 4  cos10
4  2 2 

1
4
 4   cos 2  cos 4  cos 6   
7
8
2
 7 7
K  sin  sin 2 sin 4   sin  sin 2 sin 3      sin 4  sin 3
2 2 2 2

 8  64
m
k 2m  1
*  sin 2m  1 
k 1 2m
*

7
R
T   8 8
K 7
64
(20)
cosec A  cosec B  cosec C
4 4 4

  cosec 2 A  cosec 2 B  cosec 2C   2  cosec2 A.cosec2 B  cosec2 A.cosec2C  cosec2 B.cosec2C 

2

 1 1 1 
 8  2  2  2  2
2

 sin  sin 2 sin  sin 4 sin 2 sin 4 
2 2 2

 sin 2   sin 2 2  sin 2 4 

 64  2  
 sin  sin 2 sin 4 
2 2 2

1  cos 2 1  cos 4 1  cos8

sin 2   sin 2 2  sin 2 4   
2 2 4
3 1
   cos 2  cos 4  cos 6  cos 6  cos 6
2 2
3 1 7
  
2 4 4
7
7 64
 64  2 4  64  2  32
7 4 7
64
 (21)
1 1 1
sec 2 A  sec 2 B  sec 2 C   
cos  cos 2 cos 2 4
2 2

cos 2 2 cos 2 4  cos 2  cos 2 4  cos 2  cos 2 2


cos 2  cos 2 2 cos 2 4
3
 8  24
1
64

(22)

sec 4 A  sec 4 B  sec 4 C   sec2 A  sec 2 B  sec 2 C   2  sec2 A sec2 B  sec2 A sec2 C  sec2 B sec2 C 
2

 1 1 1 
 242  2    
 cos A cos B cos A cos C cos B cos C 
2 2 2 2 2 2

 cos 2 A  cos 2 B  cos 2 C 

 576  2  2 2 2 
 cos A cos B cos C 
5
5 64
 576  2 4  576  2  416
1 4 1
64

(23)

1 1 1
sec 2 A  sec 2 B  sec 2C   
cos 2 cos 4 cos8
cos 4 cos8  cos 2 cos8  cos 2 cos 4

cos 2 cos 4 cos8
cos 4  cos12  cos 6  cos10  cos 2  cos 6

2 cos 2 cos 4 cos8
2sin 2  cos 2  cos 4  cos 6 

2sin 2 cos 2 cos 4 cos8
2sin 2

2sin 4 cos 4 cos8
4sin 2

4sin 8 cos8
4sin 2
  4
sin16

(24)

sin A sin B sin C  sin  sin 2 sin 3 sin 3  sin 4

7

8
m
k 2m  1
*  sin  *
k 1 2m  1 2m
 (25)

sin 2 A  sin 2 B  sin 2 C  sin 2   sin 2 2  sin 2 4

1  cos 2 1  cos 4 1  cos8
  
2 2 2
3 1
   cos 2  cos 4  cos 6 
2 2
3 1 7
  
2 4 4

sin 2 A  sin 2 B  sin 2 C  3   cos 2   cos 2 2  cos 2 4 

5 7
 3 
4 4

(26)
sin 2 A  sin 2 B  sin 2C  4sin A sin B sin C
7 7
4 
8 2

sin 2 A  sin 2 B  sin 2C  sin 2  sin 4  sin 8  T

T 2    sin   sin 2  sin 4 
2

 sin 2   sin 2 2  sin 2 4  2   sin  sin 2  sin  sin 4  sin 2 sin 4 

7
   cos 3  cos   cos 5  cos 3  cos 6  cos 2 
4
7 7
T2   T
4 2

(27)

sin 2 B sin 2 C  sin 2 A sin 2 C  sin 2 A sin 2 B

 sin 2 2 sin 2 4  sin 2  sin 2 4  sin 2  sin 2 2
 1  cos 4  1  cos8   1  cos 2  1  cos8   1  cos 2  1  cos 4 
      
 2  2   2  2   2  2 
  3  2  cos 2  cos 4  cos8   cos 2 cos 4  cos 2 cos8  cos 4 cos8 
1
4
1  1 1 
  3  2      cos 2  cos 6  cos 6  cos10  cos 4  cos12   cos 2  cos12 cos 4  cos10
4  2 2 

1
4
 4   cos 2  cos 4  cos 6   
7
8
 (28)

sin 4 A  sin 4 B  sin 4 C   sin 2 A  sin 2 B  sin 2 C   2  sin 2 B sin 2 C  sin 2 A sin 2 C  sin 2 A sin 2 B 
2
7 7 21
  2 
4 8 16

***

 sin A  sin B  sin C   sin 2 A  sin 2 B  sin 2 C  2  sin A sin B  sin A sin C  sin B sin C 
2

7 7
 2
4 8
7 7
 sin A  sin B  sin C    sin A  sin B  sin C 
2

2 2

(29)

7
sin A sin B sin C
tan A tan B tan C   8  7
cos A cos B cos C  1
8

tan A  tan B  tan C  tan A tan B tan C   7

(30)

tan 2 A  tan 2 B  tan 2 C  sec2 A  sec2 B  sec2 C  3

 24  3  21