在传统解法中,人类参赛者通常会借助三角函数、复数或其他计算方法来求解。而对于AlphaGeometry而言,其DDAR系统仅依靠基本的角度关系推导和比例关系推导,因此需要引入一些辅助点的构造。