Multivariable-Calculus · Unit 5 · Video 5 · Interactive Practice

The Cycloid's Bottom Point Is a Cusp: Taylor Terms Settle It

IKey Formulas

FormulaNameWhat you need
x(θ)=θ−sin⁡θ,y(θ)=1−cos⁡θx(\theta) = \theta - \sin\theta,\quad y(\theta) = 1 - \cos\thetaCycloid with lengths measured in radiix=aθ−asin⁡θx = a\theta - a\sin\theta, y=a−acos⁡θy = a - a\cos\theta divided by aa
f(t)≈f(0)+t f′(0)+12t2f′′(0)+16t3f′′′(0)f(t) \approx f(0) + t\,f'(0) + \tfrac{1}{2}t^2 f''(0) + \tfrac{1}{6}t^3 f'''(0)Taylor approximation for small ttThe derivatives of ff at 00
sin⁡θ≈θ−θ36,cos⁡θ≈1−θ22\sin\theta \approx \theta - \tfrac{\theta^3}{6},\quad \cos\theta \approx 1 - \tfrac{\theta^2}{2}The first correctionssin⁡\sin: 0,1,0,−10, 1, 0, -1; cos⁡\cos: 1,0,−1,01, 0, -1, 0
x≈θ36,  y≈θ22,  yx≈3θ→∞x \approx \tfrac{\theta^3}{6},\ \ y \approx \tfrac{\theta^2}{2},\ \ \dfrac{y}{x} \approx \dfrac{3}{\theta} \to \inftyVertical tangent: a cuspThe terms that survive the cancellation

Key Insight: sin⁡θ≈θ\sin\theta \approx \theta and cos⁡θ≈1\cos\theta \approx 1 give x≈0x \approx 0, y≈0y \approx 0 — true of every candidate picture: a corner, a horizontal tangent, a loop, a vertical tangent. The leading terms cancel exactly, so the shape is decided by the first terms that survive: θ3\theta^3 in xx and θ2\theta^2 in yy.

IITaylor Terms, One Order at a Time

The linear terms cancel exactly, so the first terms that survive decide the shape of the bottom.

Through θ1\theta^1

sin⁡θ≈θ,cos⁡θ≈1\sin\theta \approx \theta, \qquad \cos\theta \approx 1 x≈θ−θ=0x \approx \theta - \theta = 0 y≈1−1=0y \approx 1 - 1 = 0

Every θ\theta lands on the origin, which all four candidate pictures pass through: this level decides nothing.

IIIThe Chord Stands Up

The chord from the bottom to the point at θ\theta has slope y/x≈3/θy/x \approx 3/\theta, which grows without bound as θ→0\theta \to 0.

IVOnly the Rim Makes a Cusp

A point at distance bb from the hub traces x=θ−bsin⁡θx = \theta - b\sin\theta, y=1−bcos⁡θy = 1 - b\cos\theta; only b=1b = 1 cancels the linear terms.

VQuiz Questions

Problem 1 · The Terms That Survive

Given: the cycloid x(θ)=θ−sin⁡θx(\theta) = \theta - \sin\theta, y(θ)=1−cos⁡θy(\theta) = 1 - \cos\theta — find the leading term of each coordinate near θ=0\theta = 0, using Taylor approximations of sin⁡θ\sin\theta and cos⁡θ\cos\theta through the θ3\theta^3 term.

First: the horizontal coordinate

Then: the vertical coordinate

✅ Correct! The θ\theta's cancel in xx and the 11's cancel in yy; the first corrections survive: x≈θ36x \approx \tfrac{\theta^3}{6}, y≈θ22y \approx \tfrac{\theta^2}{2}.
❌ That is the first-order answer. sin⁡θ≈θ\sin\theta \approx \theta gives x≈θ−θ=0x \approx \theta - \theta = 0, which every candidate picture satisfies; keep the −θ36-\tfrac{\theta^3}{6} of sin⁡θ\sin\theta.
❌ Check the sign. θ−(θ−θ36)=θ−θ+θ36\theta - \big(\theta - \tfrac{\theta^3}{6}\big) = \theta - \theta + \tfrac{\theta^3}{6}: subtracting the negative correction leaves it positive.
❌ That is the expansion of sin⁡θ\sin\theta itself. The coordinate is θ\theta minus it: θ−(θ−θ36)\theta - \big(\theta - \tfrac{\theta^3}{6}\big).
❌ The second-order Taylor term carries a factor 12\tfrac{1}{2}. 12θ2cos⁡′′(0)=−θ22\tfrac{1}{2}\theta^2\cos''(0) = -\tfrac{\theta^2}{2}, so cos⁡θ≈1−θ22\cos\theta \approx 1 - \tfrac{\theta^2}{2}, not 1−θ21 - \theta^2.
❌ That is cos⁡θ\cos\theta itself. The coordinate is 11 minus it: 1−(1−θ22)1 - \big(1 - \tfrac{\theta^2}{2}\big).
❌ That is the first-order answer 1−1=01 - 1 = 0. The θ2\theta^2 term of cos⁡θ\cos\theta survives the cancellation.
Show solution

