由 DE∥BCDE\parallel BCDE∥BC 知三角形 ADEADEADE 与三角形 ABCABCABC 相似,故 AD/AB=AE/ACAD/AB=AE/ACAD/AB=AE/AC。用相等的比 AB/AD=AC/AEAB/AD=AC/AEAB/AD=AC/AE 乘 AD⋅AS=AE⋅ATAD\cdot AS=AE\cdot ATAD⋅AS=AE⋅AT 两边,得 AS⋅AB=AT⋅ACAS\cdot AB=AT\cdot ACAS⋅AB=AT⋅AC。