桂林有几个县城:怎样用"海伦公式"证明"三斜求积术"?