EMproof環境

EMproof環境

証明を記述する環境で，末尾に終了の印（□）を出力します。

定義されているスタイルファイル †

EMproof.sty

書式 †

\begin{EMproof}[#1]<#2>
　....
　....
\end{EMproof}

例 †

AMS の proof環境 †

証明を記述する環境として
amsart, amsbook クラスに proof 環境が定義されています。
あるいは，amsthm.sty にもあります。
まずは，amsthm.sty を読み込んだものをご覧頂きましょう。

上のソースリスト

EMproof環境 †

amsart, amsthm は，emath の立場では使いにくいものです。
ということで，パクッタものを EMproof 環境と称します。

上のソースリスト

• 上のリストは，EMproof.sty 以外のスタイルファイルを必要としません。
  AMS関連，emath関連のいかなるファイルも必要としません。

見出し文字列の変更 †

EMproof環境の冒頭に，
　　証明
という文字列が出力されますが，これを変更するには
　　\proofname
を再定義します。デフォルトは
　　\providecommand{\proofname}{証明}
となっています。

見出し文字列・書式の変更 †

見出しは，上記 \proofname を
　　【　　】
で括って出力されますが，これを変更するには
　　\proofcmd
を再定義します。デフォルトは
　　\providecommand{\proofcmd}{\jkakkokukuri[【]}%
となっています。

関連事項 †

• 定理型環境

注意事項 †

• amsart.cls, amsthm.sty を使用している場合は，EMproof.sty を併用することは出来ません。
  ams で用意されている proof環境を用います。
  1478