Symmetric and skew-symmetric matrices

Take any square matrix and flip it across its main diagonal — that flip is called the transpose. Some matrices come back unchanged by the flip; others come back with every entry negated. The first kind are symmetric matrices, the second skew-symmetric matrices, and together they form one of the cleanest classification results in the whole matrices-and-determinants unit: every square matrix, no matter how ordinary or lopsided, can be split uniquely into a symmetric piece and a skew-symmetric piece that add back up to the original. This article states the two defining conditions, proves the decomposition, and works through the arithmetic on real 2×22\times2 and 3×33\times3 matrices so the definitions become something you can check by eye in seconds during an exam.

The core insight

A square matrix AA is symmetric when AT=AA^T=A and skew-symmetric when AT=−AA^T=-A, and every square matrix splits uniquely as A=12(A+AT)+12(A−AT)A=\tfrac12(A+A^T)+\tfrac12(A-A^T), a symmetric part plus a skew-symmetric part.

The core idea

Symmetric matrices. A square matrix A=[aij]A=[a_{ij}] is symmetric if it equals its own transpose:

AT=A⟺aij=aji for all i,jA^T = A \quad\Longleftrightarrow\quad a_{ij}=a_{ji}\ \text{for all } i,j

where: aija_{ij} is the entry in row ii, column jj, and ATA^T is AA with rows and columns interchanged. Every off-diagonal entry has a twin reflected across the leading diagonal, and the diagonal entries aiia_{ii} are unrestricted — they can be any number at all.

Skew-symmetric matrices. A square matrix AA is skew-symmetric if

AT=−A⟺aij=−aji for all i,jA^T = -A \quad\Longleftrightarrow\quad a_{ij}=-a_{ji}\ \text{for all } i,j

Put i=ji=j in this condition and you get aii=−aiia_{ii}=-a_{ii}, so 2aii=02a_{ii}=0 and aii=0a_{ii}=0. That is a forced consequence, not an extra rule to memorise: every diagonal entry of a skew-symmetric matrix is necessarily zero. The picture below shows what the two conditions do to a 3×33\times3 grid of entries: symmetric mirrors a value across the diagonal, skew-symmetric mirrors it and flips its sign, and the diagonal itself behaves differently in each case.

Figure
A three by three grid showing a symmetric matrix with matching mirrored entries across the diagonal and a skew-symmetric matrix with sign-flipped mirrored entries and a zero diagonal
Mirroring across the diagonal: symmetric versus skew-symmetric symmetric: aij = aji 3-24 -251 410 skew-symmetric: aij = -aji 0-24 201 -4-10 off-diagonal pairs match, diagonal is free off-diagonal pairs are opposite, diagonal is forced to zero A = ½(A + Aᵀ) + ½(A − Aᵀ) symmetric part plus skew-symmetric part reconstructs any square matrix

Neither is the typical case. Most square matrices satisfy neither condition — they are simply "general" square matrices — but the decomposition theorem below says that does not matter: a symmetric part and a skew-symmetric part can always be pulled out of any square AA.

Closure properties worth knowing. The sum of two symmetric matrices of the same order is again symmetric, and so is any scalar multiple of a symmetric matrix — both follow directly from (X+Y)T=XT+YT(X+Y)^T=X^T+Y^T and (kX)T=kXT(kX)^T=kX^T. The same two rules show the sum of two skew-symmetric matrices, and any scalar multiple of a skew-symmetric matrix, stays skew-symmetric. A frequently tested application goes further: for any matrix AA (square or not), the products AATAA^T and ATAA^TA are always symmetric. The proof needs only the reversal rule (AB)T=BTAT(AB)^T=B^TA^T: taking the transpose of AATAA^T gives (AAT)T=(AT)TAT=AAT(AA^T)^T=(A^T)^TA^T=AA^T, unchanged, so AATAA^T is symmetric — and the identical argument applied to ATAA^TA gives (ATA)T=AT(AT)T=ATA(A^TA)^T=A^T(A^T)^T=A^TA. This is exactly the kind of "prove that..." claim this unit favours, and it settles in two lines without expanding a single entry.

Derivation AEvery square matrix is the sum of a symmetric matrix and a skew-symmetric matrix

