The vector is a normal vector to the span of and . Since , these vectors determine a plane. Thus the missing words are
the line and the origin.
Indeed this plane consists of all linear combinations of and the line's direction vector.
Decompose into its orthogonal projections parallel and perpendicular to . Since removes the parallel component,
The last vector is the displacement to the point of the straight line nearest the origin. Hence
The original PDF has , not the squared magnitude inserted by the OCR.
Take the cross product with :
Thus one choice is
Conversely, this cross product equation implies , so is parallel to . It therefore describes precisely the original straight line.
For , interpret the endpoint by a one-sided limit. Part (iii) shows that extends continuously there with value zero, so both nested integrals converge. Let denote the nested expression inside the derivative. The fundamental theorem of calculus, applied twice with moving lower endpoints, gives
By part (iii), , hence
A direct check is , so , with the same third derivative.
The required range is
Near , the ratio tends to , so it causes no convergence problem. Near , one useful identity is
For , this bounds its absolute value by , which is integrable on . It also supplies the domination used in part (i).
For , the integrand is negative and behaves as near zero; its improper integral diverges. For its negative singularity is even stronger, and comparison with that same divergent integral again rules out convergence. Thus the original finite real-valued definition of has precisely the stated domain.
Write . For , differentiation under the integral sign gives
Indeed, on any compact parameter interval with , the differentiated integrand is bounded by the integrable function . The dominated convergence theorem therefore justifies the operation despite the improper lower endpoint. The apparent singularity at is removable.
Since , the chain rule gives the first-order linear differential equation
Holding fixed when taking the antiderivative with respect to gives
Use the product rule and the chain rule to differentiate this explicit expression:
This agrees term by term with part (i).
For the Leibniz integral rule, the upper endpoint has derivative and the lower endpoint has derivative . The integrand has partial derivative . Therefore
The last integral is . Combining terms gives
Compare the positive terms with those of the harmonic series:
By the limit comparison test, the given series has the same convergence behaviour as , which diverges. Thus the series diverges to .
For the positive terms , the consecutive ratio is
The ratio test therefore proves that the series converges absolutely. More explicitly, for all sufficiently large the ratio is at most a fixed , so the tail is bounded by a convergent geometric series.
The difference quotient at zero is
If , its absolute value is at most , so is differentiable at zero with derivative .
To exclude , use and . The difference quotient equals along the first sequence, and along the second. For the first value is , while for it is unbounded. Hence a common finite limit is impossible. Therefore
The bound gives when . If , given any , choose . Then implies
the inequality also holds at . This proves continuity using the epsilon-delta definition of continuity.
For necessity, take the positive sequence . Then , so . For this equals ; for it tends to . In neither case does it tend to , so continuity fails. Consequently
This is an instance of the general continuity and differentiability thresholds for a damped oscillation.
The epsilon-delta definition of continuity says that is continuous at if
Here belongs to the domain of , and the implication is required for every in that domain. The number may depend on and , but must work for all such simultaneously.
For each possibility in part (i), squaring the diagonal entries gives . Equivalently, the linear transformation fixes a vector space basis after being applied twice. Therefore
Geometrically, reflecting twice in the same plane returns every vector to itself.
The three coordinate basis vectors are eigenvectors, so is diagonal in those coordinates. Exactly one coordinate is multiplied by , while the other two are fixed. The three possibilities are
They are respectively reflections in the coordinate planes , and . Each is a Householder reflection with unit normal equal to the coordinate eigenvector carrying the eigenvalue .
Subtracting the second row from the third gives a third row , so expansion along it shows . Thus the matrix inverse exists and every right-hand side has a unique solution.
To calculate it, temporarily solve with general . Subtracting the second equation from the third and from the first gives
Back-substitution into the second equation gives
Therefore
For the given right-hand side, matrix multiplication yields the unique answer
The first coordinate direction is already an eigenvector of with eigenvalue . On the last two coordinates, the matrix is , with characteristic polynomial
Thus the three eigenvalues are . For , the last two components are equal; for , they are opposite. Normalising by the Euclidean norm gives the complete list
Each sign-reversed vector is an equally valid choice. The three displayed eigenvectors are mutually orthogonal, as expected for a real symmetric matrix with distinct eigenvalues.

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