这个页面用于吐槽多校第四场的一道题目。作为大作业感觉不错,建议未来的助教们考虑考虑。
引言
ZYB对数学有敏锐的直觉,尤其是在几何问题上。
几何问题是这样的:求∠CAM的值。
或者是这样的:如果AC=x−3,BE=20,AB=16,CD=x+5,求x。
为了更容易地分析问题,输入将包含逻辑形式,而不是原始的问题文本和图表。
基本逻辑形式
数字。使用十进制整数表示数字。
未知数字。x是唯一未知的数字。
表达式。表达式可以是一个数字,也可以是一个表达式,其中x只出现一次,最多一次加减法,最多一次乘法。乘法符号可以省略。
点。使用单大写字母表示点。
线。用Line(Point, Point)来表示一条线(实际上它是一条线段)。
角。使用Angle(Point, Point, Point)来表示一个角。
圆。使用Circle(Point)表示具有特定中心的圆。