tan15°=tan(45°-30°）=（tan45°-tan3o°）/（1+tan45°tan30°）
=（√2/2-√3/3)/(1+√2/2·√3/3)=(4√2-3√3)/5