如题所述
见欧几里得《几何原本》第153页
△ADE与△ABC相似,由[V.11]得AD/AB=AE/AC
同理,若△ADE沿AB平移使D点移到B点上, 既可证得DA/BA=DE/BC
所以相似三角形对应边成比例