Θα χρησιμοποιούμε τον συμβολισμό ^ΚΛΜ για την γωνία που σχηματίζουν οι πλευρές ΛΚ και ΛΜ τριγώνου ΚΛΜ.

Ειδικά για το τρίγωνο ABC θα χρησιμοποιήσουμε τις συντομεύσεις: A = ^CAB, B = ^ABC και C = ^BCA.

Η A'A'' είναι διχοτόμος της ^CA'B γιατί A'' σημείο τομής διχοτόμων του τριγώνου CA'B. Ομοίως για B'B'' και C'C''.

Είναι εύκολο να αποδειχτεί, από τις γνωστές γωνίες, ότι τα διανύσματα A'A'', B'B'' και C'C'' σχηματίζουν ανά δυο γωνία 2Π/3:

Από το τρίγωνο AC'B : ^AC'B = Π -2Α/3 -2Β/3, οπότε ^AC'C''' = ^AC'B/2 = Π/2 -Α/3 - Β/3
Από το τρίγωνο AC'C''' : ^AC'''C' = Π -2Α/3 - ^AC'C''' = Π -2Α/3 - Π/2 + Α/3 + Β/3 = Π/2 - Α/3 + Β/3

Ομοίως ^AB'''B' = Π/2 - Α/3 + C/3

Αν X το σημείο τομής των B'''B' και C'C''' τότε από το τετράπλευρο AB'''XC''':
^B'''XC''' = 2Π - Α - ^AC'''C' - ^AB'''B' = 2Π - Α - (Π/2 - Α/3 + Β/3) - (Π/2 - Α/3 + C/3) = Π - (A + B + C)/3 = Π - Π/3 = 2Π/3

Αρκεί λοιπόν να αποδείξουμε την καθετότητα στα A'A'', B'B'' και C'C'', αντίστοιχα των B''C'', C''A'' και A''B'' ώστε να δειχτεί ότι
το τρίγωνο A''B''C'' είναι ισόπλευρο. Προφανώς (λόγω τοπολογικής συμμετρίας) αρκεί να αποδείξουμε μία καθετότητα, πχ
των A'A'' και B''C''. Γι' αυτήν αρκεί να δείξουμε ότι A'B''=A'C'', αφού η A'A'' είναι διχοτόμος της ^B''A'C''

Γνωρίζουμε ότι σε κάθε τρίγωνο ΑΒΓ (του οποίου τις γωνίες ^ΓΑΒ, ^ΑΒΓ και ^ΒΓΑ θα αναφέρουμε, χάριν απλότητας Α, Β και
sin( B )
Γ αντίστοιχα) ισχύει: ΑΓ = ΒΓ 
sin( B   )

sin( 2 B / 3 )
Εφαρμόζοντας την σχέση αυτή στο τρίγωνο A'BC: A'C =BC  ενώ από το τρίγωνο B''AC:
sin( 2( B  C ) / 3 )

sin( A / 3 ) sin( 2 B / 3 ) sin( A / 3 )

B''C = AC  . Επομένως A'B'' = A'C - B''C = BC  - AC  .
sin(( A  C ) / 3 ) sin( 2( B  C ) / 3 ) sin(( A  C ) / 3 )

Εκφράζοντας την AC ως συνάρτηση της BC από το τρίγωνο ABC έχουμε:

sin( 2 B / 3 ) sin( B ) sin( A / 3 )
A'B'' = BC  - BC   =
sin( 2( B  C ) / 3 ) sin( B  C ) sin(( A  C ) / 3 )

sin( 2 B / 3 )  sin( B  C )  sin(( A  C ) / 3 )  sin( B )  sin( A / 3 )  sin( 2( B  C ) / 3 )

BC 
sin( 2( B  C ) / 3 )  sin( B  C )  sin(( A  C ) / 3 )

-1-
Λόγω τοπολογικής συμμετρίας το A'C'' δίνεται από την ίδια έκφραση με αντιμετατεθημένα τα B και C. Επομένως,
απαλείφοντας τους κοινούς παράγοντες, πρέπει να δείξουμε ότι:

sin( 2 B / 3 )  sin( B  C )  sin(( A  C ) / 3 )  sin( B )  sin( A / 3 )  sin( 2( B  C ) / 3 )

