证明步骤
几何图形
图例说明
较短线段 C
较长线段 AB
截取线段 AD = C
辅助圆（圆心A，半径C）
辅助构造线段