何故
-(1+√3-√5-√15-√(2*(5+√5))+√(6*(5+√5)))/(1-√3-√5+√15+√(2*(5+√5))+√(6*(5+√5)))
が
(√(10-2√5)-2)/(2√3+1+√5)
となるのか?