Share Open book

Collapse Public view Title page
  • 2.1 Create a notebook
  • 2.2 Create a new section
  • 2.3 Images
  • 2.4 Manage notebook
  • 2.5 Collaboration
  • 2.6 Export
  • 3.1 First things first
  • 3.2 Sections
  • 3.3 Blocks
  • 3.4 Basic tables
  • 4.5 Math Homework
  • 4.6 Chemistry
  • 5.1 Browse menubar
  • 5.2 Read menubar
  • 5.3 Write menubar
  • 5.4 Media menubar
  • 6.1 Creating a Note
  • 6.2 Editing a Note
  • 6.3 Markup 102
  • 6.4 Creating a notebook
  • 7.1 A simple table
  • 7.2 A formatted table
  • 7.3 A table with a header
  • 7.4 A table with a header and footer
  • 8.1 References within a note
  • 8.2 References within Noteshare
  • 8.3 References to a web page
  • 8.4 References to something inside a web page
  • 9.1 Syntax
  • 10.1 Examples
  • 10.2 Structural formulas
  • 10.3 References
  • 14.1 Check-in and check-out
  • 14.4 Authorship of comments
  • 15.1 Attributes
  • 16.1 Notes on the embed feature
  • 17.1 Standard account
  • 17.2 Premium account
  • 17.3 In the pipeline
  • 20.1 Problem sets, etc.,%20etc.#_problem_sets_etc
  • 20.2 Quiz #1
  • 20.3 Quiz #2
  • 20.4 Technical note
  • 21.1 The Quadratic Equation
  • 21.2 The Cubic equation
  • 22.1 Why Markup?
  • 22.2 PDF
  • 22.3 Links between lessons
  • 22.4 More Asciidoc Examples

Noteshare Handbook

This fake article shows how one can write a real mathematics article in Noteshare. There are environment for theorems, equations, etc.

