reckless intuitions of an epistemic hygienist ([info]gustavolacerda) wrote,
@ 2008-05-13 23:37:00
Previous Entry  Add to memories!  Tell a Friend!  Next Entry
proof writing
Writing mathematical proofs is a difficult, interesting art, and I'd love to look at the kinds of miswrites, fixes, rewrites people make.

The camera-ready copy is due in about 19 hours.

Here's the most important page:


Any suggestions?

Is it easy to make LaTeX render squares instead of "QED"?

(Post a new comment)


[info]mklip2001
2008-05-14 04:06 am UTC (link)
Squares is easy... use "\Box" in math mode. Or, if you use the "proof" environment from the amsthm package, it will add a square automatically right-justified. If this is what you want to use, you should have
\usepackage{amsthm}
at the top, and then in your writeup you have
\begin{proof}
[Proof text here]
\end{proof}

(Reply to this) (Thread)

[info]gustavolacerda
2008-05-14 04:09 am UTC (link)
Thanks. I've been avoiding the "proof" environment because it puts the whole proof in italics.

(Reply to this) (Parent)(Thread)

[info]bhudson
2008-05-14 04:52 am UTC (link)
The following may please you:

\def\EndProof{ \quad \vrule width 1ex height 1ex depth 0pt }
\newenvironment{proof}{\textbf{Proof}\hspace{4pt}}{\EndProof}

That is, unless you already have a proof environment, and then it may displease latex, and confuse you.

(Reply to this) (Parent)

[info]gustavolacerda
2008-05-14 04:29 am UTC (link)
Can I make my Theorem say "Corollary", or make the theorems skip a number?

(Reply to this) (Parent)(Thread)

[info]mklip2001
2008-05-14 04:35 am UTC (link)
I don't know as much about skipping numbers. However, doing corollaries is not hard. So, I only described the "proof" environment. To create environments for theorems and whatever, after using the amsthm package, you want commands pretty high up like:
\newtheorem{corollary}{Corollary}

What this does is create a new environment, which is referred to by the first argument (i.e. corollary with lowercase c). To make a corollary, you'd then do
\begin{corollary}
This result is easy.
\end{corollary}

The second argument to newtheorem above tells LaTeX what to print in the document to represent this environment. So your thing would say "Corollary 1" in boldface, followed by "This result is easy." in italics.

Numbering is specific to each environment created this way. In other words, corollaries would maintain their own numbering scheme, I believe, separate from other theorems, i.e. each use of \newtheorem starts its own counter. I'm not sure how to change this. Using \newtheorem* instead turns off numbering.

(Reply to this) (Parent)(Thread)

[info]bhudson
2008-05-14 04:51 am UTC (link)
To use the same counter as 'theorem', say:
\newtheorem{definition}[theorem]{Definition}

Special case:
\newtheorem{definition}{Definition}[section]
makes the third definition in section five be numbered 5.3

Apparently the optional argument can be anywhere. At least, empirically they can -- both those are drawn out of the same file.

Edited at 2008-05-14 04:55 am UTC

(Reply to this) (Parent)

[info]psifenix
2008-05-14 04:46 am UTC (link)
Alternatively, you could just put $\square$ at the end of your proof.

(Reply to this)


[info]roseandsigil
2008-05-14 05:29 pm UTC (link)
In the amsmath proof environment, the correct way to change the QED is by redefining "qedsymbol", like

\renewcommand{\qedsymbol}{\square}

or maybe

\renewcommand{qedsymbol}{$\square$}

I don't know if this works in the non amsmath proof environment, but you could try.

(Reply to this) (Thread)

[info]roseandsigil
2008-05-14 05:29 pm UTC (link)
er, that second one should be

\renewcommand{\qedsymbol}{$\square$}

(Reply to this) (Parent)(Thread)

[info]bhudson
2008-05-15 03:51 am UTC (link)
I think the following can't possibly fail:

\renewcommand{\qedsymbol}{\mbox{$\square$}}

(Reply to this) (Parent)

Create an Account
Forgot your login or password?
Login w/ OpenID
English • Español • Deutsch • Русский…