Im folgenden Code
\documentclass{article}
\usepackage{amsthm}
\newcounter{number}
\begin{document}
\begin{proof}ccc\[aaa\]\end{proof}
\label{\thenumber}
\begin{proof}ee\end{proof}
\end{document}
der \label-Befehl erzeugt zusätzlichen vertikalen Abstand, der nicht vorhanden ist, wenn ich diesen Befehl weglasse. Wie kann ich diesen Abstand vermeiden? Dies hängt möglicherweise mitZusätzlicher Platz durch \refstepcounter, aber hier ist das „Hyperref“-Paket nicht beteiligt.
Antwort1
Wenn eine Anzeigeumgebung (oder Abschnittsüberschrift usw.) auf eine andere folgt, wird normalerweise jeder vertikale Abstand, der durch das Ende der einen und den Anfang der nächsten angegeben wird, zusammengeführt. Sie erhalten also nur das Maximum der beiden Längen und nicht die Summe.
Der \writevon erzeugte Knoten \label(der benötigt wird, um das Schreiben in die AUX-Datei zu verzögern, damit \pagerefer funktioniert) bedeutet jedoch, dass die zweite Beweisumgebung hier den vertikalen Raum, der durch den ersten Beweis hinzugefügt wurde, nicht „sehen“ kann. Sie erhalten also
Beweisraum beenden, Knoten schreiben, Beweisraum beginnen
anstatt
max (Ende des Beweisraums, Beginn des Beweisraums)
Die Lösung besteht darin, es an einem sichereren Ort abzulegen \label(fast immer ist es besser, es nicht im vmode zu tun, wenn es vermieden werden kann), so funktioniert es zum Beispiel
\documentclass{article}
\usepackage{amsthm}
\newcounter{number}
\begin{document}
\begin{proof}ccc\[aaa\label{\thenumber}\]\end{proof}
\begin{proof}ee\end{proof}
\end{document}
Hat nichts mit dem Platzproblem zu tun (da dies bei dasselbe wäre \label{zzz}), aber die Verwendung \labelmit einem vom Zähler generierten Label-Schlüssel ist eine ziemlich seltsame Konstruktion.