The goal is to show that for any square matrix AA of order 22 or 33, the two matrices P=12(A+AT)P=\tfrac12(A+A^T) and Q=12(A−AT)Q=\tfrac12(A-A^T) are respectively symmetric and skew-symmetric, that P+QP+Q reconstructs AA exactly, and that no other pair of a symmetric matrix and a skew-symmetric matrix can also add up to AA — using only the two transpose rules (AT)T=A(A^T)^T=A and (X+Y)T=XT+YT(X+Y)^T=X^T+Y^T.

Step 1. Define P=12(A+AT)P=\tfrac12(A+A^T) and take its transpose. Since transposing distributes over addition and (AT)T=A(A^T)^T=A, PT=12(AT+(AT)T)=12(AT+A)=12(A+AT)=PP^T=\tfrac12(A^T+(A^T)^T)=\tfrac12(A^T+A)=\tfrac12(A+A^T)=P. So PT=PP^T=P: PP is symmetric.

Step 2. Define Q=12(A−AT)Q=\tfrac12(A-A^T) and take its transpose the same way. QT=12(AT−(AT)T)=12(AT−A)=−12(A−AT)=−QQ^T=\tfrac12(A^T-(A^T)^T)=\tfrac12(A^T-A)=-\tfrac12(A-A^T)=-Q. So QT=−QQ^T=-Q: QQ is skew-symmetric.

Step 3. Add PP and QQ back together: P+Q=12(A+AT)+12(A−AT)=12[(A+AT)+(A−AT)]=12(2A)=AP+Q=\tfrac12(A+A^T)+\tfrac12(A-A^T)=\tfrac12\big[(A+A^T)+(A-A^T)\big]=\tfrac12(2A)=A. The two halves recombine to give back the original matrix exactly, with no leftover terms.

Step 4. Uniqueness. Suppose some other symmetric P′P' and skew-symmetric Q′Q' also satisfy P′+Q′=AP'+Q'=A. Then P−P′=Q′−QP-P'=Q'-Q. The left side is a difference of two symmetric matrices, hence symmetric; the right side is a difference of two skew-symmetric matrices, hence skew-symmetric. A matrix that is both symmetric and skew-symmetric must satisfy MT=MM^T=M and MT=−MM^T=-M simultaneously, forcing M=−MM=-M, i.e. M=0M=0. So P=P′P=P' and Q=Q′Q=Q': the decomposition is unique. Verified: for a general 2×22\times2 matrix A=(abcd)A=\begin{pmatrix}a&b\\c&d\end{pmatrix}, P=(ab+c2b+c2d)P=\begin{pmatrix}a & \tfrac{b+c}2\\ \tfrac{b+c}2 & d\end{pmatrix} is symmetric and Q=(0b−c2c−b20)Q=\begin{pmatrix}0 & \tfrac{b-c}2\\ \tfrac{c-b}2 & 0\end{pmatrix} is skew-symmetric with zero diagonal, and P+QP+Q reproduces every entry of AA.

Worked example

Express B=(2374)B=\begin{pmatrix}2 & 3\\ 7 & 4\end{pmatrix} as the sum of a symmetric matrix and a skew-symmetric matrix, and then check the result against a 3×33\times3 extension.

Step 1 — find BTB^T. Interchanging rows and columns, BT=(2734)B^T=\begin{pmatrix}2 & 7\\ 3 & 4\end{pmatrix}.

Step 2 — compute the symmetric part P=12(B+BT)P=\tfrac12(B+B^T). B+BT=(410108)B+B^T=\begin{pmatrix}4 & 10\\ 10 & 8\end{pmatrix}, so P=(2554)P=\begin{pmatrix}2 & 5\\ 5 & 4\end{pmatrix}. Checking, PT=PP^T=P, and indeed the off-diagonal entries match: symmetric confirmed.

Step 3 — compute the skew-symmetric part Q=12(B−BT)Q=\tfrac12(B-B^T). B−BT=(0−440)B-B^T=\begin{pmatrix}0 & -4\\ 4 & 0\end{pmatrix}, so Q=(0−220)Q=\begin{pmatrix}0 & -2\\ 2 & 0\end{pmatrix}. Checking, QT=−QQ^T=-Q and the diagonal is zero: skew-symmetric confirmed.

