奥赛题详解解方程 x【x】=80【x】为小于x的最大整数