书目详细信息 : 分角线相等的三角形:初等几何机器证明问题