数学家破解凶杀案谜团