پاسخ شما بله است.
چونAمعین مثبت است، داریم: Xt.A.X>0
X:بردار دلخواه و مخالف صفر
Xt:ترانهاده بردار X
چون حاصلضربA در معکوس خودش B, ماتریس یکه I خواهد بودکه مانند عدد 1در ضرب ماتریسها میباشد.
Xt.A.B.A.x=( Xt.A)B(AX)=(AX)t.B.(AX)=Yt.B.Y>0
برای نوشتن نامساوی بالا از متقارن بودن A استفاده شده است.
Xt.A=(AX)t
نامساوی مذکور نشان می دهد ماتریس Bکه معکوس Aاست،نیز معین مثبت است.