SA An Interesting Corollary

Subsection 4.1 Second Version of FTC

Corollary 4.1 (Leibniz, Newton).

Suppose $f(x)$ is a continuous function. Then

\begin{equation} \frac{d}{dx}\definiteintegral{a}{x}{f(t)}{t}=f(x)\text{.}\tag{4.1} \end{equation}

Proof.

We simply take the indicated derivative, applying Theorem 2.1 at (4.2)

\begin{align} \frac{d}{dx}\definiteintegral{a}{x}{f(t)}{t}&=\frac{d}{dx}\left(F(x)-F(a)\right)\tag{4.2}\\ &=\frac{d}{dx}F(x)-\frac{d}{dx}F(a)\notag\\ &=f(x)-0 = f(x)\text{.}\tag{4.3} \end{align}

Justification.

A justification, which is one of the variants of a proof.

Alternate Proof.

You can have multiple proofs, and they can have titles which replace the word “Proof” as a heading. Here we just exercise displayed math with no automatic numbering, and an elective number on the middle equation.

\begin{align} \frac{d}{dx}\definiteintegral{a}{x}{f(t)}{t}&=\frac{d}{dx}\left(F(x)-F(a)\right)\notag\\ &=\frac{d}{dx}F(x)-\frac{d}{dx}F(a)\tag{4.4}\\ &=f(x)-0 = f(x)\notag \end{align}

The alternative version of the Fundamental Theorem (FTC) in (4.1) is a compact way to express the result.

For testing purposes, there is a simple bare Sage Cell here.

Example 4.2. A Mysterious Derivative!

So if we define a function with its variable employed as a limit of integration, like so

\begin{equation*} K(z)=\definiteintegral{345}{z}{x^4\sin(x^2)}{x} \end{equation*}

then we get the derivative of that function so easily it seems like a mystery,

\begin{equation*} \frac{d}{dz}K(z)=z^4\sin(z^2)\text{.} \end{equation*}

That’s it.

For testing purposes, there is a simple Sage Cell here, buried inside an example that should be a knowl (embedded in the page).

We test a Sage cell inside a knowl, which should set the value of a variable that will be available to subsequent cells within the knowl.

Even if you ran the cell at the top of this page, within this knowl the value of the variable c is not known, so the next cell will cause an error.

The Sage cells on a page will “remember” results computed elsewhere on the page. If you rely on this feature, remind your readers to evaluate all the necessary cells and that they perhaps need to be evaluated in a certain order.

There are some Sage cells in the previous (knowled) <example>. The results there are restricted to the knowl. In other words, the scope of those cells is the knowl. So if you opened the example and executed the Sage cells there, or if you skipped the example entirely, the next cell should not “know” the values of those variables and will raise an error.

We cross-reference the example just prior, Example 4.2, to test the simple Sage cells that will now be part of a cross-reference knowl (an external file).

Claim 4.3. An Equivalent Claim.

This claim is an equivalence: it is true if and only if it is correct.

Proof.

Our purpose here is to show how you can structure a proof with cases, such as an equivalence structured with the arrows typically used to demonstrate the two “directions” involved in the proof, by using the @direction attribute on a <case> element.

(⇒)

Nulla non lectus suscipit, bibendum leo quis, dignissim justo. In urna turpis, tincidunt id elementum id, faucibus ac tellus.

(⇐)

Quisque auctor ligula turpis, ut aliquam urna consectetur hendrerit. Aenean porta dolor et justo facilisis feugiat in sed sapien. Nullam porta ex et commodo semper.

Case 3b: The inductive step.

A case may also have a title, whose formatting and structure is entirely up to the author. This then becomes the text of a cross-reference, as well.

Why Not Try This?

A <case> (or any other element with a default title) did not always handle title-ending punctuation correctly. So we try an example title with a question mark.

(⇒) Necessity.

If you like, you can have both indications.

Case.

No direction, no title, then just a generic title.

Exciting Proof!

We test here that punctuation at the end of the title of a proof is handled correctly.

Exact Proof.

