The positive-domain graph starts with limiting value and limiting slope , then decreases towards the horizontal asymptote , with for large . In fact direct differentiation gives
The first inequality follows from for . Thus the graph is strictly decreasing and convex upward, with and no stationary points. The integral representation also shows its positivity.
Figure 1.
The spherical mass factor and its two limiting approximations
. Details.
These properties belong to the reusable exponential spherical mass factor.
For , expand the exponential function in powers of :
The constant and linear terms cancel in , giving
For , is exponentially small:
The small- correction is smaller than every positive power of beyond the displayed linear term. In dimensional terms, the large- leading mass is , while the small- limit is .
In spherical coordinates, with polar angle and azimuth , the volume element is
The mass density is radial, so integrating over both angles gives
Writing , this becomes
Although the mass density diverges like near the origin, multiplication by the spherical volume element gives an integrable expression. Thus the central singularity does not produce infinite mass.
Put . Part (b)(ii) gives , so
The parameter increases strictly from to . Therefore the imaginary part increases from to , while the real part is . The endpoints are
The real axis crossing is at , giving at . The two imaginary axis crossings satisfy , giving
In order, the trajectory passes from its lower endpoint through , then the leftmost point , then , to its upper endpoint. It is a right-opening parabola segment, traversed continuously upward as shown in the right panel.
Squaring gives
Thus is constant, while . The trajectory is the horizontal line segment
It crosses the imaginary axis at , when , and never crosses the real axis. The middle panel shows the rightward direction.
Write . Its coordinates are , , so . For the given positive range of , this traces a segment of the first-quadrant hyperbola, moving rightward and downward:
The complex conjugate is . It is the reflection in the real axis, tracing in the fourth quadrant, rightward and upward:
Neither trajectory crosses either axis, because and remain nonzero. The left panel of the figure marks the endpoints and directions.
Figure 1.
Trajectories under complex conjugation, squaring and fourth powers, with endpoints and axis crossings
. Details.
Square the result of part (a)(i), keeping the cross term:
Hence
For the obtained above, the characteristic polynomial is
Thus the eigenvalues are and . For , gives ; for , it gives . Normalizing the eigenvectors yields
Both are unit vectors, their dot product is zero, and either overall sign is allowed for each eigenvector.
The original PDF requires itself to be an orthogonal skew-symmetric matrix; it does not require to be diagonal. A real two-dimensional skew-symmetric matrix has the form . The orthogonal matrix condition gives , so choose . Then is forced:
Direct multiplication verifies , and . Choosing gives the same . Replacing by a matrix of eigenvectors to make diagonal would generally fail the printed antisymmetry requirement.
A three-dimensional rotation matrix is an orthogonal matrix with determinant . Here . For the branch , the determinant condition gives ; for the branch , it gives . Hence
The first is the identity rotation; the remaining three are half-turns. Their fixed axes are respectively the axis, the direction and the direction . The identity is included under the usual rotation matrix convention.
Put . The matrix is real and symmetric, so orthogonality means . Multiplication gives the scalar conditions
If , then and ; if , then and or . In both cases . The eight parameter triples are therefore
These conditions are sufficient as well as necessary, since they make every entry of equal to the corresponding entry of the identity matrix.
Choose the trigonometric substitution with . The cosine is nonnegative there, so and . The double-angle formula then gives
Since and ,
The formula is an antiderivative on and has continuous endpoint values at .
For integration by parts, choose and . Then and , giving
Here is an arbitrary constant of integration.
Use integration by substitution , . The denominator factorizes as , and partial fraction decomposition gives
Integrating and restoring yields
For real , both and are positive, so no absolute-value signs are needed in this real logarithm. The denominator never vanishes.
Write , where the independent Bernoulli random variables indicate rottenness. Since , their variances are . The independence makes all cross covariances zero, so
This standard deviation vanishes at and , when the count is certain.
Let count rotten pieces. Each item supplies an independent Bernoulli trial with success probability , so has a binomial distribution with parameters . There are choices of the rotten items, and each such choice has probability . Hence
For or , interpret this as the corresponding distribution concentrated at zero or ten; no ambiguous evaluation is needed.
Let be the indicator random variable of an apple in lunch . The number remaining is . Each expected value . The linearity of expectation therefore gives
Although the indicator random variables are dependent under sampling without replacement, the linearity of expectation needs no independence assumption.
By the inclusion-exclusion principle for probabilities,
After an initial banana, five of the nine remaining pieces are apples, so the intersection probability is . Consequently
As a check, the complementary event is an apple followed by a banana, which also has probability .
Each position has apple probability . Applying Bayes' theorem to the preceding conditional probability gives
This also agrees with exchangeability of the second and third positions.

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