请求一些数学课外定理、公式,如海伦公式之类的.