Step 1 — derivatives at 00. For sin⁡\sin: 0,1,0,−10, 1, 0, -1. For cos⁡\cos: 1,0,−1,01, 0, -1, 0. Feeding them into f(0)+tf′(0)+12t2f′′(0)+16t3f′′′(0)f(0) + t f'(0) + \tfrac{1}{2}t^2 f''(0) + \tfrac{1}{6}t^3 f'''(0):

sin⁡θ≈θ−θ36,cos⁡θ≈1−θ22\sin\theta \approx \theta - \frac{\theta^3}{6}, \qquad \cos\theta \approx 1 - \frac{\theta^2}{2}

Step 2 — substitute and cancel.

x≈θ−(θ−θ36)=θ36,y≈1−(1−θ22)=θ22x \approx \theta - \Big(\theta - \frac{\theta^3}{6}\Big) = \frac{\theta^3}{6}, \qquad y \approx 1 - \Big(1 - \frac{\theta^2}{2}\Big) = \frac{\theta^2}{2}

Each coordinate is a difference of two nearly equal quantities. The leading terms cancel exactly, and what survives — the first correction of each expansion — is what decides the shape.

Problem 2 · Rise Over Run

Given: a classmate divides the leading terms as xy≈θ3/6θ2/2=θ3→0\dfrac{x}{y} \approx \dfrac{\theta^3/6}{\theta^2/2} = \dfrac{\theta}{3} \to 0 and concludes that the cycloid meets the ground with a horizontal tangent — which statement is right?

✅ Correct! x/y→0x/y \to 0 says the run becomes negligible next to the rise — the same vertical tangent, read the other way up.
❌ A slope is rise over run, y/xy/x. The classmate's x/yx/y is run over rise; it tending to 00 means the run vanishes relative to the rise, so the tangent is vertical.
❌ The algebra is fine. θ36⋅2θ2=θ3\dfrac{\theta^3}{6} \cdot \dfrac{2}{\theta^2} = \dfrac{\theta}{3}. The mistake is reading x/yx/y as the slope.
❌ Both coordinates do tend to 00, but their leading terms settle the ratio. y/x≈3/θy/x \approx 3/\theta — deciding such a 0/00/0 is exactly what the extra Taylor terms are for.
Show solution

Divide the leading terms both ways:

xy≈θ3/6θ2/2=θ3,yx≈θ2/2θ3/6=3θ\frac{x}{y} \approx \frac{\theta^3/6}{\theta^2/2} = \frac{\theta}{3}, \qquad \frac{y}{x} \approx \frac{\theta^2/2}{\theta^3/6} = \frac{3}{\theta}

The slope of the chord from the origin to the point is rise over run, y/xy/x, and 3/θ→∞3/\theta \to \infty as θ→0\theta \to 0: the curve reaches the origin along a vertical tangent, so the bottom is a cusp.

The classmate's x/y→0x/y \to 0 says the same thing — the run is negligible next to the rise — but it is the reciprocal of the slope, so reading it as a slope turns vertical into horizontal.

Problem 3 · Numbers at One Tenth

Given: θ=110\theta = \tfrac{1}{10}, so θ2=1100\theta^2 = \tfrac{1}{100} and θ3=11000\theta^3 = \tfrac{1}{1000} — estimate the coordinate xx and the chord slope y/xy/x from the leading terms.

First: the horizontal coordinate

Then: the chord slope

✅ Correct! x≈16000x \approx \tfrac{1}{6000} and y≈1200y \approx \tfrac{1}{200}: the point has risen thirty times as far as it has moved forward.
❌ 11000\tfrac{1}{1000} is the power θ3\theta^3, not the coordinate. x≈θ36=16⋅11000x \approx \tfrac{\theta^3}{6} = \tfrac{1}{6} \cdot \tfrac{1}{1000}.
❌ The coordinate xx goes with θ3\theta^3, not θ2\theta^2. θ26=1600\tfrac{\theta^2}{6} = \tfrac{1}{600} mixes the two expansions.
❌ 1200=θ22\tfrac{1}{200} = \tfrac{\theta^2}{2} is the height yy. The horizontal coordinate is θ36\tfrac{\theta^3}{6}.
❌ θ2θ3=1θ=10\tfrac{\theta^2}{\theta^3} = \tfrac{1}{\theta} = 10 is only the ratio of the powers. The constants contribute 1/21/6=3\tfrac{1/2}{1/6} = 3 as well.
❌ That is x/yx/y, run over rise. The slope is rise over run: 1/2001/6000\tfrac{1/200}{1/6000}.
❌ 1/21/6=3\tfrac{1/2}{1/6} = 3 is only the ratio of the constants. The powers contribute θ2θ3=1θ=10\tfrac{\theta^2}{\theta^3} = \tfrac{1}{\theta} = 10 as well.
Show solution