This proof should fill exactly three lines (as of defaults in place 2018-12-31) and so the tombstone/Halmos should be on a fourth line, and then flush right. xxx xxx xxx xxx xxx xxx xxx xxx xxx xxx xxx xxx xxx xxx xxx.

Claim 4.4. A List of Equivalent Statements.

The following are equivalent.

This statement is equivalent to all those below.
This statement is equivalent to the statement above and to all those below.
This statement is equivalent to the two statements above and to the statement below.
This statement is equivalent to all those above.

Proof.

Our purpose here is to show how you can structure a proof with cases to address the circular logic required to prove the equivalence of a list of statements, by using the @direction attribute on a <case> element. You should order the list of statements in the order that you would like to prove ``this statement implies the next.’’

( ⁠(i) ⇒ (ii) ⁠)

Here we would prove that the first statement implies the second.

( ⁠(ii) ⇒ (iii) ⁠)

Here we would prove that the second statement implies the third.

( ⁠(iii) ⇒ (iv) ⁠) The trickiest case.

This time we include a title to describe the nature of this case. But we would still need to prove that the third statement implies the last.

( ⁠(iv) ⇒ (i) ⁠) Wrap-around.

Finally, we would complete the cycle of logic by proving that the last statement implies the first.

We can also use @direction set to cycle in a stand-alone proof of our TFAE claim. If we include a @ref on the <proof> that points to the original claim, then the formatting of the markers on the statement list will be honored in our cases.

Proof. (4.4)

4.4

Once again we will prove that the four statements in 4.4 are equivalent.

( ⁠(i) ⇒ (ii) ⁠)

Another argument that the first statement implies the second.

( ⁠(ii) ⇒ (iii) ⁠)

And another argument that the second statement implies the third.

( ⁠(iii) ⇒ (iv) ⁠) Not so tricky this time.

Why did we find it so difficult before to prove that the third statement implies the last?

( ⁠(iv) ⇒ (i) ⁠) Wrap-around.

And once more we complete the cycle of logic.

A couple more times to check that the default list markers get applied to the directional cases properly.

Claim 4.5. Another List of Equivalent Statements.

The <ol> that creates the list below does not have @marker.

This statement is equivalent to the two below.
This statement is equivalent to both the statement above and to the statement below.
This statement is equivalent to the two above.

Proof.

You know the drill by now.

( ⁠1 ⇒ 2 ⁠)

Does the first statement imply the second?

( ⁠2 ⇒ 3 ⁠) The “middle” case.

Does the second statement imply the third?

( ⁠3 ⇒ 1 ⁠)

And finally, does the third imply the first?

This proof includes a @ref to the preceding claim.

Proof. (4.5)

4.5

( ⁠1 ⇒ 2 ⁠)

Does the first statement imply the second?

( ⁠2 ⇒ 3 ⁠) The “middle” case.

Does the second statement imply the third?

( ⁠3 ⇒ 1 ⁠)

And finally, does the third imply the first?

This proof does not include a @ref, and so the direction indicators get default markers.

Proof.

( ⁠1 ⇒ 2 ⁠)

Does the first statement imply the second?

( ⁠2 ⇒ 1 ⁠)

And finally, does the second imply the first?

Subsection 4.2 A Pedagogical Note about Subsection 4.1

Subsubsection 4.2.1 Symbolic and Numerical Integrals

The Fundamental Theorem explains why we use the same notation for a definite integral, which is a numerical calculation,

¹

Which I think sometimes students lose sight of.

and an antiderivative, which is a symbolic expression.

Checkpoint 4.6. Essay Question: Compare and Contrast.

Write a short paragraph which compares, and contrasts, the definite and indefinite integral. This is an exercise which sits in the midst of the narrative, so is formatted more like an example or a remark. It can have a hint and a solution, but this one does not. It can have a title, which this one does.

Hint.

Start writing!

Subsubsection 4.2.2 Advice

Using an “integral sign” for an antiderivative (aka indefinite integral) would seem to make the Fundamental Theorem a fait accompli. So I would suggest not conflating the notation for two very different things until the Fundamental Theorem exposes them as being highly related.

Example 4.7. An Example of Structure.

