根号2(根号8+4根号2分之1-根号12)