谁知道那些复杂的理科公式是怎么被发现的啊?