=
sin(( A  C ) / 3 )

sin( 2C / 3 )  sin( B  C )  sin(( A  B ) / 3 )  sin( C )  sin( A / 3 )  sin( 2( B  C ) / 3 )


sin(( A  B ) / 3 )

sin(2B / 3)sin(B+C)sin((A+C)/3)sin((A+B)/3) - sin(B)sin(A/3)sin(2(B+C)/3)sin((A+B)/3) =

sin(2C / 3)sin(B+C)sin((A+B)/3)sin((A+C)/3) - sin(C)sin(A/3)sin(2(B+C)/3)sin((A+C)/3) 

Περνάμε το πρώτο γινόμενο κάθε μέρους της αποδεικτέας εξίσωσης στο αριστερό μέρος και το δεύτερο στο δεξιό. Στην
συνέχεια βγάζουμε κοινούς παράγοντες. Στο εξής χρησιμοποιούμε χρώματα για να υποδείξουμε τις μετατροπές ή να
δηλώσουμε απαλειφόμενους όρους

(sin(2B/3) - sin(2C/3))sin(B+C)sin((A+B)/3)sin((A+C)/3) =
sin(A/3)sin(2(B+C)/3)  (sin(B)sin((A+B)/3) - sin(C)sin((A+C)/3)) 

B C B C
2cos( )sin( )sin(B+C)sin((A+B)/3)sin((A+C)/3) =
3 3

B C B C
sin(A/3)2sin( )cos( ) (sin(B)sin((A+B)/3) - sin(C)sin((A+C)/3)) 
3 3

Απαλείφουμε τους κοινούς παράγοντες και αντικαθιστούμε το Α με Π - B - C.

B C  B  C
sin( )  sin(B+C)  sin( )  sin( )=
3 3 3

B C   B C  C  B
sin( )  sin( )  ( sin(B)  sin( ) - sin(C)  sin( )) 
3 3 3 3

B C  B  C
∆ιαιρούμε και τα 2 μέλη με sin( )sin( )sin( ) και αντικαθιστούμε sin(B) με sin(Π - B)
3 3 3

B C B C
sin( )  sin(B+C) / sin( )=
3 3
  B C  B  C
sin( )  (sin(Π - B) / sin( ) - sin(Π - C) / sin( )) 
3 3 3

Χρησιμοποιούμε την ισότητα sin(3x) = 3sin(x) - 4sin3(x) (άρα sin(3x)/sin(x) = 3 - 4sin2(x))

B C B C   B C  C  B
sin( )  (3 - 4sin2( )) = sin( )  (4sin2 ( ) - 4sin2 ( )) 
3 3 3 3 3

B C
Θεωρούμε b = ,c=
3 3

-2-
(sin(b)cos(c) - cos(b)sin(c))  (3 - 4(sin(b)cos(c) + cos(b)sin(c))2) =
     
4(sin( )cos(b+c) - sin(b+c)cos( )) ((sin( )cos(c) - sin(c)cos( ))2 - (sin( )cos(b) - sin(b)cos( ))2) 
3 3 3 3 3 3

(sin(b)cos(c) - cos(b)sin(c))  (3 - 4(sin2(b)cos2(c) + cos2(b)sin2(c) + 2 sin(b)cos(c)cos(b)sin(c))) =

 
4(sin( )(cos(b)cos(c) - sin(b)sin(c)) - (sin(b)cos(c) + sin(c)cos(b))cos( ))
3 3

   
(sin2( )cos2(c) - 2sin( )cos(c) sin(c)cos( ) + sin2(c)cos2( )
3 3 3 3

   
- sin2( )cos2(b) + 2sin( )cos(b) sin(b)cos( ) - sin2(b)cos2( )) 
3 3 3 3

3 sin(b)cos(c) - 4 sin3(b)cos3(c) - 4 sin(b)cos(c) cos2(b)sin2(c) - 8 sin2(b)cos2(c) cos(b)sin(c)

-3 cos(b)sin(c) + 4 cos(b)sin(c) sin2(b)cos2(c) + 4 sin3(c)cos3(b) + 8 sin(b)cos(c) cos2(b)sin2(c) =
   
