Let $A$ and $B$ be complex $4\times 4$ matrices. Assume both are Hermitian, and that they are linearly independent. Must there exist a nonzero real linear combination $aA + bB$ which has a repeated eigenvalue?