当把这些逻辑关系都定义到程序中时，就可以直接通过输入A点的XY坐标，B点的XY坐标，C点的XY坐标，然后得到点O的坐标和点E点F点D的坐标，或者通过输入AB长度，BC长度，AC长度，从而得知AO和BO和CO的长度，以及得知AF，CE，BD的长度，以及输出DO的长度（用于画圆快速验证是否正确）。