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 and matrices so the definitions become something you can check by eye in seconds during an exam.
A square matrix is symmetric when and skew-symmetric when , and every square matrix splits uniquely as , a symmetric part plus a skew-symmetric part.
The core idea
Symmetric matrices. A square matrix is symmetric if it equals its own transpose:
where: is the entry in row , column , and is with rows and columns interchanged. Every off-diagonal entry has a twin reflected across the leading diagonal, and the diagonal entries are unrestricted — they can be any number at all.
Skew-symmetric matrices. A square matrix is skew-symmetric if
Put in this condition and you get , so and . 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 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.
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 .
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 and . 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 (square or not), the products and are always symmetric. The proof needs only the reversal rule : taking the transpose of gives , unchanged, so is symmetric — and the identical argument applied to gives . This is exactly the kind of "prove that..." claim this unit favours, and it settles in two lines without expanding a single entry.
The goal is to show that for any square matrix of order or , the two matrices and are respectively symmetric and skew-symmetric, that reconstructs exactly, and that no other pair of a symmetric matrix and a skew-symmetric matrix can also add up to — using only the two transpose rules and .
Step 1. Define and take its transpose. Since transposing distributes over addition and , . So : is symmetric.
Step 2. Define and take its transpose the same way. . So : is skew-symmetric.
Step 3. Add and back together: . The two halves recombine to give back the original matrix exactly, with no leftover terms.
Step 4. Uniqueness. Suppose some other symmetric and skew-symmetric also satisfy . Then . 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 and simultaneously, forcing , i.e. . So and : the decomposition is unique. Verified: for a general matrix , is symmetric and is skew-symmetric with zero diagonal, and reproduces every entry of .
Worked example
Express as the sum of a symmetric matrix and a skew-symmetric matrix, and then check the result against a extension.
Step 1 — find . Interchanging rows and columns, .
Step 2 — compute the symmetric part . , so . Checking, , and indeed the off-diagonal entries match: symmetric confirmed.
Step 3 — compute the skew-symmetric part . , so . Checking, and the diagonal is zero: skew-symmetric confirmed.
Step 4 — verify the sum. , exactly recovering the original matrix. Answer: , symmetric part plus skew-symmetric part .
Competitive stretch
For the matrix , since already (checked entry by entry: , , ), is already symmetric, so its own decomposition is trivial: and is the zero matrix, since . 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 first; if it comes out as the zero matrix, is already symmetric and there is no need to separately compute , since it will simply equal .
Common traps
- Applying or to a non-square matrix — the formula requires and 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 , not just .
- Sign slips when testing skew-symmetry, such as checking (the symmetric condition) instead of .
- 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 when proving a product like is symmetric — writing instead of the correct breaks the whole argument.
Ask the tutor: if you would like to practice this decomposition on a fresh matrix or see the proof that is always symmetric, ask the AI tutor about "symmetric and skew-symmetric matrices."
Why does the decomposition formula only work for square matrices?
Because and must be defined, and matrix addition only makes sense between matrices of the same order. If is with , then is , a different shape, so is not even a valid operation. The moment is square, 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 . 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 once and compare it to and to 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 or , is symmetric or skew-symmetric without expanding every entry. The transpose rules , and let you verify such claims algebraically in a couple of lines, the same toolkit used in the derivation above.