九州大学 システム情報科学府 情報理工学専攻・電気電子工学専攻 2024年1月実施 線形代数
Author
祭音Myyura (assisted by ChatGPT 5.4 Thinking)
Description
Let
where
(1) For
find
(2) Find all the eigenvalues of
(3) Suppose that
where
Kai
(1)
We are given
By definition,
First compute
Then
Also,
Therefore,
Hence,
(2)
To find the eigenvalues, solve
We have
Thus,
Now compute the
Since
we get
Therefore,
So the eigenvalues are
The eigenvalue
Eigenspace for
Solve
We have
Let
Then the system is
Hence,
Therefore,
So the eigenspace corresponding to
Eigenspace for
Solve
We have
Let
The system gives
Thus,
Here
So the eigenspace corresponding to
(3)
Suppose
Since
for
Let their corresponding eigenvalues be
That is,
Let
Since
Equivalently,
Because
Now compute
By linearity,
Since
we get
Next,
Expanding this expression gives
Because the vectors
Therefore, all cross terms vanish, and we obtain
Similarly,
Thus,
Using orthonormality again, we get
Therefore,
Since
we have
Therefore,
Hence,
Since
we may divide both sides by
So for every nonzero vector
Thus,
Now we show that this upper bound is achieved.
Let
Choose
Then
Using
we get
Thus,
Since
we have
Therefore, the maximum value is actually attained, and we conclude that