已知：sin15 =sin(45-30) =sin45cos30-sin30cos45 =√2/2*√3/2-1/2*√2/2 =(2√6+√2)/4
sin15=直边/斜边
直边=斜边*sin15=1*(2√6+√2)/4=(2√6+√2)/4