用“平行线分线段成比例定理”证明出来的
当然“平行线分线段成比例定理”本身可以用三角函数或者面积法证明。
所有平面几何定理都可以有最原始的五条公设证明推出来。
公设一：任两点必可用直线连接
公设二：直线可以任意延长
公设三：可以任一点为圆心，任意长为半径画圆
公设四：所有的直角皆相同
公设五：过线外一点，恰有一直线与已知直线平行
--
FROM 61.51.110.*