[ (8 + 4√3) / √(113 + 64√3) ]·[ (√6 - √2) / 4 ] + [ 1 / √(113 + 64√3) ]·[ (√6 + √2) / 4 ]=