On each of the two radial legs, is perpendicular to the tangent. Each contribution is zero, giving . This differs from the straight-path answer, confirming path dependence.
For , use with decreasing from one to zero, followed by with increasing from zero to one. The two contributions are
They cancel: . This agreement is a consequence of the conservative vector field property already proved, rather than evidence sufficient by itself to establish it.
Parametrize the segment by , . Its tangent is and , so . Hence its line integral is
For the other line integral, and . Thus
This also equals the change in , by the fundamental theorem for line integrals.
For the specified coordinate vectors,
Choose the orthogonal matrix representing a quarter-turn,
Then and direct matrix multiplication gives . Thus these two shear mappings are orthogonally similar.
Since , nilpotence already gives . Explicitly, in index notation,
Thus , or equivalently . Here is the Kronecker delta.
Let . The orthogonality condition gives : this is the nilpotent part of a transvection when both vectors are nonzero. In two dimensions,
Expanding its determinant, the fourth-degree terms cancel:
These formulas also cover either vector being zero.
The Bernoulli differential equation becomes linear after : multiplying by gives . A quadratic particular solution is , while the homogeneous solution is . The initial condition gives and . Hence
The denominator is positive for all real , since . Thus this initial value problem has the displayed solution on the entire real line. The separate solution does not satisfy its initial condition.
For and , the outer products are
Their inner product is zero and both squared norms are two. Thus and are orthogonal spectral projectors, with . Since and , the eigenvalues are , , and
Multiplying these decompositions uses and , , giving the identity matrix.
Direct matrix multiplication gives
Consequently , the Cayley-Hamilton theorem for its characteristic polynomial . Rearranging gives , so
The upper boundary follows until its intersection with at , then follows the hyperbola to . The lower boundary is . Therefore the two vertical-slice descriptions are , , and , .
Figure 1.
The integration region below a line and a hyperbola
. Original shaded region with all four boundary pieces shown. Vertical slices change their upper endpoint at . Details.
Integrating with respect to first reduces the double integral to
Using the antiderivatives from part (a),
Let . Positivity allows the squared integral to be written as a first-quadrant double integral. In polar coordinates the Jacobian determinant is , so
Using integration by parts, with the boundary term vanishing at both endpoints,
The substitution also gives the two antiderivatives
These values also follow from the Gaussian moment recurrence and can be checked by differentiation.
At an interior local extremum of a differentiable function, . The second-derivative test classifies a stationary point: a positive second derivative gives a strict local minimum, and a negative second derivative gives a strict local maximum. A zero second derivative is inconclusive: , , and at zero illustrate a minimum, a maximum, and neither.
Here
Thus and . Substitution into gives
Expand the constant right-edge value in a Fourier sine series. Its coefficients are
The superposition principle combines the normalized modes, giving
This is a harmonic function in a rectangle with one constant boundary value, with the coordinate roles interchanged. The series and its derivatives converge uniformly on compact subsets of , so it satisfies Laplace's equation there. It vanishes on the other three edges and approaches one at every interior point of the right edge. At the two right corners the one-sided prescribed values disagree; no continuous extension can satisfy both. The stated open-edge condition avoids that incompatibility, and isolated corner assignments do not change the bounded interior Dirichlet problem.
For the first family, vanishing at requires , so is a positive integer. The second family would require , impossible for real ; the mode also fails unless its coefficient is zero. Conveniently normalized surviving modes are
At , these become the Fourier sine series basis functions .
The zero value at removes the even factor in , and the zero value at removes the even factor in . Up to multiplicative constants, the nonzero separated modes are
The zero-separation case also supplies . Each is a harmonic function and vanishes on both axes.
Factor from the numerator and denominator:
For , the tangent ranges over all positive real values. Thus . Using the principal complex logarithm,
The real part ranges over the entire real line, while the imaginary part is fixed: the locus is the horizontal line . Any other fixed logarithm branch gives the parallel line for one integer ; allowing every branch gives the union of those lines.
Euler's formula and its version with give
Squaring and comparing real and imaginary parts with yields the double-angle formulas
Complex conjugation reverses the argument, reciprocation also inverts the modulus, and multiplication by adds to the argument. With all arguments chosen in and ,
Thus is in the first quadrant, and lie on the same fourth-quadrant ray at radii two and one-half, and is diametrically opposite .
Figure 1.
Conjugation, reciprocation and negation on the Argand plane
. Original diagram using to illustrate the general locations and moduli of the four points. Details.
Differentiate both algebraic constraints at fixed or fixed :
The multivariable chain rule for therefore gives
Divide the first identity by and the second by , and add. The terms cancel, leaving
The Jacobian determinant of is , so the calculation is valid on real branches with . This explicitly supplies the local independence assumption underlying the change of coordinates.

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