单位圆的弧长的计算
设点 A(0,1),B(0,1),C(0,−1),D(−1,0),M(a,b) 为单位圆 { (x,y)∈R2:x2+y2=1} 上任意一点。
1. a,b∈[0,1] 时
定义点 A 与点 M 之间的弧为
证明:
易知
(1) a∈(0,1) 时,
∀x∈[0,a],y=1−x2−−−−−√,dydx=−x1−x2−−−−−√,
令 f(a)=∫a01+(dydx)2−−−−−−−−√dx=∫a011−x2−−−−−√dx=∫a011−x2−−−−−√dx.
设点 B 与点 M 之间的弧为