Alignat: Einträge nach rechts verschieben

Question

Ich habe folgende Gleichungen:

Nun möchte ich die $2^{2k}$ und $2^k$ in den letzten drei Zeilen nach rechts verschieben, direkt vor das $\geq$-Zeichen. Wie kann ich das erreichen, ohne Hardcoding zu verwenden?

Hier ist mein MWE:

\documentclass[ngerman, fontsize=11pt, DIV=12 ,BCOR = 10mm, parskip=half-, twoside]{scrbook}

\usepackage{amsmath}

\begin{document}
        \begin{alignat*}{2}
    &2^k\cdot (2^k-h)&&\geq 1 \\
    \Longleftrightarrow
    &2^{2k}-h\cdot 2^k&&\geq 1 \\
    \Longleftrightarrow
    &2^{2k}&&\geq h\cdot 2^k+1 \\
    \Longleftrightarrow
    &2^k &&\geq \sqrt{h\cdot 2^k+1} \\
    \Longleftrightarrow
    &2^k &&\geq \sqrt{n}.
\end{alignat*}
\end{document}

Wenn ich 2^{2k}& in &2^{2k} ändere, erhalte ich in den ersten beiden Zeilen zusätzlichen Platz.

Answer 1

Sie möchten die Ausdrücke in einer ungeraden (rechtsbündigen) Spalte.

\documentclass[ngerman, fontsize=11pt, DIV=12 ,BCOR = 10mm, parskip=half-, twoside]{scrbook}

\usepackage{amsmath}

\begin{document}
        \begin{alignat*}{2}
    &&2^k\cdot (2^k-h)&\geq 1 \\
    &\Longleftrightarrow
    &2^{2k}-h\cdot 2^k&\geq 1 \\
    &\Longleftrightarrow
    &2^{2k}&\geq h\cdot 2^k+1 \\
    &\Longleftrightarrow
    &2^k &\geq \sqrt{h\cdot 2^k+1} \\
    &\Longleftrightarrow
    &2^k &\geq \sqrt{n}.
\end{alignat*}
\end{document}

Answer 2

Ich würde nicht versuchen, Dinge anzugleichen, die nur sehr lose miteinander verbunden sind.

Ich gebe Ihnen drei Erkenntnisse. Die Abschnittsüberschriften sollten meine Empfehlung selbsterklärend machen.

\documentclass{article}
\usepackage{amsmath}

\begin{document}

\section{Good}

\begin{align*}
  & 2^k\cdot (2^k-h)\geq 1 \\
\Longleftrightarrow\quad
  & 2^{2k}-h\cdot 2^k\geq 1 \\
\Longleftrightarrow\quad
  & 2^{2k}\geq h\cdot 2^k+1 \\
\Longleftrightarrow\quad
  & 2^k \geq \sqrt{h\cdot 2^k+1} \\
\Longleftrightarrow\quad
  & 2^k \geq \sqrt{n}.
\end{align*}

\section{Bad (well, not so much)}

\begin{alignat*}{2}
    &&2^k\cdot (2^k-h)&\geq 1 \\
    &\Longleftrightarrow\quad
    &2^{2k}-h\cdot 2^k&\geq 1 \\
    &\Longleftrightarrow\quad
    &2^{2k}&\geq h\cdot 2^k+1 \\
    &\Longleftrightarrow\quad
    &2^k &\geq \sqrt{h\cdot 2^k+1} \\
    &\Longleftrightarrow
    &2^k &\geq \sqrt{n}.
\end{alignat*}

\section{Ugly}

\begin{alignat*}{3}
& 2^k&{}\cdot (2^k-h)&\geq 1 \\
\Longleftrightarrow\quad
& 2^{2k}&{}-h\cdot 2^k&\geq 1 \\
\Longleftrightarrow\quad
&&2^{2k}&\geq h\cdot 2^k+1 \\
\Longleftrightarrow\quad
&&2^k &\geq \sqrt{h\cdot 2^k+1} \\
\Longleftrightarrow\quad
&&2^k &\geq \sqrt{n}.
\end{alignat*}

\end{document}

Eigentlich würde ich gather*„ohne“ verwenden \Longleftrightarrowund erklären, dass jede Zeile das Folgende impliziert und durch die vorhergehende impliziert wird.