Intuition The big pictureWHAT we want: the length of a wiggly curve y = f ( x ) y=f(x) y = f ( x ) x = a x=a x = a x = b x=b x = b WHY it's not trivial: a curve has no single "length" formula like a line. We have to approximate the curve by tiny straight pieces, add them up, then take a limit. That limit is an integral.
HOW in one sentence: chop the curve into tiny segments, use the Pythagorean theorem on each tiny segment, then let the pieces shrink to zero so the sum becomes an integral.
Pick points a = x 0 < x 1 < ⋯ < x n = b a=x_0 < x_1 < \dots < x_n = b a = x 0 < x 1 < ⋯ < x n = b ( x i − 1 , y i − 1 ) (x_{i-1}, y_{i-1}) ( x i − 1 , y i − 1 ) ( x i , y i ) (x_i, y_i) ( x i , y i ) straight chords . The total length of the curve is approximately the sum of these chord lengths.
A straight line is the only shape whose length we already know how to compute (Pythagoras). So we tile the curve with the only tool we have, then make the tiles small enough that the error vanishes.
Each chord is the hypotenuse of a tiny right triangle with horizontal leg Δ x i = x i − x i − 1 \Delta x_i = x_i - x_{i-1} Δ x i = x i − x i − 1 Δ y i = y i − y i − 1 \Delta y_i = y_i - y_{i-1} Δ y i = y i − y i − 1
L i = ( Δ x i ) 2 + ( Δ y i ) 2 L_i = \sqrt{(\Delta x_i)^2 + (\Delta y_i)^2} L i = ( Δ x i ) 2 + ( Δ y i ) 2
Definition Arc length (as a limit of chord sums)L = lim n → ∞ ∑ i = 1 n ( Δ x i ) 2 + ( Δ y i ) 2 L = \lim_{n\to\infty} \sum_{i=1}^{n} \sqrt{(\Delta x_i)^2 + (\Delta y_i)^2} L = lim n → ∞ ∑ i = 1 n ( Δ x i ) 2 + ( Δ y i ) 2 Δ x i → 0 \Delta x_i \to 0 Δ x i → 0
Why this step? We want an integral in x x x Δ x i \Delta x_i Δ x i
L i = ( Δ x i ) 2 + ( Δ y i ) 2 = ( Δ x i ) 2 ( 1 + ( Δ y i ) 2 ( Δ x i ) 2 ) = 1 + ( Δ y i Δ x i ) 2 Δ x i L_i = \sqrt{(\Delta x_i)^2 + (\Delta y_i)^2} = \sqrt{(\Delta x_i)^2\left(1 + \frac{(\Delta y_i)^2}{(\Delta x_i)^2}\right)} = \sqrt{1 + \left(\frac{\Delta y_i}{\Delta x_i}\right)^2}\;\Delta x_i L i = ( Δ x i ) 2 + ( Δ y i ) 2 = ( Δ x i ) 2 ( 1 + ( Δ x i ) 2 ( Δ y i ) 2 ) = 1 + ( Δ x i Δ y i ) 2 Δ x i
(We can pull out Δ x i \Delta x_i Δ x i Δ x i > 0 \Delta x_i > 0 Δ x i > 0
Why this step? We need to turn the secant slope Δ y i Δ x i \dfrac{\Delta y_i}{\Delta x_i} Δ x i Δ y i derivative f ′ f' f ′
If f f f [ x i − 1 , x i ] [x_{i-1},x_i] [ x i − 1 , x i ] Mean Value Theorem guarantees some x i ∗ ∈ ( x i − 1 , x i ) x_i^* \in (x_{i-1}, x_i) x i ∗ ∈ ( x i − 1 , x i )
f ′ ( x i ∗ ) = f ( x i ) − f ( x i − 1 ) x i − x i − 1 = Δ y i Δ x i f'(x_i^*) = \frac{f(x_i) - f(x_{i-1})}{x_i - x_{i-1}} = \frac{\Delta y_i}{\Delta x_i} f ′ ( x i ∗ ) = x i − x i − 1 f ( x i ) − f ( x i − 1 ) = Δ x i Δ y i
Substitute:
L i = 1 + ( f ′ ( x i ∗ ) ) 2 Δ x i L_i = \sqrt{1 + \big(f'(x_i^*)\big)^2}\;\Delta x_i L i = 1 + ( f ′ ( x i ∗ ) ) 2 Δ x i
L = lim n → ∞ ∑ i = 1 n 1 + ( f ′ ( x i ∗ ) ) 2 Δ x i L = \lim_{n\to\infty}\sum_{i=1}^{n} \sqrt{1 + \big(f'(x_i^*)\big)^2}\;\Delta x_i L = lim n → ∞ ∑ i = 1 n 1 + ( f ′ ( x i ∗ ) ) 2 Δ x i
This is exactly a Riemann sum for the function g ( x ) = 1 + ( f ′ ( x ) ) 2 g(x)=\sqrt{1+(f'(x))^2} g ( x ) = 1 + ( f ′ ( x ) ) 2 f ′ f' f ′
Intuition The differential shortcut (memory hook)Think of an infinitesimal piece of arc d s ds d s d s 2 = d x 2 + d y 2 ⇒ d s = 1 + ( d y d x ) 2 d x ds^2 = dx^2 + dy^2 \;\Rightarrow\; ds = \sqrt{1+\left(\tfrac{dy}{dx}\right)^2}\,dx d s 2 = d x 2 + d y 2 ⇒ d s = 1 + ( d x d y ) 2 d x L = ∫ d s L=\int ds L = ∫ d s d s ds d s
Worked example Example 2 —y = 1 3 x 3 / 2 y = \frac{1}{3}x^{3/2} y = 3 1 x 3/2 y = 2 3 x 3 / 2 y=\frac{2}{3}x^{3/2} y = 3 2 x 3/2 x = 0 x=0 x = 0 x = 3 x=3 x = 3
d y d x = 2 3 ⋅ 3 2 x 1 / 2 = x 1 / 2 \dfrac{dy}{dx} = \dfrac{2}{3}\cdot\dfrac{3}{2}x^{1/2} = x^{1/2} d x d y = 3 2 ⋅ 2 3 x 1/2 = x 1/2 Why? Power rule; the constants were chosen so the derivative is clean.1 + ( d y d x ) 2 = 1 + x 1+\left(\dfrac{dy}{dx}\right)^2 = 1 + x 1 + ( d x d y ) 2 = 1 + x Why this step? ( x 1 / 2 ) 2 = x (x^{1/2})^2 = x ( x 1/2 ) 2 = x L = ∫ 0 3 1 + x d x L = \int_0^3 \sqrt{1+x}\,dx L = ∫ 0 3 1 + x d x u = 1 + x u=1+x u = 1 + x d u = d x du=dx d u = d x ∫ 1 4 u 1 / 2 d u = 2 3 u 3 / 2 ∣ 1 4 = 2 3 ( 8 − 1 ) = 14 3 \int_1^4 u^{1/2}\,du = \frac{2}{3}u^{3/2}\Big|_1^4 = \frac{2}{3}(8-1) = \frac{14}{3} ∫ 1 4 u 1/2 d u = 3 2 u 3/2 1 4 = 3 2 ( 8 − 1 ) = 3 14 Forecast-then-verify: the chord from ( 0 , 0 ) (0,0) ( 0 , 0 ) ( 3 , 2 3 ) ≈ ( 3 , 3.46 ) (3,2\sqrt3)\approx(3,3.46) ( 3 , 2 3 ) ≈ ( 3 , 3.46 ) 9 + 12 = 21 ≈ 4.58 \sqrt{9+12}=\sqrt{21}\approx4.58 9 + 12 = 21 ≈ 4.58 14 3 ≈ 4.67 \tfrac{14}{3}\approx4.67 3 14 ≈ 4.67 slightly longer — correct, since a curve is always at least as long as its chord. ✓
Worked example Example 3 — A "catenary-type" curvey = x 2 8 − ln x y=\frac{x^2}{8}-\ln x y = 8 x 2 − ln x x = 1 x=1 x = 1 x = 2 x=2 x = 2
d y d x = x 4 − 1 x \dfrac{dy}{dx} = \dfrac{x}{4} - \dfrac{1}{x} d x d y = 4 x − x 1 Why? Term-by-term differentiation.( d y d x ) 2 = x 2 16 − 1 2 + 1 x 2 \left(\dfrac{dy}{dx}\right)^2 = \dfrac{x^2}{16} - \dfrac12 + \dfrac{1}{x^2} ( d x d y ) 2 = 16 x 2 − 2 1 + x 2 1 Why this step? ( a − b ) 2 (a-b)^2 ( a − b ) 2 − 2 ⋅ x 4 ⋅ 1 x = − 1 2 -2\cdot\frac{x}{4}\cdot\frac1x=-\frac12 − 2 ⋅ 4 x ⋅ x 1 = − 2 1 1 + ( d y d x ) 2 = x 2 16 + 1 2 + 1 x 2 = ( x 4 + 1 x ) 2 1 + \left(\dfrac{dy}{dx}\right)^2 = \dfrac{x^2}{16} + \dfrac12 + \dfrac{1}{x^2} = \left(\dfrac{x}{4}+\dfrac{1}{x}\right)^2 1 + ( d x d y ) 2 = 16 x 2 + 2 1 + x 2 1 = ( 4 x + x 1 ) 2 Why this matters: the "+ 1 +1 + 1 difference of squares into a perfect square — curves in textbooks are engineered for this. ⋅ = x 4 + 1 x \sqrt{\;\cdot\;} = \dfrac{x}{4}+\dfrac1x ⋅ = 4 x + x 1 [ 1 , 2 ] [1,2] [ 1 , 2 ] L = ∫ 1 2 ( x 4 + 1 x ) d x = [ x 2 8 + ln x ] 1 2 = ( 1 2 + ln 2 ) − 1 8 = 3 8 + ln 2. L=\int_1^2\left(\dfrac{x}{4}+\dfrac1x\right)dx = \left[\dfrac{x^2}{8}+\ln x\right]_1^2 = \left(\tfrac12+\ln2\right)-\tfrac18 = \dfrac{3}{8}+\ln 2. L = ∫ 1 2 ( 4 x + x 1 ) d x = [ 8 x 2 + ln x ] 1 2 = ( 2 1 + ln 2 ) − 8 1 = 8 3 + ln 2.
Common mistake "Length is just∫ a b y d x \int_a^b y\,dx ∫ a b y d x Why it feels right: you've integrated y d x y\,dx y d x Why it's wrong: ∫ y d x \int y\,dx ∫ y d x area under the curve, not distance along it. Arc length integrates d s = 1 + ( y ′ ) 2 d x ds=\sqrt{1+(y')^2}\,dx d s = 1 + ( y ′ ) 2 d x y y y Fix: ask "am I summing tiny areas (boxes) or tiny lengths (hypotenuses)?" Length always carries the square root.
Common mistake Forgetting the "+1": writing∫ a b ∣ f ′ ( x ) ∣ d x \int_a^b |f'(x)|\,dx ∫ a b ∣ f ′ ( x ) ∣ d x Why it feels right: f ′ f' f ′ Why it's wrong: ∫ ∣ f ′ ∣ d x \int |f'|\,dx ∫ ∣ f ′ ∣ d x vertical travel Δ y \Delta y Δ y Δ x \Delta x Δ x 1 1 1 ( Δ x ) 2 / ( Δ x ) 2 (\Delta x)^2/(\Delta x)^2 ( Δ x ) 2 / ( Δ x ) 2 Fix: remember d s 2 = d x 2 + d y 2 ds^2 = dx^2 + dy^2 d s 2 = d x 2 + d y 2 1 1 1 d x dx d x
Common mistake Dropping the absolute value when simplifying( ⋯ ) 2 \sqrt{(\cdots)^2} ( ⋯ ) 2 Why it feels right: a 2 = a \sqrt{a^2}=a a 2 = a Why it's wrong: a 2 = ∣ a ∣ \sqrt{a^2}=|a| a 2 = ∣ a ∣ x 4 + 1 x \frac{x}{4}+\frac1x 4 x + x 1 [ a , b ] [a,b] [ a , b ]
Recall Feynman: explain to a 12-year-oldImagine a snake lying on a bumpy road. You want to know how long the snake is. You can't just measure the road's width — the snake goes up and over the bumps. So you lay down lots of tiny straight matchsticks along the snake's body. Each matchstick covers a little bit "across" and a little bit "up." Using the corner-triangle rule (Pythagoras), each matchstick's length is across 2 + up 2 \sqrt{\text{across}^2 + \text{up}^2} across 2 + up 2 teenier matchsticks, and teenier, forever — that "adding up infinitely many tiny matchsticks" is what the integral sign ∫ \int ∫
Mnemonic Remember the integrand"One plus slope-squared, then root it."
d s = 1 + ( y ′ ) 2 d x ds = \sqrt{1+(y')^2}\,dx d s = 1 + ( y ′ ) 2 d x base d x dx d x d y dy d y d s ds d s The 1 1 1 ( y ′ ) 2 (y')^2 ( y ′ ) 2
What is the arc length integrand for y = f ( x ) y=f(x) y = f ( x ) 1 + ( f ′ ( x ) ) 2 \sqrt{1+(f'(x))^2} 1 + ( f ′ ( x ) ) 2 , integrated
d x dx d x from
a a a to
b b b .
Where does the "+ 1 +1 + 1 From the horizontal leg:
d s 2 = d x 2 + d y 2 ds^2=dx^2+dy^2 d s 2 = d x 2 + d y 2 , dividing by
d x 2 dx^2 d x 2 gives
1 + ( d y / d x ) 2 1+(dy/dx)^2 1 + ( d y / d x ) 2 .
Which theorem converts the secant slope Δ y / Δ x \Delta y/\Delta x Δ y /Δ x f ′ ( x i ∗ ) f'(x_i^*) f ′ ( x i ∗ ) The Mean Value Theorem.
What geometric fact gives each tiny chord length? Pythagoras:
L i = ( Δ x i ) 2 + ( Δ y i ) 2 L_i=\sqrt{(\Delta x_i)^2+(\Delta y_i)^2} L i = ( Δ x i ) 2 + ( Δ y i ) 2 .
Arc length of a curve x = g ( y ) x=g(y) x = g ( y ) y = c y=c y = c y = d y=d y = d ∫ c d 1 + ( d x / d y ) 2 d y \int_c^d\sqrt{1+(dx/dy)^2}\,dy ∫ c d 1 + ( d x / d y ) 2 d y .
Why is arc length always ≥ the straight chord between endpoints? A straight line is the shortest path; the curve is the sum of chords each ≥ their own straight piece, never shorter.
What's the arc length differential d s ds d s d x , d y dx,dy d x , d y d s = d x 2 + d y 2 ds=\sqrt{dx^2+dy^2} d s = d x 2 + d y 2 .
Common error: integrating ∫ y d x \int y\,dx ∫ y d x The area under the curve, not its length.
Pythagorean theorem — the engine for each chord length.Mean Value Theorem — converts secant slopes into derivatives.Riemann sums and the definite integral — turns the chord-sum limit into ∫ \int ∫ Surface area of revolution — reuses the same d s ds d s S = ∫ 2 π y d s S=\int 2\pi y\,ds S = ∫ 2 π y d s Parametric arc length — generalizes to L = ∫ ( d x / d t ) 2 + ( d y / d t ) 2 d t L=\int\sqrt{(dx/dt)^2+(dy/dt)^2}\,dt L = ∫ ( d x / d t ) 2 + ( d y / d t ) 2 d t Polar arc length — L = ∫ r 2 + ( d r / d θ ) 2 d θ L=\int\sqrt{r^2+(dr/d\theta)^2}\,d\theta L = ∫ r 2 + ( d r / d θ ) 2 d θ
f prime continuous, limit
Ratio delta yi over delta xi
Derivative f prime at xi star
ds squared = dx squared + dy squared
Intuition Hinglish mein samjhoSocho ek tedhi-medhi curve hai aur tumhe uski actual lambai chahiye — matlab agar ek chinti us curve ke upar chale, to kitna chalegi. Seedhi line ki tarah simple formula nahi hai, kyunki curve ghoom-ghoom ke jaati hai. Trick yeh hai: curve ko bahut saare chhote-chhote straight tukdo (chords) me tod do. Har chhota tukda ek right triangle ka hypotenuse hai jiska base Δ x \Delta x Δ x Δ y \Delta y Δ y = Δ x 2 + Δ y 2 =\sqrt{\Delta x^2 + \Delta y^2} = Δ x 2 + Δ y 2
Ab in saare tukdo ko jodo, aur tukdo ko chhota karte jao — itna chhota ki sum ek integral ban jaaye. Beech me ek chhota algebra step: Δ x 2 + Δ y 2 \sqrt{\Delta x^2+\Delta y^2} Δ x 2 + Δ y 2 Δ x \Delta x Δ x 1 + ( Δ y / Δ x ) 2 Δ x \sqrt{1+(\Delta y/\Delta x)^2}\,\Delta x 1 + ( Δ y /Δ x ) 2 Δ x Δ y / Δ x \Delta y/\Delta x Δ y /Δ x Mean Value Theorem kehta hai ki yeh kisi point pe exactly f ′ ( x ) f'(x) f ′ ( x ) L = ∫ a b 1 + ( d y / d x ) 2 d x . L=\int_a^b \sqrt{1+(dy/dx)^2}\,dx. L = ∫ a b 1 + ( d y / d x ) 2 d x .
Yaad rakhne ka asaan tareeka: d s 2 = d x 2 + d y 2 ds^2 = dx^2 + dy^2 d s 2 = d x 2 + d y 2 + 1 +1 + 1 d x dx d x ∫ y d x \int y\,dx ∫ y d x area hai, length nahi! Length me hamesha square root aata hai.
Yeh chiz important kyun hai? Kyunki yahi d s ds d s