This is an example of an example with a bit more structure. Specifically, the example has a title, as usual, but then has a statement, which is separate from the solution. Why did we implement an example in two ways?

Solution.

Authors asked for it and it seemed a very natural thing to do, even if we only had an unstructured version for a long time.

Question 4.8. An Example of a Question.

Any kind of question can be marked as such with <question>. Or similarly, as a <problem>. They behave identically to examples, such as the one preceding and are numbered along with theorems, examples. etc.

Solution 1.

You can have a solution. Or several, even if you don’t ask a question.

Solution 2.

See?

Checkpoint 4.9. An Inline Exercise.

There are lots of exercises in this sample article, but mostly they are in special exercise sections. Sometimes you just want to sprinkle some exercises through the narrative. We call these inline exercises, in contrast to divisional exercises. The inline exercises look a bit more like a theorem or definition, with titles and fully-qualified numbers.

These may also have hints, answers and solutions.

Hint.

A good hint.

Answer.

42.

Solution.

If your exercise feels like proving a theorem, then you might want to make some comments, but also clearly delineate which part of the solution is a the complete proof.

Proof.

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Proin lorem diam, convallis in nulla sed, accumsan fermentum urna. Pellentesque aliquet leo elit, ut consequat nunc dapibus ac. Sed lobortis leo tincidunt, vulputate nunc at, ultricies leo. Vivamus purus diam, tristique laoreet purus eget, mollis gravida sapien. Nunc vulputate nisl ac mauris hendrerit cursus. Sed vel molestie velit. Suspendisse sem sem, elementum at vehicula id, volutpat ac mi. Nullam ullamcorper fringilla purus in accumsan. Mauris at nunc accumsan orci dictum vulputate id id augue. Suspendisse at dignissim elit, non euismod nunc. Aliquam faucibus magna ac molestie semper. Aliquam hendrerit sem sit amet metus congue tempor. Donec laoreet laoreet metus, id interdum purus mattis vulputate. Proin condimentum vitae erat varius mollis. Donec venenatis libero sed turpis pretium tempor.

Praesent rutrum scelerisque felis sit amet adipiscing. Phasellus in mollis velit. Nunc malesuada felis sit amet massa cursus, eget elementum neque viverra. Integer sagittis dictum turpis vel aliquet. Fusce ut suscipit dolor, nec tristique nisl. Aenean luctus, leo et ornare fermentum, nibh dui vulputate leo, nec tincidunt augue ipsum sed odio. Nunc non erat sollicitudin, iaculis eros consequat, dapibus eros.

Example 4.10. An Example of with $\frac12$ math formula $\displaystyle{\int e^x \, dx}$ in the title.

Just for testing math in knowls, and also extra whitespace in a <p>.

There are many different blocks you can employ, and they mostly behave the same way. A <project> is very similar to a <question> or <problem>

Project 4.1. Start Exploring PreTeXt.

You could grab the minimal.xml file from the examples/minimal directory and experiment with that.

Projects get their own independent numbering scheme, since they may be central to your textbook, workbook, or lab manual. If you process this sample article with level for project numbering set to 0 then you will get consecutive numbers from the beginning of your book, starting with 1.

Exploration 4.2. Exploring Explorations.

This is an <exploration>. Other similar possibilities are <project>, <activity>, <task>, and <investigation>.

Note that projects, activities, explorations, tasks and investigations share the independent numbering scheme, so it is really only intended you use one of these. If you want a variant of the name (e.g. “Directed Activity”) you can use the <rename> facility (Subsection 31.1).

Solution.

This is a “solution” to the exploration. In practice, you might choose to not make this visible for students, but instead include it as part of some guidance you might provide to instructors (e.g. an Instructor’s Manual).

This is quite the activity upcoming. This is a prelude authored within the activity element, but visually just prior.

Activity 4.3. Hints, Answers, Solutions.

Another variant of these project-like items is to possibly include a <hint> and an <answer> before the <solution>.

Hint.

Just a little help.

Answer.

The result, but no help in getting there.

Solution.

Everything to get it all done, in detail.

This was quite the activity just now. This is a postlude authored within the activity element, but visually just after.

Note 4.11. A Note on Remarks.

