Como você avalia o #cot 30 #?

#cot 30 = 1/tan 30#

A tabela de conversão de triggers fornece: #tan 30 = (sqr3)/3#, Em seguida

#cot 30 = 3/(sqr3) = (3sqr3)/3 = sqr3#