LaTeX twocolumnproof 软件包

LaTeX twocolumnproof 软件包

我找到了一种非常好的方法来编写高中的两列几何证明,但我似乎找不到这个包。它没有出现在 MikTeX 2.9 中,谷歌也没有显示任何信息。这是 Overleaf 上这个包的示例。

双栏证明

\usepackage{TwoColumnProof}

\title{Two-Column Proof Example}

\begin{document}

\includegraphics[width=.3\textwidth]{sampleproof}

\section*{Given:}
\begin{itemize}
\item Segment AD bisects segment $BC$.
\item Segment BC bisects segment $AD$. 
\end{itemize}

\section*{Prove:}
\begin{itemize}
\item $\triangle ABM$ and $\triangle DCM$ are congruent. 
\end{itemize}

\begin{TwoColumnProof}
\StatementReason{Segment $AD$ bisects segment $BC$.}
{Given.}

\StatementReason{Segments $AM$ and $MD$ are congruent. \label{label1}}
{When a segment is bisected, the two resulting segments are congruent.}

\StatementReason{Segment $BC$ bisects segment $AD$.}
{Given.}

\StatementReason{Segments $BM$ and $CM$ are congruent.}
{When a segment is bisected, the two resulting segments are congruent.}

\StatementReason{$\angle AMB$ and $\angle DMC$ are congruent.}
{Verticle angles are congruent.}

\StatementReason{$\triangle ABM$ and $\triangle DCM$ are congruent.}
{SAS postulate (2, 4, 5).}
\end{TwoColumnProof}

\end{document}

有人能帮忙吗?

答案1

twocolumnproof包是一个自定义包。如果您在 Overleaf 中打开左侧面板(项目选项卡),您将TwoColumnProof.sty在与源 .tex 文件相同的文件夹中看到该文件。如果您想在 Overleaf 之外编译此特定 MWE,则需要从 Overleaf 下载它。据我所知,它不在 CTAN 上。

这是我找到该文件的位置的图像.sty

背面例子

相关内容