求过圆心直线与圆的两个交点

主要是注意所使用的数据类型。

之前用的是float，出现了一些意外，而且花费了我不少时间来反复验证、推导，

做了很多的无用功，而且，反复推导得出来的计算步骤并没有什么不牢靠的地方。

然后计算得到的结果却是让人如此之不省心，梗的我闷得慌。

今天上午发来了一贴，多位朋友各抒己见，

总算是让我发现了一些不足的地方，首当其冲的是一个变量弄错了，

导致大批的计算失准。

后来修正了这个bug以后，还是会出现计算不精确的地方。

再后来便将涉及的所有成员变量由float 纠正为 double 类型，

计算精度果然得到了提高，失准的地方再次被干掉。

这次给自己的教训就是：

涉及到精度比较高的数值运算的时候，还是得统统用 double。

之前还以为 float 已经比较不错，能够满足基本的需求了，

经过这次我总算是懂了，double的存在离我并不遥远。

这个问题堵了我比较久了，大概也有快10个月了，当时没解决就规避之没去用了，

今天能够解决这个遗留已久的问题，真是让人心情愉快！

下面贴出 Objective-C 和 Java 的相关代码：

Objective-C 部分(核心代码摘录)

/** 已知两点，求过该两点的直线表达式~ */- (BYLine) getLine:(b2Vec2)p1 anotherPoint:(b2Vec2)p2 {BYLine line;if((p1.x - p2.x) != 0) {        line.kExists = true;line.k = (p1.y - p2.y) / (p1.x - p2.x);line.b = p1.y - line.k * p1.x;} else {line.kExists = false;line.extraX = p1.x;}return line;}/** 已知一点和直线斜率，求该直线的表达式~ */- (BYLine) getLine:(b2Vec2)point kParam:(double)kParam {BYLine line;    line.kExists = true;line.k = kParam;line.b = point.y - kParam * point.x;return line;}- (double) getDistanceBetween2Points:(b2Vec2)p0 anotherPoint:(b2Vec2)p1 {return sqrt(pow(p0.y - p1.y, 2) + pow(p0.x - p1.x, 2));}/** 获取一条直线上距离某点一定距离的两个点~ */- (b2Vec2*) get2Points:(BYLine)ln p:(b2Vec2)point pw:(double)pathWidth {    b2Vec2* target = new b2Vec2[2];    double circleRadius = pathWidth / 2;        if(ln.k != 0) {        // 斜率存在且不为 0~        double kOfNewLine = -1 / ln.k;        BYLine newLine = [self getLine:point kParam:kOfNewLine];                // 经过数学运算，得出二元一次方程组的表达式        double A = pow(newLine.k, 2) + 1;        double B = 2 * (newLine.k * newLine.b - newLine.k * point.y - point.x);        double C = pow(point.x, 2) + pow((newLine.b - point.y), 2) - pow(circleRadius, 2);        double delta = pow(B, 2) - 4 * A * C;                if(delta < 0) {    // 经实践检验有一定几率走入该分支，必须做特殊化处理~            NSLog(@"竟然会无解，他妈的怎么回事儿啊！");            target[0] = b2Vec2(point.x, point.y - circleRadius);            target[1] = b2Vec2(point.x, point.y + circleRadius);        } else {            double x1 = (-B + sqrt(delta)) / (2 * A);            double y1 = newLine.k * x1 + newLine.b;            target[0] = b2Vec2(x1, y1);                        double x2 = (-B - sqrt(delta)) / (2 * A);            double y2 = newLine.k * x2 + newLine.b;            target[1] = b2Vec2(x2, y2);        }    } else {        // 斜率存在且为 0~        target[0] = b2Vec2(point.x, point.y - circleRadius);        target[1] = b2Vec2(point.x, point.y + circleRadius);    }    NSLog(@"离中心点的距离为：%f", [self getDistanceBetween2Points:target[0] anotherPoint:point]);    return target;}// 绘制触摸点到移动点的轨迹，1个像素~- (void) drawTouchPath {    if(_mouseDown) {        // 已知(2等分，用分数表示~)        b2Vec2 pStart = _touchSegment.p1;        b2Vec2 pEnd = _touchSegment.p2;                // 推出        b2Vec2 pMiddle = b2Vec2((pStart.x + pEnd.x) / 2, (pStart.y + pEnd.y) / 2);        float pathLength = [self getDistanceBetween2Points:pStart anotherPoint:pEnd];                // 设置触摸轨迹的宽度~        float pathWidth = pathLength / 3.0f;        if(pathWidth > TOUCH_PATH_MAX_WIDTH) {            pathWidth = TOUCH_PATH_MAX_WIDTH;        }                b2Vec2* result;        BYLine expFunc = [self getLine:pStart anotherPoint:pEnd];        if(expFunc.kExists) {   // 斜率存在~            result = [self get2Points:expFunc p:pMiddle pw:pathWidth];        } else {                // 斜率不存在~            result = new b2Vec2[2];            result[0] = b2Vec2(pMiddle.x - pathWidth / 2, pMiddle.y);            result[1] = b2Vec2(pMiddle.x + pathWidth / 2, pMiddle.y);        }                b2Vec2 finalResult[5];        finalResult[0] = pStart;        finalResult[1] = result[0];        finalResult[2] = pEnd;        finalResult[3] = result[1];        finalResult[4] = pStart;        // 绘制白色内容物~        glColor4f(1.0f, 1.0f, 1.0f, 1.0f);        glVertexPointer(2, GL_FLOAT, 0, finalResult);        glDrawArrays(GL_TRIANGLE_STRIP, 0, 5);    }}

Java 部分(部件齐全，能直接拿来跑的)

package org.bruce.vertices.controller.geometry;/** * @author BruceYang * 对点的抽象~ */public class CGPoint {public double x;public double y;public CGPoint() {}public CGPoint(double x, double y) {this.x = x;this.y = y;}@Overridepublic String toString() {return "x=" + this.x + ", y=" + this.y;}}

*****************************************************

package org.bruce.vertices.controller.geometry;/** * @author BruceYang * 这个是对通用一次直线方程 A*x + B*y + C = 0 的封装~ * 本来封装的是斜截式，不过发现当斜率k不存在的时候会比较麻烦，因此该用一般式 * 再个就是接着用一般式的演变方式 x + B/A*y + C/A = 0，但是考虑到可能存在x ＝＝ 0 的情况，因此又舍弃~ *  * 娘的，一般式还是他妈的无济于事啊，改回斜截式，多提供两个成员变量： * 一个boolean表示k是否存在，一个额外的float表示k不存在的时候直线方程 x=***, *** 等于多少~ */public class CGLine {// 特别声明为public类型，免得到时候访问的时候麻烦，到时候直接点就行了private boolean kExists;// 大部分情况下 k 都应该是存在的，因此提供一个 true 的默认值~public double k = 77885.201314f;public double b = 13145.207788f;public double extraX = 52077.881314f;/** * 这是当 k 存在时的构造方法~ * @param k * @param b */public CGLine(double k, double b) {this.kExists = true;this.k = k;this.b = b;}/** * 已知两点，求直线的方程~ * @param p1 * @param p2 */public CGLine(CGPoint p1, CGPoint p2) {if((p1.x - p2.x) != 0) {CGDbg.println("y = k*x + b, k exits!!");this.kExists = true;this.k = (p1.y - p2.y)/(p1.x - p2.x);this.b = (p1.y - p1.x * k);} else {CGDbg.println("y = k*x + b, k doesn't exists!!");// 如果走进这个分支，表示直线垂直于x轴，斜率不存在，保留k的默认值~this.kExists = false;this.extraX = p1.x;}CGDbg.print("过p1("+p1.x+", " +p1.y + "), p2("+p2.x+", "+p2.y+")两点的直线方程表达式为: ");if(kExists) {CGDbg.println("y = " + k + "*x + " + b);} else {CGDbg.println("x = " + extraX + "(垂直于x轴!)");}}/** * 点斜式~ * @param p某点 * @param k过该点的直线的斜率 */public CGLine(double k, CGPoint p) {/** * (y-y') = k*(x-x') * 变形成斜截式为： * y = k*x + y' - k*x' * k = k, b = y'-k*x' */this.kExists = true;this.k = k;this.b = p.y - k * p.x;}/** * 这是当 k 不存在时的构造方法~ * @param extraX */public CGLine(double extraX) {this.kExists = false;this.extraX = extraX;}@Overridepublic String toString() {return "Line.toString()方法被调用，y = k*x + b斜截式, k=" + this.k + ", b=" + this.b + ", kExists=" + this.kExists + ", extraX=" + this.extraX;}public boolean iskExists() {return kExists;}public void setkExists(boolean kExists) {this.kExists = kExists;}}

*****************************************************

package org.bruce.vertices.controller.geometry;/** * @author Bruce Yang * 用于打印调试~ */public class CGDbg {public static final boolean DEBUG_MODE = true;// 方便进行调试信息的输出，开关~public static void println(Object info) {if(DEBUG_MODE) {System.out.println(info);}}public static void print(Object info) {if(DEBUG_MODE) {System.out.print(info);}}}

*****************************************************

package org.bruce.vertices.controller.geometry;/** * @author BruceYang */public class CGGeometryLib {/** * @param p0第一个点的坐标 * @param p1第二个点的坐标 * @return两个点之间的距离 * 计算出两点之间的距离 */public static double getDistanceBetween2Points(CGPoint p0, CGPoint p1) {double distance = Math.sqrt(Math.pow(p0.y - p1.y, 2) + Math.pow(p0.x - p1.x, 2));return distance;}/** * @param p * @param l * @return该方法用于获取某点在某条直线上的投影点的坐标 */public static CGPoint getProjectivePoint(CGPoint p, CGLine l) {CGPoint target = null;if(l.iskExists()) {if(l.k != 0) {CGLine newLine = new CGLine(-1/l.k, p.y -(-1/l.k)*p.x);target = getCrossPoint(l, newLine);} else {// 如果直线l的斜率存在且斜率的值为0，明显是一条平行于x轴的直线~// 此时，点 p 到直线 l 的距离为：Math.abs(p.y-l.b)target = new CGPoint(p.x, l.b);}} else {// 如果直线l的斜率不存在，明显是一条垂直于x轴的直线~// 此时，点 p 到直线 l 的距离为：Math.abs(p.x-l.extraX)target = new CGPoint(l.extraX, p.y);}CGDbg.println("点 ("+p.x+", "+p.y+") 在直线：y="+l.k+"x+"+l.b+" 上的投影点为 ("+target.x+", "+target.y+")");return target;}/** * 该方法用于求出两条直线的交点坐标 * 这个方法是定制的，只有 l1, l2 均存在斜率 k 时方能使用（限制取消）~ * @param l1 * @param l2 * @return */public static CGPoint getCrossPoint(CGLine l1, CGLine l2) {//dbgPrintln("into the getCrossPoint, l1: " + l1);//dbgPrintln("into the getCrossPoint, l2: " + l2);double x, y;if(l1.iskExists() && l2.iskExists()) {x = (l2.b - l1.b) / (l1.k - l2.k);y = l1.k * x + l1.b;} else if(!l1.iskExists() && l2.iskExists()) {x = l1.extraX;y = l2.k * x + l2.b;} else if(l1.iskExists() && !l2.iskExists()) {x = l2.extraX;y = l1.k * x + l1.b;} else {// 两条直线的斜率都不存在？！，不可能发生的情况！！x = 0;y = 0;}CGDbg.println("getCrossPoint, CGPoint(x=" + x + ", y=" + y + ")");return new CGPoint(x, y);}/** * @param args * 怎样判断是否符合要求？将过每组3个点中除开多边形顶点的两个点的直线方程求出来 * 比较求出的 4 个 候选圆心点 哪个与此直线离的比较近，哪个就是符合要求的圆心点 * 以下方法用于获取离特定直线距离最近的一个点(目前只支持斜率k存在的直线，以后慢慢扩充)！ * 要得到距离特定直线距离最远的一个点只要稍作改动即可！ */public static CGPoint getNearestPoint(CGPoint[] points, CGLine line) {double minDistance = 0;int minIndex = 0;if(line.iskExists()) {// 直线斜率存在的分支~for(int i = 0; i < points.length; ++ i) {CGPoint p = points[i];double d = Math.abs(line.k*p.x-p.y+line.b)/Math.sqrt(Math.pow(line.k,2)+1);if(i == 0) {// 赋予初值，不然 minDistance 的值就为 0 了~minDistance = d;}if(d < minDistance) {minDistance = d;minIndex = i;}}} else {// 直线斜率不存在的分支(亦即直线垂直于 x 轴)~for(int i = 0; i < points.length; ++ i) {CGPoint p = points[i];double d = Math.abs(p.x - line.extraX);if(i == 0) {// 赋予初值，不然minDistance的值就为0了~minDistance = d;}if(d < minDistance) {minDistance = d;minIndex = i;}}}CGPoint dest = points[minIndex];CGDbg.println("即将离开chooseOne()方法，圆心点为：("+dest.x+", "+dest.y+")");return dest;}/** * 获取传入两点的中点~ * @param p1 * @param p2 * @return */public static CGPoint getMiddlePoint(CGPoint p1, CGPoint p2) {return new CGPoint((p1.x + p2.x) / 2.0f, (p1.y + p2.y) / 2.0f);}/** * 封装一下 Math 的 pow 、sqrt 方法，调用起来方便一些~ * @param d1 * @param d2 * @return */public static double pow(double d1, double d2) {return Math.pow(d1, d2);}public static double sqrt(double d) {return Math.sqrt(d);}public static double sin(double theta) {return Math.sin(theta);}public static double cos(double theta) {return Math.cos(theta);}/** * 传入线段的两个端点，获取中点，以该中点为圆心做半径为 radius 的圆， * 经过线段中点做线段的垂线，返回垂线与圆的两个交点~ * Objective-C 里面的结果有点儿问题，不知道是什么原因，来java 里面碰碰有运气~ * @param p1线段端点1 * @param p2线段端点2 * @param radius圆半径 * @return线段中垂线与圆的两个交点~ */public static CGPoint[] getWhatIWanted(CGPoint p1, CGPoint p2, double radius) {CGPoint[] target = new CGPoint[2];CGPoint pMiddle = getMiddlePoint(p1, p2);//double segLength = getDistanceBetween2Points(p1, p2);CGLine l1 = new CGLine(p1, p2);if(l1.iskExists()) {if(l1.k != 0) {double kOfNewLine = -1 / l1.k;CGLine newLine = new CGLine(kOfNewLine, pMiddle);        // 经过数学运算，得出二元一次方程组的表达式        double A = pow(newLine.k, 2) + 1;        double B = 2 * (newLine.k * newLine.b - newLine.k * pMiddle.y - pMiddle.x);        double C = pow(pMiddle.x, 2) + pow((newLine.b - pMiddle.y), 2) - pow(radius, 2);        double delta = pow(B, 2) - 4 * A * C;                if(delta < 0) {    // 经实践检验有一定几率走入该分支，必须做特殊化处理~        // 2012。04。28。20。01，精度不够所致，换成double后无该情况出现~            CGDbg.println("竟然会无解，他妈的怎么回事儿啊！");            target[0] = new CGPoint(pMiddle.x, pMiddle.y - radius);            target[1] = new CGPoint(pMiddle.x, pMiddle.y + radius);        } else {            double x1 = (-B + sqrt(delta)) / (2 * A);            double y1 = newLine.k * x1 + newLine.b;            target[0] = new CGPoint(x1, y1);                        double x2 = (-B - sqrt(delta)) / (2 * A);            double y2 = newLine.k * x2 + newLine.b;            target[1] = new CGPoint(x2, y2);        }} else {        target[0] = new CGPoint(pMiddle.x, pMiddle.y - radius);        target[1] = new CGPoint(pMiddle.x, pMiddle.y + radius);}} else {target[0] = new CGPoint(pMiddle.x - radius, pMiddle.y);target[1] = new CGPoint(pMiddle.x + radius, pMiddle.y);}System.out.println("target[0] 距离中点的距离为：" + getDistanceBetween2Points(target[0], pMiddle));System.out.println("target[1] 距离中点的距离为：" + getDistanceBetween2Points(target[1], pMiddle));return target;}/** * 测试实用性，测试结果如下： * 之前用 float 类型的时候，每隔 1 度测试一次，共测试一个圆周，无解的情况出现一次 * 每隔 1 度测试一次， 共测试一个圆周，无解的情况无。 * 每隔 0.5 度测试一次，共测试一个圆周，无解的情况只出现一次 * @param args */public static void main(String[] args) {double currentRadian = 0;double deltaRadian = Math.PI / 360;double bigRadius = 50;double smallRadius = 20;CGPoint origin = new CGPoint(0, 0);// 原点~CGPoint tail = null;// tail 是尾巴、末梢的意思~for(int i = 0; i < 720; ++ i) {System.out.println(" -- 第 "+ i + "度!");tail = new CGPoint(bigRadius*cos(currentRadian), bigRadius*sin(currentRadian));currentRadian += deltaRadian;getWhatIWanted(origin, tail, smallRadius);}}}