فرض کنید ماتریس ماتریسی با درایههای حقیقی، و نماد (یا به اختصار ) معرف ماتریس همانی باشد. در این صورت اگر معادله مشخصه ماتریس A باشد که به صورت تعریف میشود، آنگاه .
دقت کنید که در محاسبه چندجملهای مشخصه ماتریس A نهایتاً به عبارتی به صورت
میرسیم و وقتی مینویسیم منظورمان معادلهای ماتریسی است که در آن توانهای ماتریس A حضور دارند. همچنین جمله آخر چندجملهای که حاوی عدد ثابت است و ندارد را به صورت تعبیر کرده و در معادله ماتریسی با ماتریس همانی جایگزین میکنیم تا معادله ماتریسی معنادار شود. نهایتاً میتوان صورت قضیه را به شکل زیر بازنویسی کرد:
دقت کنید که ضریب جمله n ام همواره برابر ۱ است زیرا این جمله از ضرب جملات روی قطر اصلی ماتریس به دست آمده و ضرایب ها همگی ۱ است.
مهمترین نتیجهای که از قضیه کیلی - همیلتون به دست میآید این است که تمام توانهای هر ماتریس را میتوان به صورت ترکیبی خطی از ماتریس همانی و توان اول آن ماتریس نوشت. به عبارتی دیگر برای هر ماتریس یا ، ماتریس وابسته خطی توانهای پایینتر ماتریس است. به کمک قضیه کیلی - همیلتون توابع ماتریسی بسیاری را میتوان محاسبه نمود. تمام توابع تحلیلی که برای اعداد حقیقی و مختلط تعریف میشوند به کمک این قضیه برای ماتریسهای مربعی نیز معنا پیدا میکنند. از مهمترین کاربردهای آن محاسبه ماتریس معکوس و ماتریس نمایی است که در زیر توضیح داده میشوند
محاسبه تابع معکوس به کمک قضیه کیلی - همیلتون
ماتریس مربعی را در نظر بگیرید. برای این ماتریس به کمک قضیه کیلی - همیلتون میتوان نوشت:
که در آن ضرایب معادله مشخصه ماتریس A هستند. اگر ضریب ، میتوان با انتقال جمله ثابت به طرف راست، تساوی فوق را به صورت زیر نوشت:
و سپس با فاکتور گیری از ماتریس از چپ خواهیم داشت:
چون معکوس پذیر است، با ضرب کردن معکوس از چپ در تساوی بالا داریم:
و نهایتاً خواهیم داشت:
دقت کنید که فرض برای معکوس پذیر بودن ماتریس کافی است زیرا در معادله مشخصه ضریب برابر است با:
و ناصفر بودن معادل ناصفر بودن دترمینان است. همچنین این مسئله درکی شهودی به ما میدهد که چرا وقتی دترمینان صفر است معکوس پذیر نیست.
مثال
معکوس ماتریس
را به کمک قضیه کیلی - همیلتون به صورت زیر محاسبه میکنیم.
معادله مشخصه به صورت زیر خواهد بود.
در نتیجه بنا بر کیلی - همیلتون میتوان نوشت:
با جایگذاری اعداد خواهیم داشت:
نحوه محاسبه برای توابع تحلیلی
نحوه محاسبه ماتریس
میدانیم برای هر عدد حقیقی a، مقدار e^a از بسط تیلور زیر قابل محاسبه است:
برای محاسبه ماتریس میتوان نوشت:
که یک مجموع نامتناهی است و محاسبه دقیق آن بدین صورت ممکن نیست. اما به کمک کیلی - همیلتون تمام توانهای بالاتر از n-1 ماتریس ترکیبی خطی از n توان اول (شامل توان صفرم) هستند و این یعنی اعدادی متناهی به فرم وجود دارند که