On the curved path, and . Direct substitution gives
Thus
Both values agree with part (i), for every . Agreement on these two selected paths alone does not establish a conservative vector field.
On the first segment, parameterize , . The dot products with are
Their line integrals are one and , respectively.
On the second segment take , with tangent vector . The corresponding integrands are and , whose integrals are and . Adding the segments yields
Now and the origin has stationary value zero. Near it,
The level curves therefore resemble hyperbolas near the saddle point of a scalar function. Along the -axis for , while along the -axis for . The zero level set includes the exact diagonal and another branch crossing it at the origin; this second branch is tangent to but is curved away from the origin. The right panel of the contour figure displays these features.
Here the stationary point is the origin, of value two. The Taylor expansion is
Thus nearby level curves are approximately concentric circles. Globally the level curves above two are closed around the unique minimum, symmetric under interchanging and , but not under changing either coordinate's sign. The faster exponential growth for positive coordinates compresses the curves on their positive sides.
Figure 1.
Exponential level curves and gradient directions for a minimum and a saddle
. Both panels show . Left: has nested level curves around its minimum of value two. Right: has saddle-shaped level curves around value zero. Arrows show normalized gradient directions near the origin. Details.
The three displacements from are
Here and its dot product with is zero. Because the cross product itself is nonzero, the first three points determine a plane and the fourth lies on it. Explicitly all four satisfy
Thus the four points are coplanar.
Use displacements from , since coplanarity of points concerns an affine plane that need not contain the origin. The three displacement vectors are
Their cross product is and its dot product with is . Since the scalar triple product is nonzero,
The four points do not lie in a common plane.
The acute angles follow from part (ii) and the Snell's law relation:
The path lengths below and above the interface are respectively
Hence the total distance and minimum travel time are
For a sketch to scale, choose the interface as , with and . The crossing is because . The figure uses equal axis scales and shows the two normal-relative angles.
Figure 1.
The time-minimising two-segment path in Question 20, drawn with equal coordinate scales
. Details.
Put . By part (i), . The acute-angle geometry requires . Expressing the tangents in terms of their sines in the geometric constraint gives the required implicit equation
The hint suggests for an integer . Testing gives
Thus . Each term on the left is strictly increasing in over the allowed interval, so this solution is unique.
The angles in the PDF are measured from the vertical normal to the interface. The horizontal displacements of the two path segments are and , while their lengths are and . Thus the geometric constraint and travel time are
The Lagrange multiplier equations give
Cancelling the positive geometric factors gives , hence
This is Snell's law, . The relation depends only on the ratio of the two speeds, so changing leaves the relation unchanged; it changes which angles satisfy it together with the geometric constraint.
For a minimum check, let be the horizontal distance to the crossing point. Then
and
Thus the travel time is a strictly convex function of , and its stationary point is the unique global minimum. For positive , , placing the crossing between the two endpoint projections.
Use the root limit of a finite sum of powers. Put . For every , at least one of the three terms is and none is larger, so
Taking the positive th root gives
Since , the squeeze theorem gives
Indeed, for both remaining bases are at most ; for , ; and for , . The endpoint cases are included in the same bound.
The original PDF specifies . The quotient is the difference quotient for the function at the positive point . The chain rule gives , so
For , the consecutive ratio is
Thus the ratio test proves convergence when and divergence when . At , the series is , which diverges by comparison with . Therefore
All terms are nonnegative, so convergence here is also absolute convergence.
The term at is finite. For every ,
The comparison P-series converges, so the comparison test for series proves that the given series converges absolutely.
Again , but the principal inverse sine would give at . The required branch is , corresponding to . Therefore
At the bracket is , as required. Both the initial condition and the original differential equation are thus satisfied on the stated branch.
The initial condition gives . Since belongs to the principal inverse sine range, choose in part (i). The particular solution is
The upper endpoint is excluded because there and the original tangent ceases to be defined.
Use the substitution for a homogeneous first-order differential equation. Since , it gives
Where , this separable differential equation integrates to , hence . One can obtain the same relation without division by : the equation gives , so , including .
All real branches of the inverse sine are captured by
Each branch is used on an interval with and , with fixed . The strict inequality excludes zeros of , where the original tangent is undefined. When , the formula includes all straight-line solutions . Keeping both families of inverse sine branches is essential for the two different initial conditions below.
The horizontal cross-section is a triangle, so its area is half its width times its depth:
Thus the volume integral, with , is
For the substitution rule, put . The endpoint values are and , and , giving
Therefore .
At height , the horizontal triangle has half-width along and depth along . These shrink with , so its orthogonal projection onto the plane is the base triangle with vertices , and :
The orthogonal projection onto the plane is the triangle with vertices , and :
The orthogonal projection onto the plane is bounded by , and the two curves
Equivalently, these curves lie on the parabola , truncated at height . In particular the top width is , so this projection has a horizontal upper edge from to ; it is not triangular. The top horizontal cross-section has zero depth, consistent with this edge.
Figure 1.
The three coordinate projections of the triangular-section solid in Question 12
. Details.
At each height, the removed circular sector has the same angle and of the original radius. Its area and hence its volume are therefore multiplied by . Equating the removed volume to that of the reformed solid sphere gives
Consequently

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