Let A be a 3×3 real matrix such that the vectors Au and u are orthogonal for every column vector u∈R3. Prove that: a) AT=−A. b) there exists a vector v∈R3 such that Au=v×u for every u∈R3, where v×u denotes the vector product in R3.
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
### Part (a) 1. Given: A is a 3×3 real matrix such that the vectors Au and u are orthogonal for every column vector u∈R3. 2. Orthogonality Condition: For any u∈R3, we have: ⟨Au,u⟩=0 where ⟨⋅,⋅⟩ denotes the dot product. 3. Matrix Representation: Let A=(aij) and u=(u1,u2,u3)T. 4. Dot Product Expansion: The condition ⟨Au,u⟩=0 can be written as: (Au)Tu=0 Expanding this, we get: uTATu=0 5. Component Form: For any u=(u1,u2,u3)T, this becomes: i=1∑3j=1∑3aijuiuj=0 6. Choosing Basis Vectors: Let u be the standard basis vectors ei where ei has 1 in the i-th position and 0 elsewhere. - For u=e1, we get a11=0. - For u=e2, we get a22=0. - For u=e3, we get a33=0. 7. Off-Diagonal Elements: Consider u=ei+ej for i=j: - For u=e1+e2, we get: a11+a12+a21+a22=0⟹a12+a21=0⟹a21=−a12 - Similarly, for other combinations, we get: a13+a31=0⟹a31=−a13 a23+a32=0⟹a32=−a23 8. Conclusion: The matrix A is skew-symmetric, i.e., AT=−A.
■
### Part (b) 1. Given: We need to show that there exists a vector v∈R3 such that Au=v×u for every u∈R3. 2. Skew-Symmetric Matrix Representation: From part (a), we know A is skew-symmetric. Thus, A can be written as: A=0a12a13−a120a23−a13−a230 3. **Vector v**: Define v as: v=−a23a13−a12 4. Cross Product: The cross product v×u for u=(u1,u2,u3)T is: v×u=−a23a13−a12×u1u2u3=a13u3−(−a12)u2−a23u1−(−a13)u3−a12u2−a23u1 Simplifying, we get: v×u=a13u3+a12u2−a23u1+a13u3−a12u1−a23u2 5. Matrix-Vector Multiplication: Now, compute Au: Au=0a12a13−a120a23−a13−a230u1u2u3=−a12u2−a13u3a12u1−a23u3a13u1+a23u2 6. Comparison: Comparing the components of Au and v×u, we see that: Au=v×u Thus, the vector v defined as v=(−a23,a13,−a12)T satisfies the required condition.
■
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.