世界杯小镇数学家韩国队正在用尺规作图找最优解：画一条直线绕开巴西，算一个钝角避开