![Two-Column Proof Example](https://writelatex.s3.amazonaws.com/published_ver/20297.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240630T192725Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=39fa495191df50a1b23e10aaa56ce74571c3db9f46b0f918bbc8c35bf1eb8b9b)
Two-Column Proof Example
Author
Overleaf
Last Updated
3 anni fa
License
Creative Commons CC BY 4.0
Abstract
An example of a geometry two-column proof template.
![Two-Column Proof Example](https://writelatex.s3.amazonaws.com/published_ver/20297.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240630T192725Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=39fa495191df50a1b23e10aaa56ce74571c3db9f46b0f918bbc8c35bf1eb8b9b)
An example of a geometry two-column proof template.
\documentclass[11pt]{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[margin=1in,a4paper]{geometry}
\usepackage{graphicx}
\usepackage{enumitem}
\setlist{nosep}
\usepackage{amsmath,amssymb}
\usepackage{TwoColumnProof}
\title{Two-Column Proof Example}
%% Using example from http://www.sparknotes.com/math/geometry3/geometricproofs/section1.rhtml
\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}