[AgregExt] leçon 221, Résolvante ?

emmanuel

Bonsoir à tous,
Je me pose la question de la pertinence d'introduire la notion de Résolvante dans la leçon 221 (où je me limite à la dim finie) dans le cas de EDL à coef variables. En fait, j'ai compris la théorie de la Résolvante développée dans le Demailly mais je n'en vois pas l'intérêt pratique (autre que la similitude des résultats avec le cas des EDL à coef constants, en plus compliqué): l'un d'entre vous aurait-il un argument justifiant la valeur ajoutée de la résolvante? Plus grave, je ne vois pas non plus l'intérêt des formules (au demeurant très jolies) liants wronskiens, det de résolvante, et tr(A) (via exp. et intégrale). Concrètement, à quoi ça sert? Auriez-vous un exemple qui m'éclaire?
Merci d'avance,
Emmanuel