Step 4 — verify the sum. P+Q=(2+05−25+24+0)=(2374)=BP+Q=\begin{pmatrix}2+0 & 5-2\\ 5+2 & 4+0\end{pmatrix}=\begin{pmatrix}2 & 3\\ 7 & 4\end{pmatrix}=B, exactly recovering the original matrix. Answer: B=(2554)+(0−220)B=\begin{pmatrix}2 & 5\\ 5 & 4\end{pmatrix}+\begin{pmatrix}0 & -2\\ 2 & 0\end{pmatrix}, symmetric part PP plus skew-symmetric part QQ.

Competitive stretch

For the 3×33\times3 matrix A=(3−24−251410)A=\begin{pmatrix}3 & -2 & 4\\ -2 & 5 & 1\\ 4 & 1 & 0\end{pmatrix}, since AT=AA^T=A already (checked entry by entry: a12=a21=−2a_{12}=a_{21}=-2, a13=a31=4a_{13}=a_{31}=4, a23=a32=1a_{23}=a_{32}=1), AA is already symmetric, so its own decomposition is trivial: P=AP=A and QQ is the zero matrix, since A−AT=0A-A^T=0. This confirms a general fact worth remembering — a matrix that is already symmetric decomposes into itself plus the zero skew-symmetric matrix, and a purely skew-symmetric matrix decomposes into the zero matrix plus itself. This gives a fast diagnostic during an exam: compute A−ATA-A^T first; if it comes out as the zero matrix, AA is already symmetric and there is no need to separately compute 12(A+AT)\tfrac12(A+A^T), since it will simply equal AA.

Common traps

  • Applying 12(A+AT)\tfrac12(A+A^T) or 12(A−AT)\tfrac12(A-A^T) to a non-square matrix — the formula requires AA and ATA^T to have the same order, which only happens for square matrices.
  • Assuming a zero diagonal is enough to call a matrix skew-symmetric — it is necessary but not sufficient; every off-diagonal pair must also satisfy aij=−ajia_{ij}=-a_{ji}, not just aii=0a_{ii}=0.
  • Sign slips when testing skew-symmetry, such as checking aij=ajia_{ij}=a_{ji} (the symmetric condition) instead of aij=−ajia_{ij}=-a_{ji}.
  • Believing every square matrix must be symmetric or skew-symmetric — most are neither, and the whole point of the decomposition theorem is that "neither" still splits cleanly into both.
  • Forgetting the reversal order in (AB)T=BTAT(AB)^T=B^TA^T when proving a product like AATAA^T is symmetric — writing ATATA^TA^T instead of the correct (AT)TAT=AAT(A^T)^TA^T=AA^T breaks the whole argument.

Ask the tutor: if you would like to practice this decomposition on a fresh 3×33\times3 matrix or see the proof that AATAA^T is always symmetric, ask the AI tutor about "symmetric and skew-symmetric matrices."

Why does the decomposition formula only work for square matrices?

Because A+ATA+A^T and A−ATA-A^T must be defined, and matrix addition only makes sense between matrices of the same order. If AA is m×nm\times n with m≠nm\neq n, then ATA^T is n×mn\times m, a different shape, so A+ATA+A^T is not even a valid operation. The moment AA is square, ATA^T has the identical order and the formula goes through cleanly for every entry.

Do I need to check both AT equals A and AT equals negative A separately, or is there a shortcut?

There is a fast shortcut: compute the diagonal first. If any diagonal entry is nonzero, the matrix cannot be skew-symmetric, so you only need to check AT=AA^T=A. If the diagonal is all zeros, check both conditions on the off-diagonal entries, since a zero diagonal alone does not guarantee skew-symmetry. In practice, write out ATA^T once and compare it to AA and to −A-A side by side.

Is the symmetric plus skew-symmetric decomposition useful for anything beyond this definition, or is it just a classification exercise?

It shows up constantly in "prove that..." questions, where you are asked to show some constructed matrix, such as A+ATA+A^T or AATAA^T, is symmetric or skew-symmetric without expanding every entry. The transpose rules (AB)T=BTAT(AB)^T=B^TA^T, (A+B)T=AT+BT(A+B)^T=A^T+B^T and (kA)T=kAT(kA)^T=kA^T let you verify such claims algebraically in a couple of lines, the same toolkit used in the derivation above.

Before this

Where this leads