ctg²a − ctg²β = cos²a/sin²a - cos²β/sin²β = (cos²a sin²β - cos²β sin²a) / (sin²a sin²β) = (cos²a (1 - cos²β) - cos²β (1 - cos²a)) / (sin²a sin²β) = (cos²a - cos²a cos²β - cos²β + cos²a cos²β) / (sin²a sin²β) = (cos²a - cos²β) / (sin²a sin²β). Доказано.