Condition on an apple occupying position two in a uniformly random ordering. The nine other positions then contain four apples and five bananas, each equally likely to occupy position three. The conditional probability is therefore
This uses exchangeability of the unconditioned positions; there is no need to assume the first lunch contained a particular fruit.
Random sampling without replacement assigns each of the ten distinguishable pieces to each lunch with the same probability. Five pieces of each type therefore give
One can check the second probability by conditioning on the first lunch:
The identical marginal probabilities do not imply independence of the draws.
The definition of hyperbolic sine simplifies the composition exactly for :
Set . The geometric series , valid for , then gives
Divide numerator and denominator by before taking their Maclaurin series:
For the reciprocal denominator, the geometric series gives . Multiplying gives the Taylor expansion
Strictly, the original quotient has a removable singularity at zero; this is the Taylor series of its continuous, analytic extension with value one there. The absence of odd powers also follows because the ratio of these two odd functions is even.
The superposition principle gives the general solution as :
The first boundary condition gives . At , the cosine vanishes and the sine equals . Comparing with the second boundary condition then gives
The unique solution satisfying both boundary conditions is therefore
Uniqueness follows because a homogeneous solution zero at both endpoints would have from the first and from the second.
A linear polynomial trial has and . Substituting gives , so and . Thus a particular solution is
For a first-order linear ordinary differential equation , an integrating factor is . Here , so
The sine is positive on the specified interval, so this integrating factor never vanishes there. Any nonzero constant multiple is equally suitable.
In spherical coordinates, the cone condition forces and becomes . The unit ball gives . Hence
For an independent calculation in cylindrical coordinates, the lower boundary is and the upper boundary is . They meet at , since . Thus
The equality uses . The positive cosine on the stated range removes any square-root sign ambiguity.
At height , the elliptic paraboloid has a circular cross-section , of area . The cylindrical coordinates volume element therefore reduces the volume integral to
For the specified , the derivative is . Thus is integrable at zero and decays exponentially at infinity. Apply integration by parts first on a truncated interval and then take the endpoint limits:
Both boundary terms vanish because . With , integration by substitution gives the Gaussian integral:
The integrand is singular at the apex but the resulting improper integral is convergent.
The cardioid has a nonnegative radial boundary, so each ray from the origin contributes . Integrating the polar coordinates area element yields
The three angular integrals are , zero and , respectively, using the double-angle formula for the last. Thus
Let be the positive Gaussian integral. Its improper integral converges because for . Multiplying two copies and using the polar coordinates area element gives
Nonnegativity justifies the product double integral and the change of integration order. Since ,
The triangle inequality bounds the distance sum below by the separation of the two foci, which is two. Equality holds exactly for points on the closed segment joining them. Hence the locus is
Both endpoints are included. It is the segment on the positive imaginary axis shown in the right-hand panel above.
Write . Then and , so the condition fixes the sum of distances from and . It is an ellipse with centre , vertical semimajor axis , and focal distance . Its horizontal semiminor axis obeys . Thus the locus is
The vertices are and ; the horizontal extremities are . The complex conjugation places the second focus above the origin.
Figure 1.
Distance-sum loci in the complex plane: an ellipse and its limiting segment
. Details.
The literal expression in the original PDF is undefined. Indeed, hyperbolic tangent satisfies , and
Already the summand contains , a pole. The shifted term has the same issue when . Thus this is not a finite sum of defined complex numbers, and it has no literal real or imaginary part. Cancelling two undefined terms is not ordinary arithmetic.
There is nevertheless a natural interpretation by meromorphic telescoping cancellation. Insert the same small positive real shift into every hyperbolic tangent argument. Each term is then finite, and the telescoping sum is
Since hyperbolic tangent has period , its first argument can be reduced to . Taking the limit gives
This is a common-shift continuation of the sum, plausibly the intended telescoping answer. It requires that additional convention; it is not the value of the expression as printed.
The exponential definitions of hyperbolic sine and hyperbolic cosine, together with Euler's formula, give and . The argument of the complex logarithm therefore reduces to .
Using the principal logarithm, , so
If no branch of the complex logarithm is selected, its complete set of values is , . The real part remains zero, while the imaginary part is . The original paper does not explicitly state a branch convention.
Powers of the imaginary unit repeat in blocks , each with sum zero. The first terms comprise eleven complete blocks; the last is . Applying Euler's formula to the resulting complex exponential gives . Hence
The angles here are in radians.

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