\documentclass[%
 version=last,%
 a5paper,%
 10pt,%
% headings=small,%
titlepage=true,%
 twoside,%
 parskip=half,%  this option takes 2.5% more space than parskip
% draft=true,%
DIV=12,%
headinclude=false,%
 pagesize]%
 {scrartcl}
%\documentclass[a4paper,10pt]{article}
\usepackage[turkish]{babel}
%\usepackage[notref]{showkeys}
\usepackage{hfoldsty}
\usepackage{pstricks}
\psset{labelsep=3pt,gridcolor=gray}
\usepackage[neverdecrease]{paralist}
\usepackage{amsmath,amsthm,url}
\theoremstyle{definition}
\newtheorem{exercise}{Al\i\c st\i rma}
\theoremstyle{remark}
%\newtheorem*{solution}{\c C\"oz\"um}

\usepackage{verbatim}
\let\solution\comment
\let\endsolution\endcomment

\begin{document}
\title{Geometri al\i\c st\i rmalar\i}
\author{Ahmet Bakkalo\u glu \and Ayhan G\"unayd\i n \and \"Ozer \"Ozt\"urk \and David Pierce}
\date{12 Aral\i k 2012}
\publishers{Matematik B\"ol\"um\"u\\
Mimar Sinan G\"uzel Sanatlar \"Universitesi\\
\url{http://mat.msgsu.edu.tr/}
}

\uppertitleback{
\centering
Bu al\i\c st\i rmalar,\\
 sadece \"Oklid'in \emph{\"O\u geleri}'nin birinci kitab\i n\i n \"onermelerini kullan\i r.
 
Buldu\u gumuz ispatlar,\\
 3--5, 12--19, 23, 26, 28--36, 38--39, 41, ve 43\\
  numaral\i\ \"onermeleri kullan\i yor.

Al\i\c st\i rmalar, 4 b\"ol\"ume ayr\i lm\i\c st\i r.\\
Bir al\i\c st\i rma, b\"ol\"um\"unde kendinden \"once gelen al\i\c st\i rmalar\i\ kullanabilir.

\mbox{}

Bir al\i\c st\i rma anlatacaksan\i z,\\
notlar\i n\i z\i\ kullanmadan,\\
farkl\i\ \c sekiller kullanarak,\\
farkl\i\ harfler kullanarak\\
anlatabilmelisiniz.

Hangi \"onermeleri kulland\i\u g\i n\i z\i\ s\"oylemelisiniz.
}

\lowertitleback{\tableofcontents}

\maketitle


\section{Steiner--Lehmus Teoremi}

\begin{exercise}
\.Ikizkenar \"u\c cgende tabandaki a\c c\i lar\i\ ikiye b\"olenlerin (yani \emph{a\c c\i ortaylar\i n}) birbirine e\c sit old\u gunu g\"osterin.
\end{exercise}

\begin{exercise}
Taban\i ndaki a\c c\i lar\i\ ikiye b\"olenlerin e\c sit oldu\u gu \"u\c cgenin ikizkenar oldu\u gunu g\"osterin.  \emph{\.Ipucu:}  A\c sa\u g\i daki \c sekli kullanarak kar\c s\i t tersini g\"osterin.

\begin{minipage}[b]{.67\textwidth}
$ABC$ \"u\c cgeninde
\begin{compactenum}[1)]
\item
$BD$ ile $CE$, tabandaki a\c c\i lar\i\ ikiye b\"oler;
\item
$FCE$ a\c c\i s\i, $ABD$ a\c c\i s\i na e\c sittir;
\item
$AB$ kenar\i n\i n $BG$ par\c cas\i, $CF$ do\u grusuna e\c sittir;
\item
$BGH$ a\c c\i s\i, $BFC$ a\c c\i s\i na e\c sittir.
\end{compactenum}
\end{minipage}
\hfill
\psset{unit=2.5cm}
\begin{pspicture}(-0.1,0)(1.2,1)
%\psgrid
\pspolygon(0,0)(1,0)(1,1)
\psline(0,0)(1,0.42)
\psline(1,0)(0.5,0.5)
\psline(1,0)(0.71,0.71)
\psline(0.54,0.54)(0.65,0.27)
\uput[u](1,1){$A$}
\uput[l](0,0){$B$}
\uput[dr](1,0){$C$}
\uput[r](1,0.42){$D$}
\uput[l](0.5,0.5){$E$}
\uput[u](0.71,0.71){$F$}
\uput[u](0.54,0.54){$G$}
\uput[d](0.65,0.27){$H$}
\end{pspicture}
 \end{exercise}

\section{\"U\c cgenlerin merkezleri}

\begin{exercise}\mbox{}\label{KKA}
\.Iki \"u\c cgende, 
tabandaki bir a\c c\i\ tabandaki bir a\c c\i ya e\c sitse,
a\c c\i y\i\ g\"oren kenar a\c c\i y\i\ g\"oren kenara e\c sitse,
ve kalan kenar kalan kenara e\c sitse,
ya tabanlar birbirine e\c sittir,
ya da tabanlardaki kalan a\c c\i lar\i n biri oput, biri dard\i r.
\end{exercise}

\begin{exercise}\mbox{}\nopagebreak

\parbox[b]{0.67\textwidth}{
$ABC$ \"u\c cgeninde
$BD$ ile $CD$, tabandaki a\c c\i lar\i\ ikiye b\"oler.  $AD$ do\u grusunun $BAC$ a\c c\i s\i n\i\ ikiye b\"old\"u\u g\"un\"u g\"osterin.
}
\hfill
\psset{unit=1cm}
\begin{pspicture}(2.4,1)
\pspolygon(0,0)(2,0)(1,1.73)
\psline(0,0)(1,0.58)
\psline(2,0)(1,0.58)
\psline(1,1.73)(1,0.58)
\uput[u](1,1.73){$A$}
\uput[l](0,0){$B$}
\uput[r](2,0){$C$}
\uput[d](1,0.58){$D$}
\end{pspicture}
\end{exercise} 

\begin{exercise}\mbox{}\nopagebreak\label{circum}

\psset{unit=1cm}
\begin{pspicture}(-0.2,0)(2.2,2)
\pspolygon(0,0)(2,0)(1,1.73)
\psline(0.5,0.87)(1,0.58)
\psline(1.5,0.87)(1,0.58)
\psline(1,0)(1,0.58)
\uput[u](1,1.73){$A$}
\uput[l](0,0){$B$}
\uput[r](2,0){$C$}
\uput[ul](0.5,0.87){$D$}
\uput[u](1,0.58){$E$}
\uput[ur](1.5,0.87){$F$}
\uput[d](1,0){$G$}
\end{pspicture}
\hfill
\parbox[b]{0.67\textwidth}{
$ABC$ \"u\c cgeninde
$DE$ do\u grusu, $AB$ kenar\i na dik ve bu kenar\i\ ikiye b\"oler.
Benzer \c sekilde $FE$ do\u grusu, $AC$ kenar\i na dik ve bu kenar\i\ ikiye b\"oler.
$EG$ do\u grusu, $BC$ kenar\i na dikse,
bu kenar\i\ ikiye b\"old\"u\u g\"un\"u g\"osterin.
}
\end{exercise} 

\begin{exercise}\mbox{}

\parbox[b]{0.55\textwidth}{
$ABC$ \"u\c cgeninde
$CD$ do\u grusu, $AB$ kenar\i na diktir, ve $BE$ do\u grusu, $AC$ kenar\i na diktir.
Bu $CD$ ile $BE$ do\u grular\i, $F$ noktas\i nda kesi\c sirler.  
$AG$ do\u grusu, $F$ noktas\i ndan ge\c cer.
$AG$ do\u grusunun $BC$ taban\i na dik oldu\u gunu g\"osterin.
\emph{\.Ipucu:} $HKL$ \"u\c cgeninin kenarlar\i, $ABC$ \"u\c cgeninin kenarlar\i na paralel olsun.
}
\hfill
\begin{pspicture}(-1.1,-1.9)(3.4,1)
%\psgrid
\pspolygon(0,0)(2,0)(1,1.73)
\pspolygon(1,-1.73)(3,1.73)(-1,1.73)
\psline(0.5,0.87)(2,0)
\psline(1.5,0.87)(0,0)
\psline(1,0)(1,1.73)
\uput[u](1,1.73){$A$}
\uput[l](0,0){$B$}
\uput[r](2,0){$C$}
\uput[ul](0.5,0.87){$D$}
\uput[60](1,0.58){$F$}
\uput[ur](1.5,0.87){$E$}
\uput[d](1,0){$G$}
\uput[d](1,-1.73){$H$}
\uput[ur](3,1.73){$K$}
\uput[ul](-1,1.73){$L$}
\end{pspicture}
\end{exercise}

\section{Pisagor Teoreminin Pappus'un verdi\u gi genelle\c stirilmesi}

\begin{exercise}\label{paral}
\.Iki paralelkenarda,
iki biti\c sik kenar, iki biti\c sik kenara e\c sit ise, ve i\c cerilen a\c c\i, i\c cerilen a\c c\i ya e\c sit ise, paralelkenarlar birbirine e\c sittir.
\end{exercise}

\begin{exercise}\mbox{}

\mbox{}\hfill
\begin{pspicture}(-0.33,-0.4)(3,1.17)
%\psgrid
\pspolygon(0,0)(-0.33,1.17)(2.67,1.17)(3,0)
\uput[d](0,0){$K$}
\uput[d](3,0){$L$}
\uput[u](2.67,1.17){$M$}
\uput[u](-0.33,1.17){$N$}
\end{pspicture}
\hfill
\begin{pspicture}(-0.5,-0.4)(4,1.77)
%\psgrid
\pspolygon(0,0)(3,0)(1,1)
\psline(0,0)(-0.5,1)(0.5,2)(1,1)
\psline(1,1)(2,1.5)(4,0.5)(3,0)
\psline(0.5,2)(0.67,2.17)(2,1.5)
\psline(0.67,2.17)(1,1)
\uput[d](1,1){$A$}
\uput[d](0,0){$B$}
\uput[d](3,0){$C$}
\uput[l](-0.5,1){$D$}
\uput[ul](0.5,2){$E$}
\uput[r](4,0.5){$F$}
\uput[ur](2,1.5){$G$}
\uput[u](0.67,2.17){$H$}
\end{pspicture}
\hfill\mbox{}

$ABC$, herhangi bir \"u\c cgendir, ve $AD$ ile $AF$, $ABC$ \"u\c
cgeninin kenarlar\i nda rasgele se\c cilmi\c s iki paralelkenard\i r.
Gerekirse, bu paralelkenarlar\i n $DE$ ile $FG$ kenarlar\i\ uzat\i l\i
r, ve $H$ noktas\i nda kesi\c sirler.  $KLMN$ paralelkenar\i nda, $KL$
taban\i, $ABC$ \"u\c cgeninin $BC$ taban\i na e\c sittir; ve $NKL$ a\c
c\i s\i, $ABC$ ile $DHA$ a\c c\i lar\i n\i n toplam\i na e\c sittir.
$AD$ ile $AF$ paralelkenarlar\i n\i n toplam\i n\i n $KLMN$
paralelkenar\i na e\c sit oldu\u gunu g\"osterin.  \emph{\.Ipucu:} 
\begin{center}
\begin{pspicture}(-0.5,0)(4,2.17)
%\psgrid
\pspolygon(0,0)(3,0)(1,1)
\psline(0,0)(-0.5,1)(0.5,2)(1,1)
\psline(1,1)(2,1.5)(4,0.5)(3,0)
\psline(0.5,2)(0.67,2.17)(2,1.5)
\psline(0.67,2.17)(1,1)
\psset{linestyle=dashed}
\pspolygon(0,0)(-0.33,1.17)(2.67,1.17)(3,0)
\psline(1,1)(1.29,0)
\end{pspicture}
\end{center}
\end{exercise}

\section{Pisagor Teoremi i\c cin \"Oklid'in \c sekli}

\begin{exercise}\label{X}
Verilen bir do\u grunun bir noktas\i ndan iki do\u gru, ayr\i\ tarafa \c cizilsin.  \"Oklid'in 15.\ \"onermesine g\"ore, e\u ger bu iki do\u gru, bir do\u grudaysa, o zaman verilen do\u gruyla olu\c sturduklar\i\ ters a\c c\i lar birbirine e\c sittir.  Bu \"onermenin tersini g\"osterin.
\end{exercise}

\begin{exercise}\label{par-diag}
Bir paralelkenar\i n k\"o\c segenlerinin birbirini ikiye b\"ol\-d\"u\u g\-\"un\"u g\"osterin.
\end{exercise}

\begin{exercise}\label{taban}
\.Iki paralelkenar, ayn\i\ paralellerde olsun.  \"Oklid'in 36.\ \"on\-ermesine g\"ore, paralelkenarlar\i n tabanlar\i\ birbirine e\c sitse, paralelkenarlar da birbirine e\c sittir.  Tersini g\"osterin.
\end{exercise}

\begin{exercise}\mbox{}\label{iki}

\begin{minipage}[b]{.67\textwidth}
$DE$ do\u grusu, $ABC$ \"u\c cgeninin $BC$ taban\i na paraleldir.
$AF$ do\u grusu, taban\i\ ikiye b\"oler.
$AF$ do\u grusunun $DE$ do\u grusunu da ikiye b\"old\"u\u g\"un\"u g\"osterin.
\end{minipage}
\hfill
\begin{pspicture}(-0.4,-0.2)(2.4,1)
\pspolygon(0,0)(2,0)(1,1.73)
\psline(0.5,0.87)(1.5,0.87)
\psline(1,0)(1,1.73)
\uput[u](1,1.73){$A$}
\uput[l](0,0){$B$}
\uput[r](2,0){$C$}
\uput[ul](0.5,0.87){$D$}
\uput[ur](1.5,0.87){$E$}
\uput[d](1,0){$F$}
\end{pspicture}
\end{exercise}

\begin{exercise}\mbox{}\label{par-div}

\begin{pspicture}(-0.4,-0.4)(3.86,2)
\pspolygon(0,0)(3.46,2)(3.46,0)(0,2)
\psline(0,1)(3.46,1)
\uput[u](1.73,1){$A$}
\uput[l](0,0){$C$}
\uput[l](0,2){$B$}
\uput[r](3.46,2){$E$}
\uput[r](3.46,0){$D$}
\uput[l](0,1){$F$}
\uput[r](3.46,1){$G$}
\end{pspicture}
\hfill
\begin{minipage}[b]{0.5\textwidth}
\c Sekilde $DE$ do\u grusu, $BC$ do\u grusuna paraleldir, ve $BD$, $CE$, ve $FG$ do\u grular\i, birbiriyle $A$ noktas\i nda kesi\c sirler.  $FG$ do\u grusu, $BC$ do\u grusunu ikiye b\"oler.  $FG$ do\u grusunun $DE$ do\u grusunu da ikiye b\"old\"u\u g\"un\"u g\"osterin.
\end{minipage}
\end{exercise}

\pagebreak

\begin{exercise}\mbox{}\nopagebreak\label{comp}

\begin{minipage}[b]{0.67\textwidth}
$ABCD$ bir paralelkenard\i r, ve $EF$ ile $GH$ do\u grular\i, paralelkenar\i n kenarlar\i na paraleldir.  \"Oklid'in 43.\ \"onermesine g\"ore, e\u ger $AK$ ile $KC$ do\u grular\i, bir do\u grudaysa, o zaman $DK$ ile $KB$ paralelkenarlar\i, birbirine e\c sittir.  Bu \"onermenin tersini g\"osterin.
\end{minipage}
\hfill
\begin{pspicture}(-0.4,-0.4)(2.4,1.6)
\pspolygon(0,0)(0,2)(2,2)(2,0)
\psline(1,0)(1,2)
\psline(0,1)(2,1)
\psline(0,0)(2,2)
\uput[l](0,0){$A$}
\uput[r](2,0){$B$}
\uput[r](2,2){$C$}
\uput[l](0,2){$D$}
\uput[d](1,0){$E$}
\uput[u](1,2){$F$}
\uput[l](0,1){$G$}
\uput[r](2,1){$H$}
\uput[ul](1,1){$K$}
\end{pspicture}

\begin{pspicture}(-0.4,0)(2.4,2)
\pspolygon(0,0)(0,2)(2,2)(2,0)
\psline(1,0)(1,2)
\psline(0,1)(2,1)
\psline(0,0)(2,2)
\pspolygon(1,2)(0,1)(1,0)(2,1)
\uput[l](0,0){$A$}
\uput[r](2,0){$B$}
\uput[r](2,2){$C$}
\uput[l](0,2){$D$}
\uput[d](1,0){$E$}
\uput[u](1,2){$F$}
\uput[l](0,1){$G$}
\uput[r](2,1){$H$}
\uput[ul](1,1){$K$}
\uput{4pt}[d](1.5,1.5){$L$}
\end{pspicture}
\hfill
\begin{minipage}[b]{0.67\textwidth}
\emph{\.Ipucu:} $FG$, $GE$, $EH$, $HF$, ve $AKL$, do\u grular olsun.  O zaman
\begin{compactenum}[1)]
\item
$AL$, $GE$ do\u grusunu ikiye b\"oler;
\item
$EFG$ ile $EHG$ \"u\c cgenleri, birbirine e\c sittir;
\item
$AL$, $FH$ do\u grusunu ikiye b\"oler;
\item
$FLK$ ile $CLH$ a\c c\i lar\i, birbirine e\c sittir.
\end{compactenum}
\end{minipage}
\end{exercise}

\begin{exercise}\mbox{}\nopagebreak\label{cut-square}

\begin{minipage}[b]{0.5\textwidth}
\c Seklimiz, \"Oklid'in 47.\ \"onermesinden al\i nm\i\c st\i r.
$AD$ do\u grusu, $BC$ do\u grusuna diktir; $AE$ d\"ortgeni, bir dikd\"ortgendir; ve $AE$ do\u grusu, onun k\"o\c segenidir.  $AD$ ile $AE$ do\u grular\i n\i n bir do\u gruda oldu\u gunu g\"osterin.
\end{minipage}
\hfill
\psset{unit=4mm}
\begin{pspicture}(-2.4,0)(7.4,7)
\pspolygon(0,0)(5,0)(7.4,3.2)(4.2,5.6)(0,0)%(0,-5)(5,-5)
(5,0)(-0.6,4.2)(-2.4,1.8)
\psline(-0.6,4.2)(1.8,7.4)(4.2,5.6)
\psline(1.8,7.4)(1.8,0)
\uput[r](1.8,2.4){$A$}
\uput[dl](0,0){$B$}
\uput[dr](5,0){$C$}
\uput[d](1.8,0){$D$}
\uput[u](1.8,7.4){$E$}
\uput[ul](-0.6,4.2){$F$}
\end{pspicture}
\end{exercise}

\pagebreak

\begin{exercise}\mbox{}\label{square}

\mbox{}\hfill
\psset{unit=5mm}
\begin{pspicture}(-0.4,-0.4)(7.4,7.4)
%\psgrid
\pspolygon(0,0)(7,0)(7,7)(0,7)
\psline(3,7)(3,0)
\psline(7,3)(0,3)
\psline(0,7)(3.97,1.70)%(4.44,1.08)
\psline(0,0)(7,3)
\psline(3,0)(7,7)
\uput[ur](3,3){$A$}
\uput[d](3,0){$B$}
\uput[r](7,3){$C$}
\uput[dr](7,0){$E$}
\uput[ur](7,7){$F$}
\uput[ul](0,7){$G$}
\uput[dl](0,0){$H$}
\uput[u](3,7){$K$}
\uput[l](0,3){$L$}
\uput[dr](3.97,1.70){$M$}
\end{pspicture}
\hfill
\begin{pspicture}(-0.4,-0.4)(7.4,7.4)
%\psgrid
\pspolygon(0,0)(7,0)(7,7)(0,7)
\psline(3,7)(3,0)
\psline(7,3)(0,3)
\psline(0,7)(3.97,1.70)%(4.44,1.08)
\psline(0,0)(7,3)
\psline(3,0)(7,7)
\psline(3.97,0)(3.97,7)
\psline(0,1.70)(7,1.70)
\uput[ur](3,3){$A$}
\uput[d](3,0){$B$}
\uput[r](7,3){$C$}
\uput[dr](7,0){$E$}
\uput[ur](7,7){$F$}
\uput[ul](0,7){$G$}
\uput[dl](0,0){$H$}
\uput[u](3,7){$K$}
\uput[l](0,3){$L$}
\uput[dr](3.97,1.70){$M$}
\uput[u](3.97,7){$N$}
\uput[l](0,1.70){$P$}
\end{pspicture}
\hfill\mbox{}

$EFGH$ paralelkenar\i nda $BK$ ile $LC$ do\u grular\i, kenarlara paraleldirler, ve $A$ noktas\i nda kesi\c sir.
$EL$ paralelkenar\i n\i n $CH$ k\"o\c segeni \c cizilmi\c stir.
  $GA$ do\u grusu \c cizilmi\c s ve $CH$ do\u grusundaki $M$ noktas\i na uzat\i lm\i\c st\i r.  $MB$ ile $MF$ do\u grular\i\ \c cizilmi\c stir.
  Bu $MB$ ile $MF$ do\u grular\i n\i n bir do\u gruda oldu\u gunu g\"osterin.
\end{exercise}

\begin{exercise}\mbox{}\nopagebreak

\parbox[b]{0.5\textwidth}{
\"Oklid'in 47.\ \"onermesinin \c seklinde $AD$, $BE$, ve $CF$ do\u grular\i n\i n bir noktada kesi\c sti\u gini g\"osterin.  (Burada $AD$ do\u grusu, $BC$ do\u grusuna diktir.)
}
\hfill
\psset{unit=4mm}
\begin{pspicture}(-2.4,-5)(7.8,5)
\pspolygon(0,0)(5,0)(7.4,3.2)(4.2,5.6)(0,0)(0,-5)(5,-5)
(5,0)(-0.6,4.2)(-2.4,1.8)
%\psline(-0.6,4.2)(1.8,7.4)(4.2,5.6)
\psline(1.8,2.4)(1.8,-5)
\psline(-2.4,1.8)(5,0)
\psline(0,0)(7.4,3.2)
\uput{6pt}[u](1.8,2.4){$A$}
\uput[dl](0,0){$B$}
\uput[dr](5,0){$C$}
\uput[d](1.8,-5){$D$}
\uput[r](7.4,3.2){$E$}
\uput[l](-2.4,1.8){$F$}
\end{pspicture}
\end{exercise}

\end{document}