tan30=√3/3=2tan15/(1-tan²15)
所以(1-tan²15)/2tan15=1/(√3/3)=√3
所以(1-tan²15)/tan15=2√3