<remark>, <convention>, <note>, <observation> and <warning> are designed to hold very simple contents, with no additional structure (no proofs, no solutions, etc.).

But they do carry a title and a number, can be the target of a cross-reference, and may be optionally knowlized in HTML with the html.knowl.remark processing switch.

And distinctly different from a <note> in a <biblio>

²

A gratuitous footnote to test prior bug confusing this with a <note> in a <biblio>.

.

An <exercise> can be structured with <task>.

Checkpoint 4.12. A very structured exercise.

This is an over-arching introduction to the whole exercise. We follow with some tasks. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

(a) A super-simple task.

This first task is very simple, just a paragraph. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

(b)

Now three paragraphs. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

(c) A title of a task that has a subtask with an `<answer>` for the Solutions.

This second task is further divided by more tasks. This is its introduction. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

(i) A task with a title and an `<answer>` for the Solutions.

A really simple subtask. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

A short paragraph, before an answer.

Answer.

With a proof.

Proof.

In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

And a bit more to say.

(ii)

A subtask with an answer. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

Answer.

Right! In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

(iii)

Three simple sub-sub-tasks. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

(A)

First subsubtask. Short paragraph.

(B) A second three-deep subsubtask!

Second subsubtask. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

(C)

Third subsubtask. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

In interdum suscipit ullamcorper

In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

The conclusion of the structured subtask. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

(iv)

A simple task as the last subtask. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

This concludes our structured second task. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

(d)

This third top-level task is intermediate in complexity, you are reading the statement, which is followed by more items. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

Hint.

One hint. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

Answer 1.

First answer. In interdum suscipit ullamcorper.

Answer 2.

Second answer. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

Solution.

At last, the solution. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

This is a conclusion where you could summarize the exercise. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

The following <project> is nearly identical to the preceding <exercise>.

The next block is a project, demonstrating the use of the task element to structure its parts. You are reading the prelude now. The project has lots of nonsense words, so we can test spacing the nested items. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

Project 4.4. A very structured project.

This is an over-arching introduction to the whole project. We follow with some tasks. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

(a)

This first task is very simple, just a paragraph. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

(b)

Now three paragraphs. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

(c)

This second task is further divided by more tasks. This is its introduction. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

(i)

A really simple subtask. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

A short paragraph, before an answer.

Answer.

With a proof.

Proof.

In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

And a bit more to say.

(ii)

A subtask with an answer. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

Answer.

Right! In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

(iii)

Two simple sub-sub-tasks. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

(A)

First subsubtask. Short paragraph.

(B)

Second subsubtask. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

(C)

Third subsubtask. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

In interdum suscipit ullamcorper

In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

The conclusion of the structured subtask. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

(iv)

A simple task as the last subtask. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

This concludes our structured second task. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

(d)

This third top-level task is intermediate in complexity, you are reading the statement, which is followed by more items. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

Hint.

One hint. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

Answer 1.

First answer. In interdum suscipit ullamcorper.

Answer 2.

Second answer. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

Solution.

At last, the solution. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

This is a conclusion where you could summarize the project. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

This postlude appears visually outside the project, but is authored within, to make clear its attachment to the project. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

Example 4.13. Notation mathématique 2.

The following <example>, from Elise Desgreniers, is structured with <task>.

$\{1,8,27,64,125,\ldots\}$

Hint.

Ce sont des cubes parfaits.

Answer.

$\{x\mid x=y^3 \text{ et } y\in\mathbb{N^*}\}$

Notes or examples related to computation or technology can go in blocks of the same name.

Technology 4.14. Sample Use of Sage.

This would be a good place to talk about Sage, including a cell or two.

But you might want to describe how to use some other calculator, or maybe some numerical method.

A `<paragraphs>` with a `<project>` with an `<answer>`.

The solutions to a project (and similar) once did not migrate to the automatically-generated solutions.

Project 4.5.

A simple project, no tasks, just an answer.

Answer.

Here’s the answer we are looking for.

Exercises 4.2.3 Exercises

1.

This is an exercise in an “Exercises” subdivision at the level of a subsubsection. There is no question other than if the numbering is appropriate. Here is a self-referential link: Exercise 4.2.3.1.

