正月の休みボケ予防のため考えてみました。

\documentclass{jarticle}
\usepackage[notMy]{emathP}
\begin{document}
\begin{enumerate}[例~1.]
\item
 {\caprm%
\changeArrowHeadSize{2}%
$\begin{aligned}[t]
\phovalbox{仮定}\quad AO&=CO\\
\kaku{OAB}&=\kaku{OCD}\\
&
\begin{zahyou*}[ul=1.2zw](-.5,12)(-.5,1.5)
\Put{(7,2.25)}(0,0)[c]{\phovalbox{根拠}}
\def\P{(0,1)}
\def\Q{(3,1)}
\Drawline{\P\Q}
\Put\Q[e]{\makebox[10zw]{$\kaku{AOB}=\kaku{COD}$\hfill\gtfamily\MARU{あ}}}
\def\P{(0,0)}
\def\Q{(3,0)}
\Drawline{\P\Q}
\Put\Q[e]{\makebox[10zw]{三角形の合同条件\hfill\gtfamily\MARU{い}}}
\thicklines
\Add\ymax{.75}\YY
\Sub\ymin{1}\yy
\def\A{(0,\YY)}
\def\B{(0,\yy)}
\ArrowLine\A\B
\end{zahyou*}\\
\sankaku{ABO}&\equiv\sankaku{CDO}\\[-1zw]
&
\begin{zahyou*}[ul=1.2zw](-.5,12)(-.5,.5)
\Add\ymax{0}\YY
\Sub\ymin{.5}\yy
\def\A{(0,\YY)}
\def\B{(0,\yy)}
\def\P{(0,0)}
\def\Q{(3,0)}
\Drawline{\P\Q}
\Put\Q[e]{\makebox[10zw]{合同な図形の性質\hfill\gtfamily\MARU{う}}}
\thicklines
\ArrowLine\A\B
\end{zahyou*}\\[-1zw]
\phovalbox{結論}\quad AB&=CD
\end{aligned}$}

\item 
{\caprm%
$\arraycolsep=0pt
\changeArrowHeadSize{2}%
\begin{array}[t]{rclp{10zw}}
\phovalbox{仮定}\quad AO&{}={}&CO&\\
\kaku{OAB}&=&\kaku{OCD}&\\[-1zw]
&
\begin{zahyou*}[ul=1zw](-.5,.5)(0,.5)
\def\P{(0,-1.25)}
\def\Q{(4,-1.25)}
\Drawline{\P\Q}
\def\P{(0,-2.75)}
\def\Q{(4,-2.75)}
\Drawline{\P\Q}
\def\A{(0,\ymax)}
\def\B{(0,-4.75)}
\thicklines
\ArrowLine\A\B
\end{zahyou*}
&&\hfill\phovalbox{根拠}\hfill\mbox{}\\
&&&\kaku{AOB}=\kaku{COD}\hfill\gtfamily\MARU{あ}\\
&&&三角形の合同条件\hfill\gtfamily\MARU{い}\\[1zw]
\sankaku{ABO}&{}\equiv{}&\sankaku{CDO}&\\
&
\begin{zahyou*}[ul=1zw](-.5,.5)(0,1)
\def\P{(0,0.25)}
\def\Q{(4,0.25)}
\Drawline{\P\Q}
\def\A{(0,\ymax)}
\def\B{(0,-1)}
\thicklines
\ArrowLine\A\B
\end{zahyou*}
&&合同な図形の性質\hfill\gtfamily\MARU{う}\\
\phovalbox{結論}\quad AB&{}={}&CD&\\
\end{array}$}

\item 
{\caprm%
\def\sen{%
\begin{zahyou*}[ul=1zw](0,0)(0,1)
\def\P{(0,.25)}
\def\Q{(-4,.25)}
\Drawline{\P\Q}
\end{zahyou*}
}
$\arraycolsep=0pt
\changeArrowHeadSize{2}%
\begin{array}[t]{rclp{10zw}}
\phovalbox{仮定}\quad AO&{}={}&CO&\\
\kaku{OAB}&=&\kaku{OCD}&\\[-1zw]
&
\begin{zahyou*}[ul=1zw](-.5,.5)(0,.5)
\def\A{(0,\ymax)}
\def\B{(0,-4.75)}
\thicklines
\ArrowLine\A\B
\end{zahyou*}
&&\hfill\phovalbox{根拠}\hfill\mbox{}\\
&&&\sen\kaku{AOB}=\kaku{COD}\hfill\gtfamily\MARU{あ}\\
&&&\sen 三角形の合同条件\hfill\gtfamily\MARU{い}\\[1zw]
\sankaku{ABO}&{}\equiv{}&\sankaku{CDO}&\\
&
\begin{zahyou*}[ul=1zw](-.5,.5)(0,1)
\def\A{(0,\ymax)}
\def\B{(0,-1)}
\thicklines
\ArrowLine\A\B
\end{zahyou*}
&&\sen 合同な図形の性質\hfill\gtfamily\MARU{う}\\
\phovalbox{結論}\quad AB&{}={}&CD&\\
\end{array}$}
\end{enumerate}

\end{document}


暇な時（ほとんど冬休みずっと）にWikiを読んで勉強しています。
ときどき，誤字を訂正させていただいています。
本年もよろしくお願いします。

▼関連発言
│
└◆6916:Re:証明の流れ（saloon #522） [tDB] 01/02 11:45
　├◆6917:Re[2]:証明の流れ（saloon #522） [石原　守] 01/02 12:01
　└◆6918:Re[2]:証明の流れ（saloon #522） [田中徹] 01/02 17:31
　　└◆6919:Re[3]:証明の流れ（saloon #522） [kimu] 01/03 12:12<-last