Cot alpa = 1/tan alpa

cot α =1/tan α
cot α =1/(sin α / cos α)
cot α =(1/sin α) x cos α
cot α = cos α / sin α
cot α = cot α (terbukti)