Step 1 — the coordinates.

x≈θ36=16⋅11000=16000,y≈θ22=12⋅1100=1200x \approx \frac{\theta^3}{6} = \frac{1}{6} \cdot \frac{1}{1000} = \frac{1}{6000}, \qquad y \approx \frac{\theta^2}{2} = \frac{1}{2} \cdot \frac{1}{100} = \frac{1}{200}

Step 2 — the slope.

yx≈1/2001/6000=6000200=30=3θ\frac{y}{x} \approx \frac{1/200}{1/6000} = \frac{6000}{200} = 30 = \frac{3}{\theta}

Check against the exact coordinates: x=0.1−sin⁡0.1≈0.00016658x = 0.1 - \sin 0.1 \approx 0.00016658 and y=1−cos⁡0.1≈0.0049958y = 1 - \cos 0.1 \approx 0.0049958, whose ratio is ≈29.99\approx 29.99. Note that θ2\theta^2 and θ3\theta^3 are not the coordinates: each carries its constant, 12\tfrac{1}{2} or 16\tfrac{1}{6}.

Problem 4 · A Reflector on a Spoke

Given: a reflector halfway between the hub and the rim of a rolling wheel of radius 11 traces x=θ−12sin⁡θx = \theta - \tfrac{1}{2}\sin\theta, y=1−12cos⁡θy = 1 - \tfrac{1}{2}\cos\theta, with its lowest point (0,12)\big(0, \tfrac{1}{2}\big) at θ=0\theta = 0 — find the leading term of xx and the kind of point the lowest point is.

First: the leading term of the horizontal coordinate

Then: the lowest point is

✅ Correct! Off the rim the linear terms no longer cancel: x≈θ2x \approx \tfrac{\theta}{2} while y−12≈θ24y - \tfrac{1}{2} \approx \tfrac{\theta^2}{4}, so the chord slope is ≈θ2→0\approx \tfrac{\theta}{2} \to 0.
❌ Only half of the θ\theta cancels. θ−12θ=θ2\theta - \tfrac{1}{2}\theta = \tfrac{\theta}{2} survives, and near 00 it swamps the θ312\tfrac{\theta^3}{12} term.
❌ Check the sign. θ−12sin⁡θ≈θ−12θ=θ2\theta - \tfrac{1}{2}\sin\theta \approx \theta - \tfrac{1}{2}\theta = \tfrac{\theta}{2}.
❌ That is the rim point's answer. Here sin⁡θ\sin\theta carries a factor 12\tfrac{1}{2}, so the linear terms do not cancel: θ−12θ=θ2\theta - \tfrac{1}{2}\theta = \tfrac{\theta}{2}.
❌ A corner needs different slopes on the two sides. Here (y−12)/x≈θ2\big(y - \tfrac{1}{2}\big)/x \approx \tfrac{\theta}{2} tends to 00 from both sides: one horizontal tangent.
❌ A vertical tangent needs the rise to dwarf the run. Here it is the other way round: the run θ2\tfrac{\theta}{2} dwarfs the rise θ24\tfrac{\theta^2}{4}.
❌ A loop needs the point to move backward at some stage. Here x′(θ)=1−12cos⁡θ≥12x'(\theta) = 1 - \tfrac{1}{2}\cos\theta \geq \tfrac{1}{2}, so xx always increases.
Show solution

Step 1 — expand. With sin⁡θ≈θ−θ36\sin\theta \approx \theta - \tfrac{\theta^3}{6} and cos⁡θ≈1−θ22\cos\theta \approx 1 - \tfrac{\theta^2}{2}:

x≈θ−12(θ−θ36)=θ2+θ312,y≈1−12(1−θ22)=12+θ24x \approx \theta - \frac{1}{2}\Big(\theta - \frac{\theta^3}{6}\Big) = \frac{\theta}{2} + \frac{\theta^3}{12}, \qquad y \approx 1 - \frac{1}{2}\Big(1 - \frac{\theta^2}{2}\Big) = \frac{1}{2} + \frac{\theta^2}{4}

Step 2 — measure from the lowest point. The run is x≈θ2x \approx \tfrac{\theta}{2} — the linear term survives, and swamps θ312\tfrac{\theta^3}{12} — and the rise is y−12≈θ24y - \tfrac{1}{2} \approx \tfrac{\theta^2}{4}:

y−12x≈θ2/4θ/2=θ2→0\frac{y - \tfrac{1}{2}}{x} \approx \frac{\theta^2/4}{\theta/2} = \frac{\theta}{2} \to 0

Step 3 — classify. The chord slope tends to 00 from both sides, so there is a single horizontal tangent, and xx increases steadily, so the path never doubles back into a loop: the lowest point is smooth. The cusp belongs to the rim alone, where θ−sin⁡θ\theta - \sin\theta loses its linear term completely.

Solved: 0 / 4