如何确定经两次t=0.5细分后原三次贝塞尔曲线的对应t值？

没错，你推算的结论完全正确：两次以t=0.5细分后得到的点M，在原三次贝塞尔曲线ABCD上对应的全局t值就是0.75。

原理说明 #

三次贝塞尔曲线的参数t是全局范围[0,1]的变量。第一次用t=0.5细分原曲线时，相当于把曲线拆成两段：

• 前半段对应原t的[0, 0.5]区间
• 后半段对应原t的[0.5, 1]区间

当对后半段用局部参数t'=0.5细分时，这个t'是后半段自身的参数，对应到原曲线的全局t，计算方式就是后半段的起始t值加上t'乘以后半段的长度：0.5 + 0.5*(1-0.5) = 0.75，和你给出的计算式完全一致。

C++代码验证 #

下面是一段实用的C++代码，直接计算原曲线t=0.75的点，同时通过两次细分得到点M，验证两者是否重合：

#include <iostream>
#include <cmath>

struct Point {
    double x, y;
    Point(double x = 0.0, double y = 0.0) : x(x), y(y) {}
    Point operator+(const Point& rhs) const { return Point(x + rhs.x, y + rhs.y); }
    Point operator*(double scalar) const { return Point(x * scalar, y * scalar); }
};

// 计算三次贝塞尔曲线上任意t对应的点
Point evalCubicBezier(const Point& a, const Point& b, const Point& c, const Point& d, double t) {
    double invT = 1.0 - t;
    return a * (invT*invT*invT) + b * (3*invT*invT*t) + c * (3*invT*t*t) + d * (t*t*t);
}

// 细分三次贝塞尔曲线，返回前后两段的控制点
struct BezierSeg { Point p0, p1, p2, p3; };
std::pair<BezierSeg, BezierSeg> splitCubic(const Point& a, const Point& b, const Point& c, const Point& d, double t) {
    Point ab = a*(1-t) + b*t;
    Point bc = b*(1-t) + c*t;
    Point cd = c*(1-t) + d*t;
    Point abc = ab*(1-t) + bc*t;
    Point bcd = bc*(1-t) + cd*t;
    Point abcd = abc*(1-t) + bcd*t;

    BezierSeg first = {a, ab, abc, abcd};
    BezierSeg second = {abcd, bcd, cd, d};
    return {first, second};
}

int main() {
    // 示例控制点，可自行修改
    Point A(0,0), B(2,4), C(5,2), D(7,0);

    // 直接计算原曲线t=0.75的点
    Point target = evalCubicBezier(A, B, C, D, 0.75);
    std::cout << "原曲线t=0.75的点: (" << target.x << ", " << target.y << ")\n";

    // 第一次细分t=0.5，取后半段
    auto [_, halfSeg] = splitCubic(A, B, C, D, 0.5);
    // 对后半段再细分t=0.5，得到点M
    auto [__, finalSeg] = splitCubic(halfSeg.p0, halfSeg.p1, halfSeg.p2, halfSeg.p3, 0.5);
    Point M = finalSeg.p0;
    std::cout << "两次细分得到的点M: (" << M.x << ", " << M.y << ")\n";

    // 浮点数精度内对比
    const double eps = 1e-8;
    if (fabs(target.x - M.x) < eps && fabs(target.y - M.y) < eps) {
        std::cout << "两点完全一致，验证t=0.75正确\n";
    } else {
        std::cout << "结果不符，请检查代码或控制点\n";
    }

    return 0;
}

这段代码运行后会输出两个几乎完全相同的坐标（浮点数误差可忽略），证明你的结论是正确的。

内容的提问来源于stack exchange，提问作者James Hao