展开 阿基米德三角形证明交点过定直线