Adding a Sphere

Adding a Sphere：把射线代入隐式球方程并选择最近有效根，以公式、章专属交互和可重放故障证据独立重写。

学习目标

能说明Adding a Sphere中的“把射线代入隐式球方程并选择最近有效根”，并指出公式中每个量的空间、单位或概率含义
能比较正常基线与“接受负t、忽略最近根，或在切线附近直接比较浮点数等于零”反例，定位判别式、两个候选根、命中区间和最终最近t中的首个差异
能操作三个章专属实验，让球体、二次方程、相交同时具备解释、视觉和练习证据
能修改最小实现、固定输入重放，并判断“Adding a Sphere的输入、公式中间量、输出与恢复结果可用同一基线复算”是否重新成立

从一个会失败的图像实验开始

Adding a Sphere要回答的不是“这个名词是什么”，而是：在固定输入下，如何验证“把射线代入隐式球方程并选择最近有效根”，并让一个反例可重复地推翻错误实现？先写下预期像素、几何或估计量，再运行基线；只要判别式、两个候选根、命中区间和最终最近t无法指出差异来自哪一步，图像看起来正确也不能通过。

本页的不变量是：Adding a Sphere的输入、公式中间量、输出与恢复结果可用同一基线复算。反例“接受负t、忽略最近根，或在切线附近直接比较浮点数等于零”只改变一个条件，因而正常、故障与恢复三次运行应能用同一输入直接比较。

原版、版次与事实来源

Adding a Sphere以官方4.0.2全文核对实现顺序、公式与调试边界，并以官方源码仓库交叉检查可编译接口。课程示例为独立教学重写；固定版本后不把Vulkan、GPU管线或其他书的模板倒灌进这个纯C++路径追踪器。

六个检查词

、、、、、。这些词共同约束把射线代入隐式球方程并选择最近有效根，每个词都必须落到公式、交互状态或可重放输出，不能只出现在术语表。

原书单元与独立机制解释

Adding a Sphere

球体由中心和半径定义；把射线代入球体方程得到关于t的二次方程；相交由判别式和允许的t区间共同决定。只判断判别式非负仍会误接收相机背后的根。

本单元的正式坐标是球体、二次方程、相交。验证Adding a Sphere时，先制造“接受负t、忽略最近根，或在切线附近直接比较浮点数等于零”，再检查判别式、两个候选根、命中区间和最终最近t能否把错误定位到把射线代入隐式球方程并选择最近有效根的首个分叉。

a t^2+2ht+c=0,\qquad t=\frac{-h\pm\sqrt{h^2-ac}}{a}

先预测，再操作三个章专属实验

分步1 / 3

1. 概念与因果路径

在Adding a Sphere中选择任一正式坐标，沿机制链查看它的输入、状态变化和可推翻探针。

射线、交点与章节机制

Adding a Sphere

沿一条可见射线检查把射线代入隐式球方程并选择最近有效根，改变t时只移动采样点，不偷偷改变原点或方向。

正式概念坐标

射线参数 t

Adding a Sphere / 球体

可推翻探针：判别式、两个候选根、命中区间和最终最近t

版本坐标：Peter Shirley、Trevor David Black、Steve Hollasch《Ray Tracing in One Weekend》4.0.2。实验状态只解释本章因果合同，不替代官方C++源码。

最小可重现实验

vec3 oc = ray.origin() - center;
double a = length_squared(ray.direction());
double h = dot(ray.direction(), oc);
double c = length_squared(oc) - radius*radius;
double discriminant = h*h - a*c;
if (discriminant < 0) return std::nullopt;

运行Adding a Sphere时固定随机种子、输入几何、坐标约定和数值精度；记录编译命令或算法版本、输出摘要与失败条件。实验输出若依赖隐藏全局状态，必须先消除该依赖再比较。

练习与答案

练习

问题 1：公式与边界。 怎样用一个数值样本证明 $a t^2+2ht+c=0,\qquad t=\frac{-h\pm\sqrt{h^2-ac}}{a}$ 中的量没有混用空间、单位或概率密度？

问题 2：正式坐标。 球体、二次方程、相交如何进入可操作验证？

球体：在专属实验中选中该节点，保存输入与判别式、两个候选根、命中区间和最终最近t，注入“接受负t、忽略最近根，或在切线附近直接比较浮点数等于零”后恢复并重放。
二次方程：在专属实验中选中该节点，保存输入与判别式、两个候选根、命中区间和最终最近t，注入“接受负t、忽略最近根，或在切线附近直接比较浮点数等于零”后恢复并重放。
相交：在专属实验中选中该节点，保存输入与判别式、两个候选根、命中区间和最终最近t，注入“接受负t、忽略最近根，或在切线附近直接比较浮点数等于零”后恢复并重放。

问题 3：故障恢复。 如何证明“接受负t、忽略最近根，或在切线附近直接比较浮点数等于零”已经真正修复？

本章回顾

掌握Adding a Sphere意味着能将“把射线代入隐式球方程并选择最近有效根”写成明确公式或算法，能操作正式坐标，能制造“接受负t、忽略最近根，或在切线附近直接比较浮点数等于零”，还能凭判别式、两个候选根、命中区间和最终最近t恢复同输入结果，而不是把一段Vulkan生命周期模板换上本章标题。

名词解释

本章出现的专业名词，用大白话再讲一遍。

球体: 球体在Adding a Sphere中用于把射线代入隐式球方程并选择最近有效根；应由判别式、两个候选根、命中区间和最终最近t确认，而不是只凭术语出现。
二次方程: 二次方程在Adding a Sphere中用于把射线代入隐式球方程并选择最近有效根；应由判别式、两个候选根、命中区间和最终最近t确认，而不是只凭术语出现。
相交: 相交在Adding a Sphere中用于把射线代入隐式球方程并选择最近有效根；应由判别式、两个候选根、命中区间和最终最近t确认，而不是只凭术语出现。
ray parameter: ray parameter：射线参数决定半直线上采样点与前后顺序。
hit interval: hit interval：命中区间排除相机背后、过近或更远的候选根。
sample estimator: sample estimator：样本估计器用明确PDF和权重近似目标积分。

阅读导航

← Rays, a Simple Camera, and Background · Surface Normals and Multiple Objects × Moving Camera Code Into Its Own Class →