\documentclass[%
version=last,%
a4paper,%
12pt,%
headings=small,%
%bibliography=totoc,%
%index=totoc,%
%twoside,%
leqno,%
cleardoublepage=empty,%
%open=any,%
parskip=half,%
%draft=false,%
draft=true,%
%DIV=classic,%
%DIV=12,%
headinclude=false,%
pagesize]%{scrreprt}
{scrartcl}

\usepackage[a4paper,tmargin=1cm]{geometry} 


\usepackage[utf8]{inputenc}
\usepackage[turkish]{babel}
% \usepackage[T1]{fontenc}
%\usepackage{lmodern}

\usepackage{amsthm}

\begin{document}
\title{İspatlar üzerine}
\author{David Pierce}
\date{24 Ekim 2011}
\maketitle
\thispagestyle{empty}

Bildiğimiz gibi, bir Öklid önermesinin altı parçası ve bir diyagramı
veya şekli var.  Parçaları şöyledir (adları, Öklid'den yedi yüz yıl
sonra yaşayan Proklus'tan gelir): 

\begin{description}
\item[İlan.]  Önermenin genel f{}ikri.
\item[Açıklama.]  Şekilde gösterilen varsayım.
\item[Belirtme.]  Şekilde gösterilen istenen sonuç.
\item[Hazırlama.]  Açıklamada söylenmemiş şekildeki doğrular ve çemberler.
\item[İspat.]  (Aşağıda bahsediliyor.)
\item[Bitirme.]  İlanın tekrarlanması.
\end{description}

\begin{itemize}
\item
Bir ispatın \textbf{adımları} vardır.
\item
Her adımın bir \textbf{nedeni} vardır.  Neden, aşağıdakilerinin birisi
olabilir: 
\begin{itemize}
\item
\textbf{tanım} [Öklid'de `sınır'], 
\item
\textbf{postulat} [belit], 
\item
`genel kavram',
\item
daha önce ispatlanmış \textbf{önerme,}
\item
başka? 
\end{itemize}
\item
İspat, bizi varsayımdan sonuca götürür.
\item
Tüm adımları ve nedenleri yazmalıyız.
\item
Aynı varsayımdan, aynı sonuca, farklı adımlarla gidilebilir.
\item
İlanın ve bitirmenin yazılması gerekmeyebilir.  (Bitirme olarak, küçük bir kare `$\qedsymbol$' yazılabilir.)
\item
Kendi sözlerimizi kullanmalıyız.
\item
İspat simgelerde değil, sözcüklerdedir.
\end{itemize}

\end{document}