Нанасяме A1B1 върху лъча AB→ до точката B2 (фиг.5). Нека правата m през B2, успоредна на BC, пресича AC в точка C2.
От лемаа за пропорционалните отсечки в триъгълника имаме AB/A2B2 = AC/A2C2 = BC/B2C2. От A1B1 = AB2 получаваме AB/A1B1 = AB/AB2 = AC/AC2 = BC/B2C2. Като вземем предвид, че AB/A1B1 = AC/A1C1 = BC/B1C1, откъдето AC/AC2 = AC/A1C1 и BC/B2C2 = BC/B1C1. Следователно AC2 = A1C1 и B2C2 = B1C1. Тогава ΔA1B1C1 ≅ ΔАB2C2 по трети признак за еднаквост, т.е. ∠B2AC2 = ∠B1A1C1 и ∠AB2C2 = ∠A1B1C1. Но ∠B2AC2 = ∠BAC и ∠AB2C2 = ∠ABC (m||BC). Следователно ∠BAC = ∠B1A1C1, ∠ABC = ∠A1B1C1 и триъгълниьците ABC и A1B1C1 са подобни по първи признак за подобност.