Ισχύει γενικά...

(

)
Αυτό που γράφεις είναι ειδική περίπτωση..
Χμ.. Πέρα από τον κλασικό τρόπο που αποδεικνύεται η παραπάνω, δηλαδή τον:
Όπου και φαίνεται ότι αν

, τότε προκύπτει αυτό που έγραψες εσύ..
Θα βάλω μερικές ακόμη αποδείξεις που 'χω κατά νου για αυτή την
ΣΗΜΑΝΤΙΚΗ ταυτότητα.
Ας θεωρήσουμε το πολυώνυμο:
Επειδή
Π.χ.
Αν προσθέσουμε τα P(a), P(b), P(c) κατά μέλη, θα πάρουμε:
Από την τελευταία προκύπτει:
Μια ακόμη προσέγγιση μπορεί να γίνει θεωρώντας τον
3Χ3 πίνακα (a,b,c)(c,a,b)(b,c,a).
Τέλος μια ακόμη προσέγγιση είναι αν θεωρήσουμε την εξίσωση:
Και λύσουμε αυτή ως δευτεροβάθμια ως προς a π.χ. και θα 'χουμε διακρίνουσα:
Οπότε οι ρίζες θα 'ναι:
Θέτοντας

μία μιγαδική ρίζα της κυβικής μοναδιαίας εξίσωσης, παίρνουμε:
Αυτό δίνει από παραγοντοποίηση:
που οδηγεί στην επιθυμητή.
-----------------------------------------------------------------------
Ένα
ΠΑΡΑΔΕΙΓΜΑ εφαρμοφής π.χ. είναι:
Να γίνει γινόμενο η παράσταση:
Λύση:
Παρατηρούμε ότι:
Αν
Και θέλουμε να κάνουμε γινόμενο την:

.
Άρα από την:
Επειδή

, θα έχουμε:
Δηλαδή:
Δηλαδή:
^3+(y-z)^3 + (z-x)^3=3(x-y)(y-z)(z-x))