The subsubsection has no title in the source, so one is provided automatically, and will adjust according to the language of the document.

Solution.

This solution will migrate to a list of solutions in the backmatter. We include a sidebyside as a test.

This is a skinny paragraph which should be just 30% of the width.

And another skinny paragraph which should also be just 30% of the width.

2.

An <exercise> can be structured with parts, called <task>. This is the <introduction>.

(a)

Do this.

(b)

And the other thing.

Reading Questions 4.2.4 Reading Questions

A set of reading questions may have an <introduction>, perhaps for preparatory explanation.

If a student has logged in to the HTML version, then they can answer the reading questions directly in the book. Inline math LaTeX can be entered using $...$ or $...$ delimiters, and inline AsciiMath using backticks `...` as delimiters. Here are some `gratuitous backticks` to check that AsciiMath is only active in the answers to reading questions.

1.

This is a reading question that you might have a student answer prior to a class session, based on reading part of the book. A quick glance before class can help you tailor class time to the specific needs of your students. The perfect reading question will reveal whether the student has read and understood the material, and will be difficult to answer if they have not. What do you think of that?

2.

And a second one, with a cross-reference to the first, as a check on numbering: Reading Question 4.2.4.1. Reading questions are allowed to have answers, but providing answers misses the point of a reading question, and the answer knowl interacts poorly with the mechanism used to allow students to answer directly in the book. Do you think the schema should ban answers to reading questions?

And for symmetry, a <conclusion>.

Glossary 4.2.5 Glossary

A glossary may have a <headnote>, perhaps with some explanation. This glossary is a specialized division within a section. Placement in the back matter is another option, see the Glossary.

bar.: A part of foobar. See foobar.
foobar.: A synonym for the acronym FUBAR.

Solutions 4.2.6 Solutions for This Subsection

This is an introduction, where you might explain that this division of this subsection contains various hints, answers, solutions of inline exercises, divisional exercises, and/or project-like blocks. See the source to see just how this solutions division was built.

4.2.1 Symbolic and Numerical Integrals

Checkpoint 4.6. Essay Question: Compare and Contrast.

Hint.

Start writing!

4.2.2 Advice

Checkpoint 4.9. An Inline Exercise.

Hint.

A good hint.

Answer.

42.

Solution.

If your exercise feels like proving a theorem, then you might want to make some comments, but also clearly delineate which part of the solution is a the complete proof.

Proof.

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Proin lorem diam, convallis in nulla sed, accumsan fermentum urna. Pellentesque aliquet leo elit, ut consequat nunc dapibus ac. Sed lobortis leo tincidunt, vulputate nunc at, ultricies leo. Vivamus purus diam, tristique laoreet purus eget, mollis gravida sapien. Nunc vulputate nisl ac mauris hendrerit cursus. Sed vel molestie velit. Suspendisse sem sem, elementum at vehicula id, volutpat ac mi. Nullam ullamcorper fringilla purus in accumsan. Mauris at nunc accumsan orci dictum vulputate id id augue. Suspendisse at dignissim elit, non euismod nunc. Aliquam faucibus magna ac molestie semper. Aliquam hendrerit sem sit amet metus congue tempor. Donec laoreet laoreet metus, id interdum purus mattis vulputate. Proin condimentum vitae erat varius mollis. Donec venenatis libero sed turpis pretium tempor.

Praesent rutrum scelerisque felis sit amet adipiscing. Phasellus in mollis velit. Nunc malesuada felis sit amet massa cursus, eget elementum neque viverra. Integer sagittis dictum turpis vel aliquet. Fusce ut suscipit dolor, nec tristique nisl. Aenean luctus, leo et ornare fermentum, nibh dui vulputate leo, nec tincidunt augue ipsum sed odio. Nunc non erat sollicitudin, iaculis eros consequat, dapibus eros.

Exploration 4.2. Exploring Explorations.

Solution.

This is a “solution” to the exploration. In practice, you might choose to not make this visible for students, but instead include it as part of some guidance you might provide to instructors (e.g. an Instructor’s Manual).

