tan15=(tan60-tan45)/(1+tan60×tan45)
=(√3-1)/(√3+1)
cot15=1/tan15= (√3+1)/(√3-1)
=(4+2√3)/2
=2+√3