Bourbaki

Example 2

Tag 08BZ, permanent. Cite it as [Bourbaki, Tag 08BZ].

Functions of a Real Variable, chapter IV, § 1. EXISTENCE THEOREMS

For the scalar equation x′=1−x2x' = \sqrt{1 - x^2} one has I=R, H=]−1,+1[I = \mathbf{R},\ H = ] - 1, +1[. If one takes t0=x0=0t_0 = x_0 = 0 the corresponding integral is sin⁡t\sin t on the largest interval containing 0 where the derivative of sin⁡t\sin t is positive, that is to say, on ]−π/2,+π/2[] - \pi/2, +\pi/2[; at the endpoints of this interval the integral tends to an endpoint of HH.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.