横渡河流:玩具船谜题与刨冰圆锥的解法

原标题Crossing the River: A Toy Boat Puzzle and a Snow-Cone Solution

一艘玩具船在稳定的水流中向下游漂移。Sawyer 提出一道航行谜题,并解答上一期的圆锥与半球问题。

SaSawyer主持 · Jane Street
频道
Jane Street
发布
2020年6月23日
视频
6:37
阅读
3 分钟
幻灯片
3
原文
英语
在 YouTube 打开
往下滚动阅读时,视频会缩到右下角继续播放。字幕跟随阅读语言。
阅读语言共 2 种语言可读
由 AI 从英语原文翻译。打开“对照原文”可以逐段核对。
摘要

30 秒看懂

在这期 Real Numbers 中,Sawyer 提问:一艘电动玩具船试航时向下游漂移了 60 米,应该朝哪里驶去,才能抵达河对岸正对面的码头?新谜题留给观众解答。 他还解答了上一期的刨冰问题,求出半球与圆锥下方交点处的半径,并计算需要移动的刨冰体积。

  1. 1横渡河流河宽 100 米,玩具船朝正对岸行驶时向下游漂移了 60 米。本期提问返航时应该朝哪里行驶。
  2. 2转化为截面问题圆锥侧边和半球下半圆可以分别表示为 y = 2x − 10 和 x² + y² = 25。
  3. 3求下方交点联立方程得到 x = 3 或 5;所需的下方交点半径为 3 厘米。
  4. 4计算移动的体积圆柱壳法得到 40π/3 立方厘米;对外侧削去的部分积分可以验证结果。

要点建议

  1. 船头朝正对岸的试航结果,揭示了船速与稳定水流速度的相对关系。
  2. 竖直截面将圆锥与半球相交的问题转化为直线与圆的问题。
  3. 所需的下方交点半径为 3 厘米,坐标是 (3, −4)。
  4. 圆柱壳法算出需要移入圆锥尖部的刨冰体积为 40π/3 立方厘米。
全文

按章节阅读整理后的全文

只看原始文稿
01

渡河谜题

一艘玩具船横渡宽 100 米的河流,并向下游漂移 60 米。Sawyer 问应该朝哪里行驶才能抵达对岸码头。

Sawyer 介绍了一道渡河航行谜题,主角是一艘名叫 Wavey 的玩具船,名字是 Wave Equation 的缩写。河流两岸笔直平行,相距 100 米。水流在河面各处恒定,但流速未知。

船的马达也以未知的恒定速度沿船头方向推进。两个码头位于河流两岸、正对彼此。朋友从对岸出发,将 Wavey 的船头直接对准你的码头,但船到达你所在的河岸时,水流已将它带到下游 60 米处。

试航横渡
幻灯片 1 / 3试航横渡船头朝向宽 100 米河流的正对岸,却在下游 60 米处靠岸。

你取回 Wavey,带回自己的码头。应该把船头对准对岸的哪个位置,才能让马达和水流的合运动恰好把船送到朋友的码头?Sawyer 将这道新题留给观众解答。

02

解答上一期的刨冰问题

竖直截面将圆锥和半球转化为直线与圆。它们的下方交点给出 3 厘米的半径。

回到渡河问题之前,Sawyer 先解答上一期的刨冰问题。圆锥的半径为 5 厘米、高为 10 厘米;刨冰半球的半径为 5 厘米。问题是求下方交点处的半径:在那里需要从半球两侧取出刨冰,移入圆锥尖部。

沿圆锥和球的轴线取竖直截面。半球的下表面变成圆的下半部分,圆锥的两侧形成 V 形。以球心为原点,右侧边缘是 (5, 0),圆锥尖端是 (0, −10)。

圆锥右侧边是直线 y = 2x − 10,斜率为 10/5 = 2。圆的方程是 x² + y² = 25。交点同时满足两个方程,因此把直线代入圆方程,得到 25 = x² + (2x − 10)²。

