古希腊的几何学家海伦给出了什么思想