4(sin( )cos(b)cos(c) - sin( )sin(b)sin(c) - cos( )sin(b)cos(c) - cos( )sin(c)cos(b))
3 3 3 3

   
(sin2( )cos2(c) - 2sin( )cos(c) sin(c)cos( ) + sin2(c)cos2( )
3 3 3 3

   
- sin2( )cos2(b) + 2sin( )cos(b) sin(b)cos( ) - sin2(b)cos2( )) 
3 3 3 3

3 sin(b)cos(c) - 4 sin3(b)cos3(c) - 4 sin2(b)cos2(c) cos(b)sin(c)

-3 cos(b)sin(c) + 4 sin3(c)cos3(b) +4 sin(b)cos(c) cos2(b)sin2(c) =
   
4(sin( )cos(b)cos(c) - sin( )sin(b)sin(c) - cos( )sin(b)cos(c) - cos( )sin(c)cos(b))
3 3 3 3

   
(sin2( )cos2(c) - 2sin( )cos(c) sin(c)cos( ) + sin2(c)cos2( )
3 3 3 3

   
- sin2( )cos2(b) + 2sin( )cos(b) sin(b)cos( ) - sin2(b)cos2( )) =
3 3 3 3

Από εδώ και πέρα επεξεργαζόμαστε το δεξί μέρος της αποδεικτέας εξίσωσης

3 3
4 ( cos(b)cos(c) - sin(b)sin(c) - sin(b)cos(c)/2 - sin(c)cos(b)/2)
2 2

3 3
(3cos2(c)/4 - cos(c) sin(c) + sin2(c)/4 - 3cos2(b)/4 + cos(b) sin(b) - sin2(b)/4) =
2 2

(2 3 cos(b)cos(c) - 2 3 sin(b)sin(c) - 2sin(b)cos(c) - 2sin(c)cos(b))

3 3
(3cos2(c)/4 - cos(c) sin(c) + sin2(c)/4 - 3cos2(b)/4 + cos(b) sin(b) - sin2(b)/4) =
2 2

(2 3 cos(b)cos(c) - 2 3 sin(b)sin(c) - 2sin(b)cos(c) - 2sin(c)cos(b))

3 3
(3cos2(c)/4 - cos(c) sin(c) + sin2(c)/4 - 3cos2(b)/4 + cos(b) sin(b) - sin2(b)/4) =
2 2

-3-
3 3 cos(b)cos3(c)/2 - 3 cos(b)cos2(c)sin(c) + 3 cos(b)cos(c)sin2(c)/2 - 3 3 cos3(b)cos(c)/2

+ 3cos2(b)cos(c) sin(b) - 3 cos(b)cos(c)sin2(b)/2

- 3 3 sin(b)sin(c)cos2(c)/2 + 3sin(b)sin2 (c)cos(c) - 3 sin(b)sin3(c)/2 + 3 3 sin(b)sin(c)cos2(b)/2

- 3sin2(b)sin(c) cos(b) + 3 sin3(b)sin(c)/2

- 3sin(b)cos3(c)/2 + 3 sin(b)cos2(c) sin(c) - sin(b)cos(c)sin2(c)/2 + 3sin(b)cos(c) cos2(b)/2

- 3 sin2(b)cos(c) cos(b) + sin3(b)cos(c)/2

- 3sin(c)cos(b)cos2(c)/2 + 3 sin2(c)cos(b)cos(c) - sin3(c)cos(b)/2 + 3sin(c)cos3(b)/2

- 3 sin(c)cos2(b)sin(b) + sin(c)cos(b) sin2(b)/2 =

3 3 cos(b)cos3(c)/2 - 3 cos(b)cos2(c)sin(c) + 3 cos(b)cos(c)sin2(c)/2 - 3 3 cos3(b)cos(c)/2

+ 3cos2(b)cos(c) sin(b) - 3 cos(b)cos(c)sin2(b)/2

- 3 3 sin(b)sin(c)cos2(c)/2 + 3sin(b)sin2 (c)cos(c) - 3 sin(b)sin3(c)/2 + 3 3 sin(b)sin(c)cos2(b)/2

- 3sin2(b)sin(c) cos(b) + 3 sin3(b)sin(c)/2

- 3sin(b)cos3(c)/2 + 3 sin(b)cos2(c) sin(c) - sin(b)cos(c)sin2(c)/2 + 3sin(b)cos(c) cos2(b)/2

