(ctga × cosa − sina )÷2cosa
=((cosα·cosα)/sinα - sinα)÷2cosα=(cos²α-sin²α)/sinα·2cosα = cos2α/sinα=ctg2α