the theorem may also be proven using trigonometry: let formula_5, formula_6, and formula_7. then b is a point on the unit circle formula_8. we will show that ∆abc forms a right angle by proving that and are perpendicular — that is, the product of their slopes is equal to −1. we calculate the slopes for and :