Positive semidefiniteness of a 3×3 matrix related to partitioning