证明环境

Question

\documentclass[10pt,a4paper]{article}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{pgfplots}
\begin{document}
\begin{proof}
\textit{Induktionsanfang:} $\Gamma (1)=\int_0^\infty e^{-t}dt=1=0!$\\
\hspace{1cm}\\
\textit{Induktionsschritt:} \qquad
$\begin{aligned}[t]
\hspace{-0.7cm}\Gamma (n+1)&=n\Gamma (n) \hspace{1.6cm} (2.85)\\
&=n\cdot (n-1)! \qquad (\textit{Induktionsvoraussetzung})\\
&=n!
\end{aligned}$
\end{proof}
\end{document}

为什么它把 qed 框放在错误的位置？我希望它放在最后一行。有人能帮我吗？

Answer 1

问题在于与顶部的对齐（我的意思是[t]对齐环境的选项——尝试另一种对齐来查看差异）。

但是这个问题可以通过\qedhere命令解决（如果你需要一些空间，\hspace前面的命令\qedhere也可以）

\documentclass[10pt,a4paper]{article}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{pgfplots}
\begin{document}
\begin{proof}
\textit{Induktionsanfang:} $\Gamma (1)=\int_0^\infty e^{-t}dt=1=0!$\\
\\ %\hspace before this line break does nothing
\textit{Induktionsschritt:} \qquad
\(
\begin{aligned}[t]
\hspace{-0.7cm}\Gamma (n+1)&=n\Gamma (n) \hspace{1.6cm}(2.85)\\
&=n\cdot (n-1)! \qquad (\textit{Induktionsvoraussetzung})\\
&=n!\qedhere
\end{aligned}\)
\end{proof}
\end{document}

Answer 2

\documentclass[10pt,a4paper]{article}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{amsfonts}
\usepackage{amssymb}
\begin{document}
\begin{proof}
\textit{Induktionsanfang:} $\Gamma (1)=\int_0^\infty e^{-t}dt=1=0!$\\
\hspace{1cm}\\
\textit{Induktionsschritt:} \qquad
$\begin{aligned}[t]
\hspace{-0.7cm}\Gamma (n+1)&=n\Gamma (n) \hspace{1.6cm} (2.85)\\
&=n\cdot (n-1)! \qquad (\textit{Induktionsvoraussetzung})\\
&=n! 
\end{aligned}$ \\[-\baselineskip] \qedhere
\end{proof}
\end{document}

Answer 3

您不应该使用明确的宽度，最好使用更多的对齐点alignedat。

我也会避免大量使用斜体。

\documentclass[10pt,a4paper]{article}
\usepackage[T1]{fontenc}
\usepackage[ngerman]{babel}

\usepackage{amsmath}
\usepackage{amsthm}

\begin{document}

\begin{proof}
Induktionsanfang:\quad $\displaystyle\Gamma (1)=\int_0^\infty e^{-t}\,dt=1=0!$

\medskip

\noindent
Induktionsschritt:\quad
$\begin{alignedat}[t]{3}
  \Gamma(n+1) &= n\Gamma(n)    &\qquad& \text{(2.85)} \\
              &= n\cdot (n-1)! &&       \text{(Induktionsvoraussetzung)} \\
              &= n!            &&
\end{alignedat}$\\*[-\baselineskip]
\end{proof}

\end{document}