\(\def\AA{\mathbb{A}} \def\BB{\mathbb{B}} \def\CC{\mathbb{C}} \def\DD{\mathbb{D}} \def\EE{\mathbb{E}} \def\FF{\mathbb{F}} \def\NN{\mathbb{N}} \def\OO\mathbb{{O}} \def\PP{\mathbb{P}} \def\QQ{\mathbb{Q}} \def\RR{\mathbb{R}} \def\ZZ{\mathbb{Z}} \def\ffp{\mathfrak{p}} \def\bold#1{\bf #1} \def\CCC{\mathcal{C}} \def\EEE{\mathcal{E}} \def\FFF{\mathcal{F}} \def\PPP{\mathcal{P}} \def\UUU{\mathcal{U}}    \newcommand{\commadots}{, \ldots, } \newcommand{\set}[1]{ \{\,#1\, \} } \newcommand{\sett}[2]{ \{\,#1\, \mid\, #2\, \} } \newcommand{\Set}[1]{ \Big\{\,#1\, \Big\} } \newcommand{\Sett}[2]{ \Big\{\,#1\, \Big\vert\; #2\, \Big\} } \newcommand{\mapright}[1]{\ \smash{ \mathop{\longrightarrow}\limits^{#1}}\ } \newcommand{\vars}[2]{{#1}_1\commadots{#1}_{#2}} \newcommand{\map}{\longrightarrow} \def\rank{\mathop{rank}} \def\dim{\mathop{dim}} \def\height{\mathop{height}}\)

9. dummyoutersection

9.4. Sample Article

\( %% Blackboard bold \def\NN{\mathbb{N}} \def\QQ{\mathbb{Q}} \def\RR{\mathbb{R}} \def\ZZ{\mathbb{Z}} %% Arrows, sets, etc. \newcommand{\set}[1]{ \{\,#1\, \} } \newcommand{\sett}[2]{ \{\,#1\, \mid\, #2\, \} } \newcommand{\Set}[1]{ \Big\{\,#1\, \Big\} } \newcommand{\Sett}[2]{ \Big\{\,#1\, \Big\vert\; #2\, \Big\} } \newcommand{\mapright}[1]{\ \smash{ \mathop{\longrightarrow}\limits^{#1}}\ } \)

This "article" is a demonstration of how one can write mathematics in Noteshare. Use arbitrary LaTeX inside the traditional dollar sign, bracket delimiters, and a form of the LaTeX environment. Equation numbering and cross-referencing is supported, as is the numbered theorem environment.[1]

Be sure to choose Source from the View menu to see how this article was written.

Observe the footnote reference in the previous paragraph. The footnote is *way*at the bottom. However, you can click on it it reference it.

9.4.1. Pythagorean triples

One of the first real pieces of mathematics we learn is this:

Theorem 1.
Let \(a\), \(b\), and \(c\) be the sides of a right triangle, where \(c\) is the hypotenuse. Then \(a^2 + b^2 = c^2\).

The Pythagorean theorem suggests an equation,

\[ x^2 + y^2 = z^2 \] (1)

If we demand that the unknowns be integers, then this is a Diophantine equation. We all know one solution, to equation (1) the 3-4-5 triangle. However, there are many more, in fact, infinitely many. One way of generating more solutions is to rescale existing ones. Thus 6-8-10 is a solution. However, what is interesting is that there are infinitely many dissimilar solutions. One is 5-12-13. Quite remarkably, there is a clay tablet (Plympton 322) from Mesopotamia, dated to about 1800 BC, that contains a list of 15 such "Pythagorean triples." See Wikipedia.

It is unlikely that the Babylonian mathematicians, despite their sophistication and skill, knew that equation (1) has infinitely many solutions. This fact is equivalent to the statement that the unit circle centered at the origin has infinitely many points with rational coordinates.

For more information on Pythagorean triplets, see Wikipedia.

9.4.2. Another result from ancient times

Theorem 2.
There are infinitely many primes.

Suppose that there are only finitely many primes, say \(p_1, p_2, \ldots, p_N\). Let

\[ Q = p_1p_2 \cdots p_N + 1 \] (2)

This number is is greater than the greatest prime, \(p_N\). Therefore it is composite, and therefore it is divisible by \(p_i\) for some \(i\). But the remainder of \(Q\) upon division by \(p_i\) is 1, a contradiction. Q.E.D.

9.4.3. The work of Fermat

Let us consider Theorem 1 once again. Pierre Fermat asked whether this family of Diophantine equations \(x^d + y^d = z^d\), where parameter \(d\) is greater than two, have any other than the obvious solutions, e.g., \(x, y, z = 1, 0 ,1\) where one variable is zero. Fermat conjectured that the answer was no, and he wrote in the margin of Diophantus' treatise that he had a marvelous proof of this fact, alas, too long to fit int he space available. More than 300 years later, Andrew Wiles, using techniques developed only in the twentieth century, gave a proof of the theorem of Fermat.

9.4.4. The work of Georg Cantor

Georg Cantor introduced the notion of set, e.g.,

\[ \NN = \set{ \text{integers} } = \set{ 1, 2, 3, \ldots } \] (3)

Story to be continued …​

However, let’s check that our cross-references work. We learned about the Pythagorean formula (1), and the number of solutions it has in Theorem Theorem 1. We also learned in Theorem Theorem 2 that prime numbers are quite abundant in Nature: there are infinitely many of them. Our last, incomplete section, featuring the set of integers (3), is devoted to the work of Georg Cantor.

Created October 2, 2014, last updated: August 21, 2015

1 We are working on a prototype asciidoctor-to-latex converter. At the present moment it is adequate to convert this file into LaTeX. Stay tuned!

Asciidoc-LaTeX environment

The Asciidoctor processor is what makes LaTeX-type environments possible in Noteshare. See the Asciidoc-LaTeX Manual for more details.