数学的快速检查法