Activity 4.3. Hints, Answers, Solutions.

Hint.

Just a little help.

Answer.

The result, but no help in getting there.

Solution.

Everything to get it all done, in detail.

Checkpoint 4.12. A very structured exercise.

4.12.c A title of a task that has a subtask with an `<answer>` for the Solutions.

4.12.c.i A task with a title and an `<answer>` for the Solutions.

Answer.

With a proof.

Proof.

In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

And a bit more to say.

4.12.c.ii

Answer.

Right! In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

4.12.d

Hint.

One hint. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

Answer 1.

First answer. In interdum suscipit ullamcorper.

Answer 2.

Second answer. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

Solution.

At last, the solution. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

Project 4.4. A very structured project.

4.4.c

4.4.c.i

Answer.

With a proof.

Proof.

In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

And a bit more to say.

4.4.c.ii

Answer.

Right! In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

4.4.d

Hint.

One hint. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

Answer 1.

First answer. In interdum suscipit ullamcorper.

Answer 2.

Second answer. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

Solution.

At last, the solution. In interdum suscipit ullamcorper. Morbi sit amet malesuada augue, id vestibulum magna. Nulla blandit dui metus, malesuada mollis sapien ullamcorper sit amet. Nulla at neque nisi. Integer vel porta felis.

Project 4.5.

Answer.

Here’s the answer we are looking for.

4.2.3 Exercises

4.2.3.1.

Solution.

This solution will migrate to a list of solutions in the backmatter. We include a sidebyside as a test.

This is a skinny paragraph which should be just 30% of the width.

And another skinny paragraph which should also be just 30% of the width.

And a conclusion to this solutions division, which may not be readily apparent as distinct from the final division’s worth of solutions, but since it is not prefixed with a number, it may be different enough.

Subsection 4.3 Theorem-Like Environments

There are a variety of pre-defined environments in PreTeXt. All take a title, and must have a statement. Some have proofs (theorems, corollaries, etc.), while some do not have proofs (conjectures, axioms, principles).

Principle 4.15. The Title Principle.

It is a fundamental principle that many elements can have a title. Try it and see. If you get better formatting, then it is being recognized. If it looks very plain, check the documentation and perhaps make a feature request.

More precisely, <theorem>, <corollary>, <lemma>, <algorithm>, <proposition>, <claim>, <fact>, and <identity>, all behave exactly the same, requiring a statement (as a sequence of paragraphs) followed by an optional proof, and may have an optional title. The elements <axiom>, <conjecture>, <principle>, <heuristic>, <hypothesis>, and <assumption> are functionally the same, barring a proof (since they would never have one!). Definitions are an exception, as it is natural to place <notation> within—see the source for Definition 2.2 for an example.

Subsection 4.4 Linking Sage Cells

Sage cells share their results on a per-webpage basis, or a per-knowl basis, so if you move to a new chapter, section, or subsection that happens to be on another webpage, your Sage computations are gone and you start fresh. But maybe you need some results from elsewhere. As an author, you can make an exact copy of a cell in another location by placing the code in an external file, which is pure text, freed from any need to format for XML processing. So, in particular, there is no need to escape ampersands and angle brackets, nor is there employment of the CDATA mechanism. But the real value is that there is just one version to edit, and any changes will be reflected in both copies. We demonstrate this in the sample book, since it has the xinclude mechanism in place. In the chapter on groups, find the section on Sage and then find the discussion of subgroups, and you will find an example of two identical Sage cells produced from one source file.

You can also specify certain cells to be auto-evaluated, by setting the @auto-evaluate attribute to yes. The resulting cell will not have a button for evaluation (so editing it would be pointless). See the source of this sample article for the two examples below.

2023-08-17: support just now is for the use case of a small portion of code, not a huge library of helper routines.

Two cells with the default language sage.

Two cells with language python.

Subsection 4.5 Hierarchy

Structure.

This section of this article has subsections and subsubsections. In a book you can have chapters enclosing multiple sections. There is one finer subdivision, it is achieved with the paragraphs element.