- 3 sin2(b)cos(c) cos(b) + sin3(b)cos(c)/2

- 3sin(c)cos(b)cos2(c)/2 + 3 sin2(c)cos(b)cos(c) - sin3(c)cos(b)/2 + 3sin(c)cos3(b)/2

- 3 sin(c)cos2(b)sin(b) + sin(c)cos(b) sin2(b)/2 =

3 3 cos(b)cos(c)/2 - 9 cos(b)cos2(c)sin(c)/2 - 3 3 cos(b)cos(c)/2 + 9sin(b)cos(c) cos2(b)/2

- 3 sin(b)sin(c)/2 + 5sin(b)cos(c)sin2(c)/2 + 3  sin(b)sin(c)/2 - 5 sin(c)cos(b) sin2(b)/2

- 3sin(b)cos3(c)/2 + sin3(b)cos(c)/2 - sin3(c)cos(b)/2 + 3sin(c)cos3(b)/2 =

3 3 cos(b)cos(c)/2 - 9 cos(b)cos2(c)sin(c)/2 - 3 3 cos(b)cos(c)/2 + 9sin(b)cos(c) cos2(b)/2

- 3 sin(b)sin(c)/2 + 5sin(b)cos(c)sin2(c)/2 + 3  sin(b)sin(c)/2 - 5 sin(c)cos(b) sin2(b)/2

- 3sin(b)cos3(c)/2 + sin3(b)cos(c)/2 - sin3(c)cos(b)/2 + 3sin(c)cos3(b)/2 =

- 9 cos(b)cos2(c)sin(c)/2 + 9sin(b)cos(c) cos2(b)/2 + 5sin(b)cos(c)sin2(c)/2 - 5 sin(c)cos(b) sin2(b)/2

- 3sin(b)cos3(c)/2 + sin3(b)cos(c)/2 - sin3(c)cos(b)/2 + 3sin(c)cos3(b)/2 

Γράφουμε πάλι ολόκληρη την αποδεικτέα εξίσωση, έχοντας διπλασιάσει και τα δυο μέρη της

6 sin(b)cos(c) - 8 sin3(b)cos3(c) - 8 sin2(b)cos2(c) cos(b)sin(c)

-6 cos(b)sin(c) + 8 sin3(c)cos3(b) +8 sin(b)cos(c) cos2(b)sin2(c) =
- 9 cos(b)cos2(c)sin(c) + 9sin(b)cos(c) cos2(b) + 5sin(b)cos(c)sin2(c) - 5 sin(c)cos(b) sin2(b)
- 3sin(b)cos3(c) + sin3(b)cos(c) - sin3(c)cos(b) + 3sin(c)cos3(b) =

-4-
Από εδώ και πέρα επεξεργαζόμαστε το δεξί μέρος της αποδεικτέας εξίσωσης

- 9 cos(b)cos2(c)sin(c) + 9sin(b)cos(c) cos2(b) + 5sin(b)cos(c)sin2(c) - 5 sin(c)cos(b) sin2(b)

- 3sin(b)cos3(c) + sin3(b)cos(c) - sin3(c)cos(b) + 3sin(c)cos3(b) =

- 9 cos(b)cos2(c)sin(c) + 9sin(b)cos(c) cos2(b) + 5sin(b)cos(c)sin2(c) - 5 sin(c)cos(b) sin2(b)

- 3sin(b)cos (c)(1 - sin2(c)) + sin (b)(1 - cos2(b))cos(c) - sin (c)(1 - cos2(c))cos(b) + 3sin(c)cos (b)(1 - sin2(b)) =

- 9 cos(b)cos2(c)sin(c) + 9sin(b)cos(c) cos2(b) + 5sin(b)cos(c)sin2(c) - 5 sin(c)cos(b) sin2(b)

- 3sin(b)cos (c) + 3sin(b)cos(c)sin2(c) + sin (b)cos(c) - sin (b)cos(c)cos2(b) - sin (c)cos(b) + sin (c)cos(b) cos2(c)
+ 3sin(c)cos (b) - 3sin(c)cos (b) sin2(b) =

- 9 cos(b)cos2(c)sin(c) + 9sin(b)cos(c) cos2(b) + 5sin(b)cos(c)sin2(c) - 5 sin(c)cos(b) sin2(b)

