Olympiad Maths Prep

Track / Stage 7 / 204 of 300 #1604 of 2000

Problem 1604

National olympiad second round; IMO P1/P4
Algebra Difficulty 7.5 Prove it

Show that the determinant: 0abca0debd0fcef0 \begin{vmatrix} 0 & a & b & c \\ -a & 0 & d & e \\ -b & -d & 0 & f \\ -c & -e & -f & 0 \end{vmatrix} is non-negative, if its elements a,b,c,a, b, c, etc., are real.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

1. Identify the structure of the matrix:
The given matrix is a 4×44 \times 4 skew-symmetric matrix, where the elements satisfy the property Aij=AjiA_{ij} = -A_{ji} and Aii=0A_{ii} = 0 for all ii.

A=(0abca0debd0fcef0) A = \begin{pmatrix} 0 & a & b & c \\ -a & 0 & d & e \\ -b & -d & 0 & f \\ -c & -e & -f & 0 \end{pmatrix}

2. Properties of skew-symmetric matrices:
For any skew-symmetric matrix AA of odd order, the determinant is zero. For even order, the determinant is the square of the Pfaffian of the matrix. The Pfaffian of a 4×44 \times 4 skew-symmetric matrix can be computed as follows:

Pf(A)=afbe+cd \text{Pf}(A) = af - be + cd

3. Compute the determinant using the Pfaffian:
The determinant of a 4×44 \times 4 skew-symmetric matrix AA is given by:

det(A)=(Pf(A))2 \det(A) = (\text{Pf}(A))^2

Substituting the Pfaffian:

det(A)=(afbe+cd)2 \det(A) = (af - be + cd)^2

4. Non-negativity of the determinant:
Since the square of any real number is non-negative, we have:

(afbe+cd)20 (af - be + cd)^2 \geq 0

Therefore, the determinant of the given matrix is non-negative.

(afbe+cd)2 \boxed{(af - be + cd)^2}

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.