QED符号下的线

Question

代码：

\documentclass[12pt]{article}
\usepackage[margin=1in]{geometry} 
\usepackage{amsmath,amsfonts,amssymb,amsthm,mathtools,graphicx}
\theoremstyle{definition}
\newtheorem*{definition}{Definition}
\newtheorem*{remark}{Remark}
\newtheorem*{example}{Example}
\newtheorem*{theorem}{Theorem}
\newtheorem*{lemma}{Lemma}
\usepackage[utf8]{inputenc}
\everymath{\displaystyle}
\renewcommand{\qedsymbol}{$\blacksquare$ \\ \rule{\textwidth}{0.5pt}}
\begin{document}
\begin{proof}{\textbf{[Problem 1]}}
\noindent \\ \noindent
Proof here.
\end{proof}
\end{document}

在证明的末尾，我希望有一条横跨页面宽度的线（因此，当放置 QED 符号时，我希望在其下方约 0.2 厘米处有一条从左到右的长下划线）。这需要什么代码？我尝试使用

\renewcommand{\qedsymbol}{$\blacksquare$ \\ \rule{\textwidth}{0.5pt}}

但它根本没有给我想要的东西。

编辑：使代码可编译。

Answer 1

也许是这样的？

\documentclass[12pt]{article}
\usepackage[margin=1in]{geometry} 
\usepackage{amsmath,amsfonts,amssymb,amsthm,mathtools,graphicx}
\theoremstyle{definition}
\newtheorem*{definition}{Definition}
\newtheorem*{remark}{Remark}
\newtheorem*{example}{Example}
\newtheorem*{theorem}{Theorem}
\newtheorem*{lemma}{Lemma}
\let\oldendproof\endproof
\renewcommand{\endproof}{\vspace*{-0.4cm}\oldendproof\noindent\rule{\textwidth}{0.5pt}}
\usepackage[utf8]{inputenc}
\everymath{\displaystyle}
\renewcommand{\qedsymbol}{$\blacksquare$}
\begin{document}
\begin{proof}{\textbf{[Problem 1]}}
\noindent \\ \noindent
Proof here.
\end{proof}
Text
\end{document}