第3卷 第9章 令人迷惑的螺旋楼梯
从单位圆推导特殊角与正弦曲线,以弧长比建立弧度,再用模2π同余和实数商集解释角的周期性,并借灯塔螺旋区分重复投影与真实前进。
学习目标
- 能从单位圆定义正弦与余弦,并用特殊三角形推导 45°、30°、60° 的数值
- 能用弧长与半径的比定义弧度,解释一整圈为何是
2π并完成角度换算 - 能证明模
2π同余是等价关系,描述方向角的等价类与商集R/(2πZ) - 能用螺旋参数方程区分“圆周投影重复”和“三维高度继续前进”,复核投影丢失的信息
从螺旋来到世界开始
第3卷第9章的正式标题是“令人迷惑的螺旋楼梯”。本章表面从尤里的三角函数疑问开始,经过泰朵拉的弧度疑问,最后由米尔嘉把“转一圈”提升为模运算、等价关系和商集。数学线与人物线在灯塔汇合:俯视时像回到同一点,沿螺旋行走的人却已改变高度。
先预测这三个问题的答案,再把它们保留到各节逐一检验:
- 单位圆是圆,正弦曲线是波浪,为什么它们描述同一运动?
- 为什么一圈自然写成
2π弧度,而不是只记作360度? θ与θ+2π在圆上同一点,是否意味着它们就是同一个实数、同一段经历?
9.1 π弧度:从单位圆到正弦曲线
9.1.1 不高兴的尤里
星期六,母亲无意提起“我”曾与米尔嘉去游乐场,尤里因没被邀请而沉默。两人的对话反复回到同一状态,像一个没有出口的循环。直到春假里将讲哥德尔不完备定理的消息出现,循环才被打破。
这个小插曲给后文埋下两层结构:圆周运动会反复回到同一位置,而螺旋运动虽然方向重复,高度却继续改变;“同样的外观”与“同一个状态”需要区分。
9.1.2 三角函数
尤里请“我”解释sin和cos。不从记忆公式开始,而从半径为1、圆心在原点的↡半径为1、圆心在原点的圆开始。
圆周上一点P由从正x轴逆时针转过的角θ确定:
把纵坐标随角度的对应称为↡把角度参数映射为单位圆纵坐标的函数:
把横坐标随角度的对应称为:
因此:
并由单位圆方程立刻得到:
正弦不是“角乘上某个数”,而是一个输入角度、输出高度的函数。
9.1.3 sin 45°
先读出轴上的值:
也就是sin0°=0、sin90°=1。正弦的值域只可能落在负1到1;用术语写为:
尤里先猜sin 45°是sin 90°的一半。问题在于正弦并不随角度线性变化。45度的圆周点位于直线y=x上,设其两坐标都为u,则:
因此:
原章中的尤里从“边长为1的正方形对角线是根号2”反向缩放整个正方形,也得到相同结果。两条推导共享同一几何约束。
9.1.4 sin 60°
把单位圆半径OP延长到点A,使OPA构成边长为1的正三角形。从顶点P向底边作垂线,底边被平分,得到直角三角形:
于是:
所以:
把同一半个正三角形旋转理解,可得:
圆的左右对称给出:
例如:
换成行内记号,就是sin120°=sin60°。
圆的上下对称给出:
因此只要掌握第一象限特殊角,再用对称性就能扩展到整圈。
9.1.5 正弦曲线
把一圈中的样本整理为:
再补入第二、三、四象限的对称值,把点:
标在横轴为θ、纵轴为y的平面上,连续连接便得到。
这里必须区分两张图:
单位圆记录圆周点的位置,正弦曲线记录运动参数与高度的对应。两张图形状不同,因为保留的变量不同。
转完一圈,圆周点高度重复:
这种输入增加固定长度而函数值重复的性质称为,正弦函数的基本周期是2π。
尤里由此意识到,理解不能只分成“立刻明白就向前”和“没有立刻明白就放弃”。数学经过长期发展,知道自己尚未真正理解,比把熟悉感误当成理解更可靠。归根结底,cos只是同一圆周点的横坐标,不必另背一套故事。
9.2 π弧度:角度为何等于弧长比
9.2.1 弧度
午休时,泰朵拉说自己记得:
却不明白为什么。这正是“会换算”与“理解定义”的差距。
设半径为r,中心角截得弧长为s。用弧长与半径的比定义↡中心角所对弧长与半径的比:
完整圆周的弧长:
所以一圈:
这就解释了:
简写就是360°=2π弧度。
一般换算为:
例如60度:
若把圆放大k倍,半径变成kr,同一角所对弧长变成ks,但:
所以弧度与圆的大小无关。360度是方便的约定,弧度则直接来自圆自身的长度比例。
9.2.2 教人
泰朵拉开始被朋友问数学,才发现自己学习与向别人解释并不相同。学习者的追问会指出解释者没有发现的跳步;若没有反馈,讲解者只能猜测对方在哪一步失去联系。
原章在这里把“教师的存在”继续推进:教学不是把结论压给别人,而是观察问题、调整路径,并允许对方说“这里没明白”。泰朵拉也庆幸来到这所高中、写出第一封信;预备铃打断了她尚未说完的话。
9.3 π弧度:余数、商集与灯塔
9.3.1 停课
回到教室,米尔嘉说下午停课,随即拉“我”离校乘电车。表面是逃课,数学上却即将把上一章的等价关系带进角度。
9.3.2 余数
整数余数如:
很熟悉,即17 mod3=2。对实数角,可把θ mod 2π理解为减去整数圈后保留的标准角:
取值落在半开区间[0,2π)时,可写成:
这就是↡把相差2π整数倍的实数角视为同一方向的关系的标准代表。
对实数x,y定义:
它满足:
给出自反性;若x-y=2πn,则:
给出对称性;若x-y=2πm且y-z=2πn,相加得:
给出传递性。因此模2π同余是等价关系。
角θ所属的↡包含所有 θ+2πn 的角的集合为:
由全部这些类组成的↡把实数按模2π同余折叠后的集合是:
日常所说的“一个方向角”,实际上常指这个商集的一个元素,而非唯一实数。θ只是该类的一个代表角。
9.3.3 灯塔
电车到海边,米尔嘉带“我”登上白色灯塔的陡峭螺旋楼梯。在塔顶,她说自己接受了双仓博士的建议,高中毕业后将去美国大学留学,继续研究数学。
消息让“我”突然意识到,毕业后并不保证所有人仍在同一地点。圆周上的重合无法抹掉时间和选择带来的变化。
9.3.4 海边
下塔后,两人沿海边走。“我”陷入不甘和自责,觉得自己总在同一处打转。米尔嘉指出:他只看见圆周上反复经过的点,却没有看见螺旋,也就是没有看见所保留的高度。
用参数方程表示一条等速上升的螺旋:
从正上方做:
于是:
但:
因为高度增加了2πc。俯视投影只保留圆周位置,忘掉了已经走过的圈数与高度。反复面对相似困惑,不代表没有成长。
9.3.5 消毒
米尔嘉要求“我”先接受她将留学这一事实,不要沉迷于消沉本身。海边冲突过后,两人重新建立联系。章末把数学结论与人物选择并置:商映射可以主动遗忘信息,但现实中的人必须看见被投影隐藏的维度。
“为了未来而工作”因此不只是章末引文的方向,也是螺旋隐喻的落点。下一圈可能在同一方向,却不是原来的高度。
官方概念回收:把重复的投影与真实的前进分开
标题的日文とまどいの螺旋階段与中文令人迷惑的螺旋楼梯,和“我们是通过螺旋来到这个世界的”“螺旋来到世界”共同留下问题:外观重复是否意味着经历重复?故事里的不高兴的尤里因为游乐场没有邀请尤里陷入没有出口的循环,直到春假讲哥德尔不完备定理的消息改变节奏。
在9.1 π弧度里,三角函数从单位圆开始。P(theta)=(cos theta,sin theta)把参数送到圆周;正弦是纵坐标,余弦是横坐标。基础检查包括sin 0度=0、sin 90度=1与-1<=sin theta<=1。sin 45度来自正方形的对角线,结论是sin45度=根号2/2,并可用根号2约等于1.4做数量级检查;sin 60度来自正三角形的一半,给出sin60度=根号3/2,而对称性给出sin30度=1/2和sin120度=sin60度,也就是超过180度加负号的符号规则。
把样本组成正弦曲线时,先画特殊角数值表,再连接标注(theta,sin theta)的点。要分清单位圆横轴x纵轴y与正弦曲线横轴theta纵轴y:前者记录位置,后者记录参数到高度。于是“不明白可能更好”不是退缩,而是拒绝把熟悉感当理解;cos是theta和x的关系,不需要另造一套几何对象。
在9.2 π弧度中,问题转为角度为何等于弧长比。弧度回答“圆弧的长度是半径的多少倍”;整圆是360度=2π弧度,60 度是60度=π/3弧度。因为弧长和半径同比缩放,缩放圆不改变弧度。360的约数多只是度数制的便利,不是弧度定义的理由。泰朵拉在教人时遇到学习者的追问,也发现自己学习跟教别人不同,并庆幸来到这所高中。
在9.3 π弧度的余数、商集与灯塔一节,先从停课与整数余数的17 mod 3=2进入theta mod 2π。对实数来说,实数除法的余数要选标准代表角;关系 x同余y mod 2π 等价于相差 2π 的整数倍,并满足自反对称传递。全部角按此关系折叠,形成实数集除以模2π同余的商集;一个类可以写成{2πn+theta},所以方向角是等价类而不是唯一实数。
灯塔的螺旋楼梯把抽象关系放回选择:米尔嘉接受双仓博士建议留学,准备去美国大学留学;海边的争执则问“如何看见下一圈”。那个一个总在同一个地方来回转圈的小孩只看见投影,因而看不到螺旋。公式说明螺旋投影是圆,而投影遗忘圈数与高度;消毒意味着接受留学事实,并继续为了未来而工作。
本章回顾:圆、波、商与螺旋
- 单位圆把角
θ映到圆周点P=(cosθ,sinθ)。 - 正弦是圆周点的纵坐标,余弦是横坐标。
- 正弦值域为负1到1,特殊角值由三角形和单位圆推导。
sin45°=√2/2来自等腰直角三角形。sin60°=√3/2与sin30°=1/2来自正三角形的一半。- 圆的左右、上下对称把第一象限结果扩展到整圈。
- 单位圆的坐标轴是
x,y,正弦曲线的坐标轴是θ,y。 - 正弦函数以
2π为周期。 - 弧度等于中心角所对弧长与半径的比。
- 完整一圈的弧长为
2πr,所以一圈是2π弧度。 - 弧长与半径同比缩放,弧度不依赖圆的大小。
- 模
2π运算去掉完整圈数,保留标准圆周位置。 x≡y (mod 2π)等价于二者相差2π的整数倍。- 模
2π同余满足自反、对称、传递,因此是等价关系。 - 一个方向角是等价类
{θ+2πn},所有方向角组成商集R/(2πZ)。 - 商映射保留圆周位置,却遗忘代表角相差的圈数。
- 螺旋投影到平面后是圆,但三维高度仍在前进。
- 学习中看似反复经过同一问题,也可能已处于更高的一圈。
Projection Lab
切换观察方式,判断重复的圆周位置是否等于停止前进。
圆周位置重复
θ 与 θ+2π 看起来相同
商映射会忘记圈数;螺旋参数保留第三坐标。
1. 坐标:从单位圆读出正弦
先把角 θ 送到 P(θ)=(cosθ,sinθ),再把纵坐标沿参数轴展开为正弦曲线。
练习与答案
练习
- 问题 1:单位圆与正弦。 说明为什么
P(θ)=(cosθ,sinθ)自动满足cos²θ+sin²θ=1,并求sin45°。
- 问题 2:弧度换算。 为什么
60°=π/3弧度?把半径从r放大到3r后,弧度是否改变?
- 问题 3:等价类。 判断
θ与θ+4π是否模2π同余,并写出[θ]的一般形式。
- 问题 4:螺旋投影。 对
H(t)=(cos t,sin t,ct)且c≠0,比较H(t+2π)与H(t),解释为什么俯视图会相同。
名词解释
本章出现的专业名词,用大白话再讲一遍。
- 单位圆
圆心在原点、半径为1的圆;角 θ 对应点
(cosθ,sinθ)。- 正弦函数
把角度参数映射为单位圆纵坐标的函数,值域在 −1 与 1 之间。
- 弧度
中心角所对弧长除以半径的比,一整圈等于
2π。- 模2π同余
两个实数相差
2π的整数倍时的等价关系。- 等价类
包含某个角及所有
θ+2πn代表的集合。- 商集
把实数按模
2π同余折叠后得到的集合R/(2πZ)。