Выразите ctg 4a через ctg a
ctg4a=(ctg^2(2a)-1)/(2*ctg(2a))=(((ctg^2(a)-1)/(2ctga))^2-1)/(2*(ctg^2(a)-1)/(2*ctga))