ei(23π12)−ei(13π12)
=e−2πiei(23π12)−eiπei(π12)
=ei(−π12)+ei(π12)
=cos(π12)−isin(π12)+cos(π12)+isin(π12)
=2cos(π12)
π12 is 15∘. We avoid the nested radical with the difference formula:
cos(π12)=cos(45∘−30∘)=cos45∘cos30∘+sin45∘sin30∘=√22(√32+12)=√6+√24
ei(23π12)−ei(13π12)=√6+√22