（tan7+tan8）/(1-tan7tan8)=tan15`=2-√3
（1-tan7tan8）（2-√3）＝tan7+tan8
(1-tan7-tan8-tan7tan8)/(1+tan7+tan8-tan7tan8)
＝[1-tan7tan8－（1-tan7tan8）（2-√3）]/[1-tan7tan8+（1-tan7tan8）（2-√3）]
＝（1－2+√3）（1－tan7tan8）/(1+2-√3)（1-tan7tan8）
=（√3－1）/(3-√3)=（√3－1）/√3(√3-1)=√3/3