数控技术属于什么系:证明两个同心圆环直径平方差等于弦长的平方差