【最小数原理】根号2不是有理数
发布人