It is basically a sequence of paragraphs, where the first one gets an inline title. You are reading the second, and final, paragraph of one right now. It is useful for organizing very short documents, where numbered subdivisions might be overkill.

A Second Paragraphs.

This is a second consecutive paragraphs element, so should seem related to its title, but distinct from the two paragraphs in the grouping with the title “Structure” immediately prior.

Assemblages: Collections and Summaries.

An <assemblage> is a collection, or summary, that does not have much structure to it. So you are limited to paragraphs and friends (p, blockquote, pre) and side-by-sides that do not contain captioned items (sidebyside, sbsgroup). The intent is that contents are not numbered, so cannot be cross-referenced individually, and so also do not become knowls. You may place <image>, <tabular>, and <program> inside a <sidebyside>, in addition to other objects that do not have captions. Note that p may by extension contain lists (ol, ul, dl). Despite limited structure, the presentation should draw attention to it, because the contents should be seen as more important in some way. It should be “highlighted” in some manner. If you need to connect the entire assemblage with material elsewhere, you can do that with the usual xref/xml:id mechanism.

What have we seen so far in this (disorganized) sample?

Theorems, definitions and corollaries. (Section 2)
Sage cells, including with R. (Section 3)
Lots of document structure, like introductions and conclusions (next). (Section 4)

A sample table, as a tabular inside a sidebyside with no caption, follows.

A	B	C
Uno	Dos	Tres

This is a small assemblage with no title, simply to make sure the surrounding box behaves properly, especially for LaTeX output.

Assemblages containing $\mu \forall \tau \mathbb{H} = \emptyset \kappa$.

It is acceptable for an assemblage to contain mathematical content, even in its title.

Subsection 4.6 Introductions and Conclusions

An Introductory Introduction.

Any subdivision may have a sequence of paragraphs within an <introduction> that precedes subsequent further subdivisions. You are reading one now. They are always leaves of the document structure, so are rendered on some pages that reference the following subdivisions.

An introduction or conclusion is an extremely restrictive container with simple presentation. A title is optional (and probably not advisable). Content is meant to be short and unstructured, in particular, nothing that can be numbered is allowed. If this feels too restrictive, then place your content in an initial numbered subdivision and perhaps title it “Introduction”. Or make your entire subdivion unstructured and place whatever you want into it.

This ends this introduction to introductions.

Subsubsection 4.6.1 Test One

An intervening subsubsection just after an introduction.

Subsubsection 4.6.2 Test Two

An intervening subsection section which contains an <exercises> division which must be at the level of a Subsubsubsection.

Checkpoint 4.16.

An inline exercise to examine any clash with divisional exercises below.

Answer.

An answer so there is something to appear in a <solutions>.

Reading Questions What Did You Learn?

1.

A mock exercise to appease validation.

Answer.

An answer so there is something to appear in a <solutions>.

2.

And a second to help with formatting the division heading.

Exercises Exercises

1.

A mock exercise to appease validation.

Answer.

An answer so there is something to appear in a <solutions>.

2.

And a second to help with formatting the division heading.

Subsubsection 4.6.3 Test Three

An intervening subsubsection just before a conclusion.

Entirely analogous to introductions are conclusions. Any subdivision may have a sequence of paragraphs within a <conclusion> that follows previous further subdivisions. You are reading one now. They are always leaves of the document structure, so are rendered on some pages that reference the preceding subdivisions.

This concludes this conclusion (and this subsection and this section).

Subsection 4.7 Some Paragraph-Level Markup

Text within a paragraph may be emphasized with <em> or if you want to take it to the next level you can identify the text as an alert with <alert>.

Similarly, within a paragraph, you can identify edits between versions as inserted text that has been added with <insert> or as ~~deleted text that has been removed~~ with <delete>. Note that these identified edits are slightly different than ~~stale text that you want to retain, but which is no longer relevant~~, which is accomplished with <stale>. The original request for stale text came from an instructor with an online list of student topics for presentations, and as students claimed topics they were marked as no longer available for other students.

If you need a “fill-in blank”, like this , it can be obtained with an empty <fillin> element that defaults to roughly a 10-character width. You can use the @characters attribute to make the rule longer or shorter, such as a 40-character blank: . The character count is approximate, based on typical character widths within a proportional font carrying English language text. Adjust to suit, or request a language-specific adjustment if it is critical.

