TransWikia.com

Numbering proofs of theorem

TeX - LaTeX Asked by Martin Leshko on March 8, 2021

I want to get something like (several proofs for single theorem):

Theorem 1. bla-bla-bla
Proof 1. bla-bla-bla
Proof 2. bla-bla-bla
Theorem 2. bla-bla-bla
Proof. bla-bla-bla

How I can reach it?

One Answer

Use amsthm and its proof environment that accepts an optional argument for setting a nonstandard label.

documentclass{article}
usepackage{amsthm}

newtheorem{theorem}{Theorem}

begin{document}

begin{theorem}
This is a big statement that deserves two proofs.
end{theorem}

begin{proof}[proofname 1]
This is the first proof.
end{proof}

begin{proof}[proofname 2]
This is the second proof.
end{proof}

begin{theorem}
This is a normal statement with a single proof.
end{theorem}

begin{proof}
Exercise for the reader.
end{proof}

end{document}

enter image description here

You can also type begin{proof}[Proof 1], of course. Using proofname automaticall adapts to the language if babel is used.

If you, for some reasons, want to automatize the numbering, you can set up a counter that's reset when theorem is stepped up.

documentclass{article}
usepackage{amsthm}

newtheorem{theorem}{Theorem}
newcounter{proofs}[theorem]
renewcommand{theproofs}{arabic{proofs}}

newenvironment{numproof}
  {stepcounter{proofs}begin{proof}[proofname theproofs]}
  {end{proof}}

begin{document}

begin{theorem}
This is a big statement that deserves two proofs.
end{theorem}

begin{numproof}
This is the first proof.
end{numproof}

begin{numproof}
This is the second proof.
end{numproof}

begin{theorem}
This is another big statement with two proofs.
end{theorem}

begin{numproof}
This is the first proof.
end{numproof}

begin{numproof}
This is the second proof.
end{numproof}

end{document}

enter image description here

Correct answer by egreg on March 8, 2021

Add your own answers!

Ask a Question

Get help from others!

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP