圆的第二定义,到两定点的距离之比为不等于1的定值的点的集合,即为阿氏圆。
除了用直角坐标系进行论证外,还通过探索相似三角形的字母型结构来论证阿氏圆。在论证过程中,对阿氏圆的性质进行了归纳总结并逐个证明。