Write for , with . Provided the relevant moments exist, the expected value and variance are
The displayed support includes zero, so these are nonnegative integer values.
For , the tangent vector is . Substitute into the field:
Its scalar product with the tangent is . Hence the explicitly parametrized line integral is
As a check, the potential from part (d) has values at and at , giving the same difference.
Evaluate the line integral along the three coordinate segments, treating coordinates not changing along a segment as constants. On the first segment, , so and the contribution is zero. On the second segment,
On the final segment,
The fundamental theorem for line integrals therefore gives
Taking its gradient verifies each component of the field. The constant is ; the field specifies only potential differences because the gradient of every constant is zero.
Differentiate the components directly:
Thus . The field is smooth on all of , a simply connected domain, so the zero-curl condition is sufficient for a conservative vector field. The domain condition matters: zero curl alone need not imply a global potential on a region with holes.
For a twice continuously differentiable scalar potential, the curl of its gradient is
Equality of mixed partial derivatives makes every component zero. Thus
This is the curl of a gradient identity.
Parametrize the path by , from to . For the conservative vector field , the chain rule gives
Integrating proves the fundamental theorem for line integrals:
Only the endpoints matter, so the integral is independent of the connecting path.
The sphere of centre and radius has equation
Let be the distance between the centres. A nondegenerate circle of intersection of two spheres exists exactly when
The upper inequality excludes disjoint or externally tangent spheres. The lower excludes strict containment and internal tangency. It also excludes coincident centres, which give either no intersection or an entire common sphere rather than one circle. These inequalities are sufficient because a triangle with side lengths then exists with nonzero area, and rotating its third vertex about the line of centres traces a circle.
For a point on both spheres, expand their equations:
Subtracting cancels and gives the plane
Its normal is parallel to the line of centres. Under the strict inequalities, the plane cuts either sphere in a genuine circle.
Expand the vector triple product in Cartesian components. Its first component is
where adding to both products introduces cancelling terms. Likewise the other two components are
Together these prove
Now use the cyclic property of the scalar triple product and the just-proved identity:
This proves Lagrange's identity in the requested form,
Equating Cartesian components gives , , and . Substitution of into the last equation gives , hence . Both parametrizations therefore give the intersection point
The initial condition gives , hence . Thus
The displayed interval is the maximal connected interval containing the initial point ; the solution of a differential equation diverges at .
For , the separable differential equation gives . Integrating gives , or
Each solution is considered on an interval not containing its pole. The additional stationary solution is excluded by the stated condition.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact