两个平面圆有交点的分析思考－关于平面几何

在看小学数学平面几何题，自然要提到欧几里得的几何原本，通过5条公设，可以推出几千条命题，就像看国内三国演义，没遇到孔明之前三国你都不能叫打仗只能叫打架群殴，直到孔明出场以后，西方科学公理演绎法的强大，可惜国人从清朝康熙那会都没有搞明白欧几里得那套东西是咋回事，以为殴的心里的几何就是空间想象力，其实殴的几何其实是基于一些基本的几何事实上的持续推导，只要公设正确，推导过程正确，结论精密的正确，当然推导不是一条线的往往是复杂的，几何原本也没写推导方法，这构成了复杂多变的经验和技能。感觉更像古代军师的运筹帷幄。
最近翻看几何原本第一条命题，给定一条直线段做一个等边三角形, 他是先以AB，做一个圆C0, 再以BA做一个圆C1，然后C0和C1的交点是C，然后基于一些公理，公设，得到AC等于AB等于BC，所以三角形ABC是一个等边三角形

      C
     *  *
    *    *
   *      *
  A---------B

这里很显然圆C0，C1有交点C是尺规作图通过观察得到的，突然没想到从基本公理公设自然知道C0，C1有至少一个交点这个几何事实。
费脑筋算了就用点近代的集合论和拓扑学来圆一下吧！
平面看做点的集合，显然点有无穷多；
平面上的封闭轮廓圆把这些点分为三组点的集合：内部IN、外部OUT、边界ON；
延长AB到D：A----B----D，令AB长度等于BD，由殴的关于圆的定义，D在C1上，由圆外部的定义，AD长度大于AB的长度，D在C0的外部集合内；
对于C0，A是圆心在C0的内部集合，D在C0的外部集合，且A和D都在C1上，则一个点沿着一条连续曲线轨迹运动构成的点的集合，从内部到外部，会至少跨越边界一次，所以至少有一个点在边界上；
所以C0和C1至少有一个交点。