9个人见面～每3个人中必有两个相识～证明九个人中必有4个人彼此相识

用矩阵，9个人见面～：：：9×9的矩阵（对称矩阵），对角线上元素设为0，其余的项认识为1，不认识为0，
每3个人中必有两个相识～：：：任意的3×3子矩阵为非零矩阵，
九个人中必有4个人彼此相识：：：存在4×4的矩阵，除去对角线上元素全为0外，每个元素都为1

九个人中必有4个人彼此相识