陶哲轩博客写数学问题时，通常先把对象定义清楚，再给直觉、反例和证明轮廓。把「Sailing into the wind, or faster than the wind」改写成可阅读的中文笔记，重点是：问题在问什么、已知到哪一步、下一步最容易走偏在哪。原站广告、分享条和导航已去掉。

问题在问什么

One of the more unintuitive facts about sailing is that it is possible to harness the power of the wind to sail in a direction against that of the wind or to sail with a speed faster than the wind itself, even when the water itself is calm. It is somewhat less known, but nevertheless true, that one can (in principle) do both at the same time – sail against the wind (even directly against the wind!) at speeds faster than the wind. This does not contradict any laws of physics,

The key is to exploit all three dimensions of space when sailing. The most obvious dimension to exploit is the windward/leeward dimension – the direction that the wind velocity is oriented in. But if this is the only dimension one exploits, one can only sail up to the wind speed and no faster, and it is not possible to sail in the direction opposite to the wind.

已知结果和反例

Things get more interesting when one also exploits the crosswind dimension perpendicular to the wind velocity, in particular by tacking the sail. If one does this, then (in principle) it becomes possible to travel up to double the speed of wind, as we shall see below.

However, one still cannot sail against to the wind purely by tacking the sail. To do this, one needs to not just harness the power of the wind, but also that of the water beneath the sailboat, thus exploiting (barely) the third available dimension. By combining the use of a sail in the air with the use of sails in the water – better known as keels , rudders , and hydrofoils – one can now sail in certain directions against the wind, and at certain speeds. In most sailboats, on

证明或构造的主线

If one makes several simplifying and idealised (and, admittedly, rather unrealistic in practice) assumptions in the underlying physics, then sailing can in fact be analysed by a simple two-dimensional geometric model which explains all of the above statements. 在这类讨论里, I would like to describe this mathematical model and how it gives the conclusions stated above.

Let us first begin with the simplest case of one-dimensional sailing, in which the sailboat lies in a one-dimensional universe (which we describe mathematically by the real line ). To begin with, 下面会 ignore the friction effects of the water (one might imagine sailing on an iceboat rather than a sailing boat). We assume that the air is blowing at a constant velocity , which for sake of argument we shall take to be positive. We also assume that one can do precisely two things w

阅读时建议盯住的点

When the sail is furled, then (ignoring friction), the velocity of the boat stays constant, as per Newton’s first law . When instead the sail is unfurled, the motion is instead governed by Newton’s second law , which among other things asserts that the velocity of the boat will be altered in the direction of the net force exerted by the sail. This net force (which, in one dimension, is purely a drag force) is determined not by the true wind speed as measured by an observer at

The line here represents the space of all possible velocities of a boat in this one-dimensional universe, including the rest velocity and the wind velocity . The vector field at any given velocity represents the direction the velocity will move in if the sail is unfurled. We thus see that the effect of unfurling the sail will be to move the velocity of the sail towards v. Once one is at that speed, one is stuck there; neither furling nor unfurling the sail will affect one’s v

阅读和落地时建议先做的 5 件事

1. 用自己的语言重写定义和结论，不看原文能不能说清对象是什么。
2. 找一个最小反例或边界情形，确认假设少一条会怎样。
3. 把证明拆成可独立检验的引理，每步只保留一个新想法。
4. 若涉及计算或形式化，先写可复现的小例子，再谈一般情形。
5. 记下尚未解决的缺口：缺估计、缺构造，还是缺正确的范畴。

和智能体、形式化工具怎么接

龙虾PRO做 OpenClaw 落地时，数学笔记最有用的部分往往是「可检验的步骤」：定义、反例、引理边界。智能体适合帮忙展开计算和检索，不适合代替你决定哪条假设能扔。

本文侧重全链路风控方法论。落地时请用自身业务单据做回放验证，不要把示例阈值直接当生产策略。 相关：风控体检 · 方案资源