刷机精灵好用吗:[数学]根号3又可以叫做什么?