Разделим обе части на ctg²α. получим:

1 - cos²α / (cos²α/sin²α) = cos²α

1 - sin²α = cos²α

cos²α = cos²α, ч.т.д.