Проанализируйте ошибку в следующем доказательстве: утверждается, что все матрицы, удовлетворяющие A^2 = 0, равны нулевой матрице. Покажите, где логика неверна, и приведите контрпримеры
Кратко: неверный шаг — деление на AAA (или умножение на A−1A^{-1}A−1). Из A2=0A^2=0A2=0 следует, что AAA сингулярна, поэтому обратной матрицы обычно не существует. Типичная неверная «доказательная» схема и её ошибка: - Ошибка: из A2=0A^2=0A2=0 делают вывод A=A⋅I=A⋅(A⋅A−1)=(A⋅A)⋅A−1=0⋅A−1=0A= A\cdot I = A\cdot(A\cdot A^{-1}) = (A\cdot A)\cdot A^{-1} = 0\cdot A^{-1}=0A=A⋅I=A⋅(A⋅A−1)=(A⋅A)⋅A−1=0⋅A−1=0. - Почему это неверно: шаг «ввести A−1A^{-1}A−1» допускает существование обратной матрицы. Но из A2=0A^2=0A2=0 следует det(A)2=det(A2)=det(0)=0\det(A)^2=\det(A^2)=\det(0)=0det(A)2=det(A2)=det(0)=0, значит det(A)=0\det(A)=0det(A)=0 и AAA не обратима. Потому деление на AAA недопустимо. Контрпримеры (нетривиальные матрицы с A2=0A^2=0A2=0): 1) Простая 2×22\times22×2: A=(0100),A2=(0100)(0100)=(0000).
A=\begin{pmatrix}0&1\\[4pt]0&0\end{pmatrix},\qquad A^2=\begin{pmatrix}0&1\\0&0\end{pmatrix}\begin{pmatrix}0&1\\0&0\end{pmatrix}=\begin{pmatrix}0&0\\0&0\end{pmatrix}. A=(0010),A2=(0010)(0010)=(0000). 2) Общий способ: пусть u,vu,vu,v — столбцовые векторы, причём vTu=0v^T u=0vTu=0. Тогда A=uvT⇒A2=u(vTu)vT=u⋅0⋅vT=0,
A=uv^T\quad\Rightarrow\quad A^2 = u(v^T u)v^T = u\cdot 0\cdot v^T = 0, A=uvT⇒A2=u(vTu)vT=u⋅0⋅vT=0,
и при этом обычно A≠0A\neq0A=0 (например, u=e1, v=e2u=e_1,\ v=e_2u=e1,v=e2 даёт матрицу E12E_{12}E12 из примера 1). Вывод: утверждение «из A2=0A^2=0A2=0 следует A=0A=0A=0» ложно; неверный шаг — использование обратимости AAA, которой нет.
Типичная неверная «доказательная» схема и её ошибка:
- Ошибка: из A2=0A^2=0A2=0 делают вывод A=A⋅I=A⋅(A⋅A−1)=(A⋅A)⋅A−1=0⋅A−1=0A= A\cdot I = A\cdot(A\cdot A^{-1}) = (A\cdot A)\cdot A^{-1} = 0\cdot A^{-1}=0A=A⋅I=A⋅(A⋅A−1)=(A⋅A)⋅A−1=0⋅A−1=0.
- Почему это неверно: шаг «ввести A−1A^{-1}A−1» допускает существование обратной матрицы. Но из A2=0A^2=0A2=0 следует det(A)2=det(A2)=det(0)=0\det(A)^2=\det(A^2)=\det(0)=0det(A)2=det(A2)=det(0)=0, значит det(A)=0\det(A)=0det(A)=0 и AAA не обратима. Потому деление на AAA недопустимо.
Контрпримеры (нетривиальные матрицы с A2=0A^2=0A2=0):
1) Простая 2×22\times22×2:
A=(0100),A2=(0100)(0100)=(0000). A=\begin{pmatrix}0&1\\[4pt]0&0\end{pmatrix},\qquad
A^2=\begin{pmatrix}0&1\\0&0\end{pmatrix}\begin{pmatrix}0&1\\0&0\end{pmatrix}=\begin{pmatrix}0&0\\0&0\end{pmatrix}.
A=(00 10 ),A2=(00 10 )(00 10 )=(00 00 ).
2) Общий способ: пусть u,vu,vu,v — столбцовые векторы, причём vTu=0v^T u=0vTu=0. Тогда
A=uvT⇒A2=u(vTu)vT=u⋅0⋅vT=0, A=uv^T\quad\Rightarrow\quad A^2 = u(v^T u)v^T = u\cdot 0\cdot v^T = 0,
A=uvT⇒A2=u(vTu)vT=u⋅0⋅vT=0, и при этом обычно A≠0A\neq0A=0 (например, u=e1, v=e2u=e_1,\ v=e_2u=e1 , v=e2 даёт матрицу E12E_{12}E12 из примера 1).
Вывод: утверждение «из A2=0A^2=0A2=0 следует A=0A=0A=0» ложно; неверный шаг — использование обратимости AAA, которой нет.