DE∥BCDE\parallel BCDE∥BC より三角形 ADEADEADE は三角形 ABCABCABC と相似なので AD/AB=AE/ACAD/AB=AE/ACAD/AB=AE/AC である。AD⋅AS=AE⋅ATAD\cdot AS=AE\cdot ATAD⋅AS=AE⋅AT に等しい比 AB/AD=AC/AEAB/AD=AC/AEAB/AD=AC/AE を掛けると AS⋅AB=AT⋅ACAS\cdot AB=AT\cdot ACAS⋅AB=AT⋅AC を得る。