This paragraph is intended to make a <fillin> appear right at the start of the second line in print and then the next paragraph has nothing but a <fillin>. Both are for testing purposes.

The following are <fillin> with @rows and/or @cols attributes (at least one of which is greater than 1): (2 × 1 array), (1 × 3 array), (2 × 3 array).

Long after we started this mess, we added PreTeXt tags to mark up tags and attributes. The elements are: <tag>, <tage>, <attr>. Examples of how these render are (respectively): <section>, <hash/>, @width. Perhaps this document will make greater use of these tags.

We supply two provisional cross-references for testing purposes only: [provisional cross-reference: a first incomplete cross-reference], [provisional cross-reference: a second incomplete cross-reference].

Section 4 An Interesting Corollary

Objectives: Fundamental Structures

Subsection 4.1 Second Version of FTC

Corollary 4.1 (Leibniz, Newton).

Proof.

Justification.

Alternate Proof.

Example 4.2. A Mysterious Derivative!

Claim 4.3. An Equivalent Claim.

Proof.

(⇒)

(⇐)

Case 3b: The inductive step.

Why Not Try This?

(⇒) Necessity.

Case.

Exciting Proof!

Exact Proof.

Claim 4.4. A List of Equivalent Statements.

Proof.

( ⁠(i) ⇒ (ii) ⁠)

( ⁠(ii) ⇒ (iii) ⁠)

( ⁠(iii) ⇒ (iv) ⁠) The trickiest case.

( ⁠(iv) ⇒ (i) ⁠) Wrap-around.

Proof. (4.4)

( ⁠(i) ⇒ (ii) ⁠)

( ⁠(ii) ⇒ (iii) ⁠)

( ⁠(iii) ⇒ (iv) ⁠) Not so tricky this time.

( ⁠(iv) ⇒ (i) ⁠) Wrap-around.

Claim 4.5. Another List of Equivalent Statements.

Proof.

( ⁠1 ⇒ 2 ⁠)

( ⁠2 ⇒ 3 ⁠) The “middle” case.

( ⁠3 ⇒ 1 ⁠)

Proof. (4.5)

( ⁠1 ⇒ 2 ⁠)

( ⁠2 ⇒ 3 ⁠) The “middle” case.

( ⁠3 ⇒ 1 ⁠)

Proof.

( ⁠1 ⇒ 2 ⁠)

( ⁠2 ⇒ 1 ⁠)

Subsection 4.2 A Pedagogical Note about Subsection 4.1

Subsubsection 4.2.1 Symbolic and Numerical Integrals

Checkpoint 4.6. Essay Question: Compare and Contrast.

Subsubsection 4.2.2 Advice

Example 4.7. An Example of Structure.

Question 4.8. An Example of a Question.

Checkpoint 4.9. An Inline Exercise.

Proof.

Example 4.10. An Example of with \(\frac12\) math formula \(\displaystyle{\int e^x \, dx}\) in the title.

Project 4.1. Start Exploring PreTeXt.

Exploration 4.2. Exploring Explorations.

Activity 4.3. Hints, Answers, Solutions.

Note 4.11. A Note on Remarks.

Checkpoint 4.12. A very structured exercise.

(a) A super-simple task.

(b)

(c) A title of a task that has a subtask with an <answer> for the Solutions.

(i) A task with a title and an <answer> for the Solutions.

Proof.

(ii)

(iii)

(A)

(B) A second three-deep subsubtask!

(C)

(iv)

(d)

Project 4.4. A very structured project.

(a)

(b)

(c)

(i)

Proof.

(ii)

(iii)

(A)

(B)

(C)

(iv)

(d)

(c) A title of a task that has a subtask with an `<answer>` for the Solutions.

(i) A task with a title and an `<answer>` for the Solutions.

A `<paragraphs>` with a `<project>` with an `<answer>`.

4.12.c A title of a task that has a subtask with an `<answer>` for the Solutions.

4.12.c.i A task with a title and an `<answer>` for the Solutions.