圆锥与半球的截面
幻灯片 2 / 3圆锥与半球的截面图示和方程用于确定圆锥侧边与球面的下方交点。

化简得到 x² − 8x + 15 = 0,分解为 (x − 3)(x − 5) = 0。x = 5 是已知的边缘点;下方交点的 x = 3,所以所求半径为 3 厘米。

将 x = 3 代入直线方程得到 y = −4,所以下方交点是 (3, −4)。这两个长度与半径 5 一起构成一个 3–4–5 直角三角形。

03

附加体积题与新挑战

圆柱壳法给出了移动刨冰的体积,第二个积分可用于验证。渡河问题留给观众解答。

附加题要求计算需要移动多少刨冰。圆柱壳法取半径 x,高度为圆锥直线与半球下表面 y = −√(25 − x²) 的竖直差值。从 x = 0 到 x = 3 对圆柱壳积分,得到 40π/3 立方厘米,约为 41.888 立方厘米。

作为验证,从半球外侧削去的刨冰体积必须相同。从 x = 3 到 x = 5 对圆柱壳积分,高度取圆锥直线减去半球下表面,同样得到 40π/3 立方厘米。

验证移动的刨冰体积
幻灯片 3 / 3验证移动的刨冰体积对外侧圆柱壳积分,同样得到 40π/3 立方厘米。

回到本期问题:已知试航时船头正对河岸,横渡 100 米并向下游漂移 60 米。挑战是选出对岸的瞄准点,让它抵消水流影响,使 Wavey 抵达正对面的码头。

同频道的其他文章

1:34:29EN → 简体中文
JSJane Street· 2026年6月24日Jacob Baskin:构建 Superstore 与调度 HiveYaron Minsky, Jacob Baskin · Jane Street这位 Jane Street 工程师回顾分布式分析数据库背后的设计选择,以及为不断扩大的研究集群分配资源的挑战。基础设施与部署Software engineeringDecision Making+1
1:34:36EN → 简体中文
JSJane Street· 2026年6月1日Nate Foster:把网络当作程序Yaron Minsky, Nate Foster · Jane Street从可编程交换机到 BGP,一位编程语言研究者解释高层策略和形式模型如何让网络更易于修改。基础设施与部署Programming LanguagesSoftware engineering+2
5 张幻灯片15:48EN → 简体中文
JSJane Street· 2026年5月15日走进 Jane Street 的得州 AI 数据中心Dwarkesh Patel, Yaron Minsky, Daniel Pontecorvo · Dwarkesh PatelDwarkesh Patel 与 Ron Minsky、Dan Pontecorvo 一同参观拥有 4,032 个 GPU 的训练设施,了解液冷、配电和运行保障。基础设施与部署AI cost & performance
1:48:21EN → 简体中文
JSJane Street· 2026年3月17日Will Wilson:确定性模拟与软件测试的难题Yaron Minsky, Will Wilson · Jane StreetAntithesis 联合创始人解释可重放模拟如何探索复杂软件、性质为何重要,以及测试的边界在哪里。开发流程与测试Software engineeringCode review & verification+2
7 张幻灯片1:20:57EN → 简体中文
JSJane Street· 2025年12月23日Matt Godbolt:深入 Skylake 的乱序流水线Matt Godbolt以逆向工程和细致测量为基础,导览指令解码、寄存器重命名、执行与内存顺序。SemiconductorsSoftware engineeringBenchmarks
1:12:58EN → 简体中文
JSJane Street· 2025年9月4日Chris Lattner:Mojo 与可移植 GPU 性能的追求Yaron Minsky, Chris Lattner · Jane StreetRon Minsky 与 Chris Lattner 讨论 Modular 如何通过语言和编译器设计,努力让加速器编程兼顾可移植性与速度。Programming LanguagesGPU programming & kernelsSoftware engineering+1