从一道初等几何题目聊聊作为工具的数学