- 2sin(b)cos (c) + 3sin(b)cos(c)sin2(c) - sin (b)cos(c)cos2(b) + sin (c)cos(b) cos2(c)
+ 2sin(c)cos (b) - 3sin(c)cos (b) sin2(b) =

- 9 cos(b)cos2(c)sin(c) + 9sin(b)cos(c) cos2(b) + 5sin(b)cos(c)sin2(c) - 5 sin(c)cos(b) sin2(b)

- 2sin(b)cos (c) + 3sin(b)cos (c)sin2(c) - sin (b)cos(c)cos2(b) + sin (c)cos(b) cos2(c)
+ 2sin(c)cos (b) - 3sin(c)cos (b) sin2(b) =

- 8 cos(b)cos2(c)sin(c) + 8sin(b)cos(c) cos2(b) + 8sin(b)cos(c)sin2(c) - 8 sin(c)cos(b) sin2(b)

- 2sin(b)cos (c) + 2sin(c)cos (b) 

Γράφουμε πάλι ολόκληρη την αποδεικτέα εξίσωση, έχοντας μεταφέρει ολόκληρο το δεξί μέρος της αριστερά και στην
συνέχεια έχοντας απαλείψει τον κοινό συντελεστή 8.

sin(b)cos(c) - sin3(b)cos3(c) - sin2(b)cos2(c) cos(b)sin(c)

-cos(b)sin(c) + sin3(c)cos3(b) + sin(b)cos(c) cos2(b)sin2(c)
+ cos(b)cos2(c)sin(c) - sin(b)cos(c) cos2(b) - sin(b)cos(c)sin2(c) + sin(c)cos(b) sin2(b) = 0 

sin(b)cos(c) - sin3(b)cos3(c) + cos2(b)cos2(c) cos(b)sin(c)

-cos(b)sin(c) + sin3(c)cos3(b) - sin(b)cos(c)sin2(b)sin2(c)
- sin(b)cos(c) cos2(b) + sin(c)cos(b) sin2(b) = 0 

sin(b)cos(c) - sin3(b)cos3(c) + cos3(b)cos2(c) sin(c)

-cos(b)sin(c) + sin3(c)cos3(b) - cos(c) sin3(b)sin2(c)
- sin(b)cos(c) cos2(b) + sin(c)cos(b) sin2(b) = 0 

sin(b)cos(c) - sin (b)cos (c) (1 - cos2(b))(1 - sin2(c)) + cos (b)(1 - sin2(b))cos2(c) sin(c)
-cos(b)sin(c) + sin(c)(1 - cos2(c))cos(b)(1 - sin2(b)) - cos(c) sin(b)(1 - cos2(b))sin2(c)
- sin(b)cos(c) cos2(b) + sin(c)cos(b) sin2(b) = 0 

-5-
sin(b)cos(c) - sin(b)cos(c) (1 - sin2(c) - cos2(b) + cos2(b)sin2(c)) + (cos(b) - cos(b)sin2(b))cos2(c) sin(c)
-cos(b)sin(c) + sin(c)cos(b) (1 - cos2(c) - sin2(b) + cos2(c)sin2(b)) - cos(c) (sin(b) - sin(b)cos2(b))sin2(c)
- sin(b)cos(c) cos2(b) + sin(c)cos(b) sin2(b) = 0 

Τελική ανάπτυξη: εδώ τα χρώματα δηλώνουν όρους που απαλείφονται μεταξύ τους

sin(b)cos(c)
- sin (b)cos (c) + sin(b)cos (c)sin2(c) + sin(b)cos(c)cos2(b) - sin(b)cos(c)cos2(b)sin2(c)
+ cos(b)cos2(c)sin(c) - cos(b)sin2(b)cos2(c) sin(c)
-cos(b)sin(c)
+ sin(c)cos(b) - sin(c)cos(b) cos2(c) - sin(c)cos(b)sin2(b) + sin(c)cos(b)cos2(c)sin2(b)
- cos(c) sin(b) sin2(c) + cos(c) sin(b) cos2(b)sin2(c)
- sin(b)cos(c) cos2(b) + sin(c)cos(b) sin2(b) = 0

-6-