Tübitak Lise 2. Aşama - 2008 Çözümleri

Tübitak Lise 2. Aşama - 2008 Çözümleri

1
Diklik merkezi $H$ ve çevrel merkezi $O$ olan dar açılı bir $ ABC$ üçgeninin $BC$, $AC$ ve $AB$ kenarlarının orta noktaları sırasıyla $A_{1}$, $B_{1}$ ve $C_{1}$ olsun. $[HA_{1}$, $ [HB_{1}$ ve $[HC_{1}$ ışınları, $ABC$ üçgeninin çevrel çemberini, sırasıyla $A_{0}$, $B_{0}$ ve $C_{0}$ noktalarında kessin. $ A_{0}B_{0}C_{0}$ üçgeninin diklik merkezi $H_{0}$ ise, $O$, $H$ ve $H_{0}$ noktalarının doğrudaş olduğunu gösteriniz.

(Ömer Faruk Tekin, Semih Yavuz)
Çözüm 1:
 $ ABC$ üçgeninin  dokuz    nokta çemberinin merkezi $F$  olsun


$2FA_{1}=OA_{1}$ ve$ | OF|=|FH|$  olduğundan  $HA_{1}=A{_1}A{_0}$  bulunur.Benzer şekilde $HC{_1}=C{_1}C{_0}$ ve  $HB{_1}=B{_1}B{_0}$ olduğu gösterilir.Bu durumda
$C{_1}B{_1}A{_1}$  üçgeni ile $C{_0}B{_0}A{_0}$ benzer üçgenleri $H$ merkezli homotetik üçgenlerdir.Ayrıca $O$ noktası $C{_1}B{_1}A{_1}$ üçgeninin diklik merkezi olduğunda $O,H,H{_0}$ doğrusaldır.
Çözüm 2:
(Mehmet KAYSİ)

$H$ den $BC$ ye inilen dikmenin ayağı $F$, $HF$ nin çemberi kestiği nokta $D$ olsun. $H$ nin $A_1$ e göre simetriği $H_1$ olsun. $\left[HF\right]=\left[FD\right]$ ve $\left[HA_1\right]=[A_1H_1]$ olduğundan $FA_1\parallel DH_1$ olur. $HFA_1$ ile $HDH_1$ benzer üçgenlerdir ve benzerlik oranı $\dfrac{1}{2}$ dir. O zaman $\left[DH_1\right]$ in orta dikmesi $A_1$ den geçer ve aynı zamanda $BC$ nin orta dikmesi olur. Bu durumda $\left[DH_1\right]$ in orta dikmesi $A_1$ den ve $O$ dan geçer. $O$ dan $\left[DH_1\right]$ e inilen dik, $\left[DH_1\right]$ in orta noktasından geçtiği için $H_1$ çember üzerinde olmak zorundadır, yani $H_1$ ile $A_0$ çakışıktır. O zaman $\left[HA_1\right]=\left[A_1A_0\right]$ dır. Dahası, $m\left(\widehat{ADA_0}\right)={90}^{\circ }$ olduğundan $\left[AA_0\right]$ çaptır. (Yani $A,O,A_0$ doğrudaştır.)

Benzer şekilde $B,O,B_0$ ve $C,O,C_0$ da doğrudaştır. Yani $A_0B_0C_0$ üçgeni $ABC$ üçgeninin $O$ etrafında ${180}^{\circ }$ döndürülmesiyle elde edilmiştir. Bu durumda $H_0$ da $H$ nin etrafında ${180}^{\circ }$ döndürülmesiyle elde edilmiştir. O zaman $m\left(\widehat{HOH_0}\right)={180}^{\circ }$ olur.
2

(Şahin Emrah)
Çözüm:
(Mehmet KAYSİ)

    • $p \leq 3$ ise
      $p=2$ için ifadenin tamkare olmadığı görülür. $p=3$ ifade $16$ ya eşit olur, $p=3$ ifadeyi tamkare yapar.
    • $p>3$ ise
      $p=6k-1$, $p=6k+1$, $k \in \mathbb{N}$ olabilir. İfadeyi düzenleyelip çarpanlara ayıralım.
      $$\left(7^{\frac{p-1}{2}}-1\right)\left(7^{\frac{p-1}{2}}+1\right)=pa^2$$  $$A=7^{\frac{p-1}{2}}-1, B=7^{\frac{p-1}{2}}+1$$ olsun.
      $A$ ve $B$ sayılarının EBOB'u $B-A=2$'yi böleceği için ve iki sayı da çift olduğundan $(A,B)=2$ olur.

      O zaman $b, c \in \mathbb{N}$ ve $(b,c)=1$ olmak üzere $A=2c^2, B=2pb^2$ ya da $A=2pb^2, B=2c^2$ olmak zorundadır.

      1. Durum $A=2c^2, B=2pb^2$ ise
      $A=7^{\frac{p-1}{2}}-1=2c^2$ ise $-1\equiv 2c^2  \mathrm{(mod 7)}$ ki bunun da çözümü yoktur.

      2. Durum $A=2pb^2, B=2c^2$ ise
      $6|pa^2$ ve $(p,6)=1$ olduğundan $36|pa^2$ olur.
      $pa^2=(7-1)\left(7^{p-1}+7^{p-2}+ \ldots +7+1\right)$ 36 ile bölünüyorsa sağ taraf 6 ile bölünmelidir. Sağ taraf mod 6'da $p-1$ e denk olduğundan $6|p-1$ bulunur, yani $p=6k+1$ olmalıdır.
      $B=2c^2$ ve $p=6k+1$ ise $7^{3k}+1=2c^2$ dir. Çarpanlara ayıralım:
      $\left(7^k+1\right)\left(7^{2k}-7^k+1\right)=2c^2$.
      $\left(7^{2k}-7^k+1\right)-\left(7^k+1\right)\left(7^k-2\right)=3$ olduğundan bu iki sayının EBOB'u 1 veya 3 olabilir. Her iki sayı da 3 ile bölünmediğinden bu iki sayının EBOB'u 1 olur.
      $m, n$ tamsayılar olmak üzere, $7^k+1=2n^2$, $7^{2k}-7^k+1=m^2$ olmak zorundadır. Fakat $7^{2k}-7^k+1$ sayısı $\left(7^k-1\right)^2$ ile $(7^k)^2$ arasında olduğu için tamkare olamaz. Bu durumdan hiç çözüm gelmez.
    Tek çözüm $p=3$ tür.

    • $p \leq 3$ ise
      $p=2,3$ için ifadenin tamkare olmadığı görülür.
    • $p>3$
      Bir önceki sorudaki adımları 7 yerine 11 için tekrarlayalım.

      1. Durum $A=2pb^2, B=2c^2$ ise
      $ B=11^{\frac{p-1}{2}}+1=2c^2$, yani $11^{\frac{p-1}{2}}+1 \equiv 2c^2 \mathrm{(mod 11)}$ ifadesinin çözümü olmadığı için buradan çözüm gelmez.

      2. Durum $A=2c^2, B=2pb^2$ ise
      $p=4k+1$ ise $ A=\left(11^k-1\right)\left(11^k+1\right)=2c^2$ $ \left(11^k+1\right)-\left(11^k-1\right)=2$ ve sayılar çift olduğundan $\left(11^k-1,11^k+1\right)=2$ olur. O zaman, $11^k-1=2m^2$ ve $11^k+1=4n^2$ olacak şekilde $m,n$ tamsayıları vardır. Fakat burada 2. denklemin çözümü yoktur. ($11^k=\left(2n\right)^2-1$)

      $p=4k+3$ ise, $ 3|11^{4k+2}-1=pa^2$ ve $(p,3)=1$ olduğundan $9|11^{4k+2}-1$ olur. Bu durumda $6|4k+2=p-1$ olur, $p\equiv 3 \mathrm{(mod 4)}$ ve $p\equiv 1 \mathrm {(mod 6)}$ ise $p\equiv 7 \mathrm{(mod 12)}$ olur. $p=12l+7$ olsun.. O zaman $ A=11^{6l+3}-1=2c^2$ olur. Çarpanlarına ayıralım, $ \left(11^{2l+1}-1\right)\left(11^{4l+2}+11^{2l+1}+1\right)=pa^2$. $2l+1=t$ ($t$ tek tamsayı) diyelim. $\left(11^{2t}+11^t+1\right)-\left(11^t-1\right)\left(11^t+2\right)=3$ olduğundan bu iki sayının EBOB'u 1 veya 3 olabilir. Fakat iki sayı da 3 ile bölünmez, dolayısıyla EBOB 1 dir. EBOB=1 ve $ 11^{2t}+11^t+1$ tek olduğundan $ 11^{2t}+11^t+1$ tamkare olmak zorundadır. Fakat $ \left(11^{t}\right)^2<11^{2t}+11^t+1<\left(11^t+1\right)^2$ olduğundan çözüm gelmez.

    Bu şartı sağlayan $p$ asalı yoktur.
3
$a+b+c=1$ koşulunu sağlayan tüm $a,b,c$ pozitif gerçel sayıları için, $$ \dfrac{a^{2}b^{2}}{c^{3}(a^{2}-ab+b^{2})}+\dfrac{b^{2}c^{2}}{a^{3}(b^{2}-bc+c^{2})}+\dfrac{c^{2}a^{2}}{b^{3}(c^{2}-ca+a^{2})}\ge \dfrac{3}{ab+bc+ca}$$ olduğunu kanıtlayınız.

(Semih Yavuz)
Çözüm:
(Mehmet KAYSİ)

$\frac{a^2b^2}{c^3(a^2-ab+b^2)}+\frac{b^2c^2}{a^3(b^2-bc+c^2)}+\frac{a^2c^2}{b^3(c^2-ac+a^2)}=S$ olsun.

$S \geq \frac{3}{ab+ac+bc}$ olduğunu göstereceğiz. $a+b+c=1$

$(ab+ac+bc)^2=a^2b^2+a^2c^2+b^2c^2+2abc(a+b+c) \geq 3abc(a+b+c)=3abc$


İfadeyi düzenlersek $\frac{1}{a}+\frac{1}{b}+\frac{1}{c} \geq \frac{3}{ab+ac+bc}$ buluruz.

$S \geq \frac{1}{a}+\frac{1}{b}+\frac{1}{c}$ olduğunu gösterelim.

$S\underbrace{\left(\frac{a^2-ab+b^2}{a^2b^2c}+\frac{b^2-bc+c^2}{ab^2c^2}+\frac{a^2-ac+c^2}{a^2bc^2}\right)}_{\mathrm{=A\ olsun}} \geq \left(\frac{1}{c^2}+\frac{1}{a^2}+\frac{1}{b^2}+\right)^2$ (Cauchy-Schwarz)

$\Rightarrow S \geq \frac{\left(\frac{1}{a^2}+\frac{1}{b^2}+\frac{1}{c^2}\right)^2}{A}  \Rightarrow   \left(\frac{1}{a^2}+\frac{1}{b^2}+\frac{1}{c^2}\right)^2 \geq A\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\right)$ olduğunu gösterirsek çözümü tamamlamış oluruz.
Her iki tarafı hesaplayalim.

$\frac{1}{a^4}+\frac{1}{b^4}+\frac{1}{c^4}+\frac{2}{a^2b^2}+\frac{2}{a^2c^2}+\frac{2}{b^2c^2} \stackrel{?}{\geq} \left(\frac{1}{b^2c}-\frac{1}{abc}+\frac{1}{a^2c}+\frac{1}{ac^2}-\frac{1}{abc}+\frac{1}{ab^2}+\frac{1}{bc^2}-\frac{1}{abc}+\frac{1}{a^2c}\right)\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\right) $
Sadeleştirip, düzenleyelim.

$\frac{1}{a^4}+\frac{1}{b^4}+\frac{1}{c^4}+\frac{3}{abc}\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\right) \stackrel{?}{\geq} 2\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\right)\frac{1}{abc}+\frac{1}{ab}\left(\frac{1}{a^2}+\frac{1}{b^2}\right)+\frac{1}{ac}\left(\frac{1}{a^2}+\frac{1}{c^2}\right)+\frac{1}{bc}\left(\frac{1}{b^2}+\frac{1}{c^2}\right)$

$\frac{1}{a^4}+\frac{1}{b^4}+\frac{1}{c^4}+\frac{1}{abc}\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\right) \stackrel{?}{\geq} \frac{1}{ab}\left(\frac{1}{a^2+b^2}\right)+\frac{1}{ac}\left(\frac{1}{a^2+c^2}\right)+\frac{1}{bc}\left(\frac{1}{b^2+c^2}\right)$

$r\in \mathbb{R}$ için $\sum{x^r\left(x-y\right)\left(x-z\right)} \geq 0$ (Shur eşitsizliği). Yukarıdaki eşitsizlik Shur eşitsizliğinde $r=2$ durumuna denk geldiği için ispat tamamlanmış olur.
4
$\mathbb{N}$ negatif olmayan tam sayıların ve $\mathbb{Z}$ de tüm tam sayıların kümesini göstermek üzere, $f:\mathbb{N}\times \mathbb{Z}\to \mathbb{Z}$ fonksiyonu,
koşullarını sağlıyorsa $$\sum\limits_{k=0}^{\binom{2009}{2}}{f(2008,k)}$$ toplamının değerini bulunuz.

(Serhat Doğan)
Çözüm 1:
(Mehmet KAYSİ)

İddia 1: $k<0$ veya $k>n^2+n+1$ ise $f(n,k)=0$ dır.

İspat: $n$ üzerinden tümevarım yapalım. $n=0$ için iddia doğrudur.
İddia $n-1$ için doğru olsun, yani $k<0$ ya da $k> n^2-n+1$ ise $f(n-1,k)=0$. Şimdi $n$ ye bakalım.
$k<0$ ise $k-2n<0$ olacağından, $f(n,k)=f(n-1,k)+f(n-1,k-2n)=0+0=0$ dır.
$k>n^2+n+1$ ise $k-2n>n^2-n+1$ olacağından $f(n,k)=f(n-1,k)+f(n-1,k-2n)=0+0=0$ olur.

İddia 2: Her $k$ tamsayısıiçin $f(n,k)=f(n,n^2+n+1-k)$.

İspat: Yine $n$ üzerinden tümevarım yapalım. $n=0$ için iddia doğrudur.
İddia $n-1$ iddia doğru olsun, yani $0\leq k\leq n^2-n+1$ ise $f(n-1,k)=f(n-1,n^2-n+1-k)$ (1). Burada $k$ yerine $k-2n$ yazarsak, $f(n-1,k-2n)=f(n-1,n^2-n+1-(k-2n))=f(n-1,n^2+n+1-k)$ (2). (1) ve (2) yi taraf tarafa toplayalım.
$f(n-1,k)+f(n-1,k-2n)=f(n-1,n^2-n+1-k)+f(n-1,n^2+n+1-k)$
$=f(n-1, n^2+n+1-(k-2n))+f(n-1,n^2+n+1-k)$ ise $f(n,k)=f(n,n^2+n-1-k)$. 
 
İddia 3: $\sum_{k=0}^{n^2+n+1}f(n,k)=2^{n+1}$
İspat: Yine tümevarım yapalım. $n=0$ için iddia doğrudur.
İddia $n-1$ için doğru olsun, yani $\sum_{k=0}^{n^2-n+1}f(n-1,k)=2^{n}$.
$n$ için bakalım.
$\sum_{k=0}^{n^2+n+1}f(n,k)=  \sum_{k=0}^{n^2+n+1}f(n-1,k)+f(n-1,k-2n)$
$=\sum_{k=0}^{n^2+n+1}f(n-1,k)+\sum_{k=0}^{n^2+n+1}f(n-1,k-2n)$
$=\sum_{k=0}^{n^2-n+1}f(n-1,k)+\sum_{l=-2n}^{n^2-n+1}f(n-1,l)$
$=2^n+\sum_{l=0}^{n^2-n+1}f(n-1,l)=2^n+2^n=2^{n+1}$ (Burada iddia 1 birkaç kez kullanılıyor).
 
$k=0$'dan $k=n^2+n+1$'e kadar değisiyor yani $n^2+n+2$ terim var ve iddia 2'ye göre $f(n,k)=f(n,n^2+n+1-k)$. O zaman ilk $\frac{n^2+n+2}{2}$ terimin toplamı $\frac{2^{n+1}}{2}=2^n$ olur. Toplam şeklinde ifade edelim: $\sum_{k=0}^{\frac{n^2+n}{2}}f(n,k)=2^n$. Burada $n=2008$ koyarsak istenilen sonucu elde ederiz.
Çözüm 2:
(Mehmet KAYSİ)

$A=\left\{1,2,4,6,8,10, \ldots 2n\right\}$ olsun.
İddia: $f(n,k)$ sayısı $A$ kümesinin alt kümeleri arasında toplamları $k$ olan altkümelerin sayısına eşittir.
İspat: İddia $0$ için doğrudur. İddia $n-1$ için doğru olsun. $n$ için bakalım.
Toplamı $k$ olan kümelerden bazılarında $2n$ vardır, bazılarında yoktur. İçinde $2n$ varsa, bu kümelerin sayısı $f(n-1,k-2n)$ ye eşittir, çünkü $2n$ yi çıkardığımızda kalan sayılarin toplamı $k-2n$ olur. İçinda $2n$ yoksa, bu kümelerin sayısı $f(n-1,k)$ ye eşittir. Dolayısıyla $f(n,k)=f(n-1,k)+f(n-1,k-2n)$ olur.
 
$A$ kümesindeki tüm elemanların toplamı  $n^2+n+1$ dir. Bu yüzden toplamı $k$ olan alt kümelerin sayısı ile toplamı $n^2+n+1-k$ olan alt kümelerin sayısı birbirine eşittir. (Toplamı $k$ olan kümenin tümleyenindeki elemanların toplamı $n^2+n+1-k$ dır ve bu, bir eşleme belirtir.)
 
Soruda bize toplamları $0,1, \ldots \frac{n^2+n}{2}$ olan elemanların sayısını soruyor. Yukarıdaki sonucu da göz önüne alırsak bu sayı tüm alt kümelerin sayısının yarısına eşittir. $\left|A\right|=n+1$ olduğundan cevap $2^n$ dir. $n=2008$ için $2^{2008}$ bulunur.
5
 Düzlemde bir $\Gamma $ çemberi ve onu kesmeyen bir $\ell$ doğrusu verilmiş olsun. $PQ\cap RS=\lbrace A\rbrace $ ve $PS\cap QR=\lbrace B\rbrace $ olacak biçimde, $\Gamma $ çemberi üstünde $P,Q,R,S$ noktalarının bulunmasını sağlayan ve $\ell$ doğrusu üstünde yer alan tüm $\lbrace A,B\rbrace $ nokta ikilileri için, $\lbrack AB\rbrack $ yi çap alan çemberlerin kesişim kümesini belirleyiniz.

(Serhat Doğan)
Çözüm 1:
$QS\bigcap PR=C$ ve $\Gamma $ nin merkezi $O$ olsun. Brocard Teoremi'nde verilen notu kullanarak; AB çaplı çember $\Delta $olmak üzere $\Delta $ nın $\Gamma $ ya dik olduğunu söyleyebiliriz. Diğer taraftan, $\Delta $ nın çapı $l$ doğrusu üzerinde bulunduğundan, $\Delta $ çemberi $l$ ye diktir. ($T_{7} $) dan: $l$ yi ve $\Gamma $ yı çakışık merkezli iki $l^*$ ve $\Gamma ^*$ çemberine gönderen bir evirtim vardır. Bu evirtime göre $\Delta $; bu çakışık merkezli iki çembere dik olan bir doğru veya çembere evirilir. Çünkü evirtim açıları değiştirmez. Fakat bir çemberin merkezdeş iki farklı çembere aynı anda dik olması mümkün olmadığından, (Bunun mümkün olması için iki merkezdeş çemberin ikisi için de yapılan evirtimlerde $\Delta $ nın evriğinin sabit kalması gerekir fakat bu mümkün değildir.)  $\Delta $ nın evriği bu çakışık merkezli iki çembere dik olan bir doğrudur. $E(\Delta )=d^*$ olsun. Fakat $d^*$ 'nin bir doğru olması ancak ve ancak evirtim merkezinin $\Delta $çemberi üzerinde olması ile mümkündür. Diğer taraftan, evirtim merkezi Lemma'ya göre $O$ dan yani $\Gamma $ nin merkezinden $l$ ye inilen doğru üzerinde bulunan iki sabit noktadan birisi olması gerektiğinden, $AB$ çaplı çember sabit iki evirtim merkezinden geçen bir çember olmalıdır. Dolayısıyla $AB$ çaplı çemberlerin geometrik yeri, bu iki sabit evirtim merkezidir. $\square $


NOT:
Bu çözüm, Zeyd Yusuf Köroğlu ve Mehmet Efe Akengin'in "Evirtim'' adlı matematik projesinden alınmıştır.
Çözüm 2:
(Mehmet KAYSİ)


Miguel Teoremi'nden $APS$ ve $BSR$ çemberleri $AB$ üzerinde kesişirler, kesiştikleri nokta $K$ olsun.
$$AP\cdot AQ=AS\cdot AR=AK\cdot AB$$ $$BR\cdot BQ=BS\cdot BP=BK\cdot BA$$ Aynı zamanda $AP\cdot AQ=AO^2-r^2$ ve $BR\cdot BQ=BO^2-r^2$ ($r$ verilen çemberin yarıçapı, $O$ ise merkezi ), dolayısıyla
$AO^2-r^2=AK^2+AK\cdot KB$ ve $BO^2-r^2=BK^2+AK\cdot KB$. Buradan $AO^2-AK^2=BO^2-BK^2=AK\cdot KB+r^2$ bulunur.
$AO^2-AK^2=BO^2-BK^2$ olduğundan $OK\bot AB$ ve $OK^2=AK\cdot KB+r^2$ $\Rightarrow$ $AK\cdot KB=OK^2-r^2$, dolayısıyla $AK\cdot KB$ sabittir. $OK$ doğrusu üzerinde $\sqrt{AK\cdot KB}=\left|KX\right|$ şartını sağlayan noktalar $AB$ çaplı çember üzerinde bulunur.
6
$2008$ tane bilgisayardan oluşan bir bilgisayar ağında, herhangi iki döngü kesişmiyor. $t=0$ anında, bir bilgisayar korsanı bu ağdaki bir bilgisayarı ele geçiriyor ve $t=1$ anında da, ağ yönetici, ele geçirilmemiş bir bilgisayara koruyucu bir program yüklüyor. Her $k$ pozitif tam sayısı için, $t=2k$ anında, korsan, varsa, o ana kadar ele geçirdiği bilgisayarlardan birine doğrudan bağlı olan ve koruyucu program yüklenmemiş olan bir bilgisayarı daha ele geçirebiliyor; $ t=2k+1$ anında da, ağ yöneticisi, varsa, o ana kadar koruyucu program yüklenmiş bilgisayarlardan birine doğrudan bağlı olan ve korsanın ele geçirmemiş olduğu bir bilgisayara daha koruyucu programı yükleyebiliyor. Bilgisayar ağı ne şekilde düzenlenmiş olursa olsun, korsanın en çok kaç tane bilgisayarı ele geçirmeyi garantileyebileceğini belirleyiniz.

[ $m \geq 3$ olmak üzere, $B_1$ ve $B_m$ bilgisayarları ve, her $2\leq i \leq m$ için, $B_{i-1}$ ve $B_i$ bilgisayarları doğrudan bağlıysa, $m$ elemanlı $\{B_1, B_2, \dots, B_m\}$ kümesine bir döngü diyoruz.]

(Azer Kerimov)
Çözüm:
(Mehmet KAYSİ)

Soruyu çizge sorusuna çevirip öyle çözelim. Çözümde bilgisayarları çizgenin köşeleri (noktaları), iki bilgisayar arasındaki ağ\i, çizgenin kenarları olarak; korsanı 1. oyuncu, ağ yöneticisini 2. oyuncu olarak; hamleleri ise noktaları ele geçirme olarak düşüneceğiz.

1. Durum: Çizgede hiç döngü yoksa

iddia 1: 1. oyuncu noktaların en az yarısını ele geçirir.

ispat: 1. oyuncu ilk hamlesi için rastgele bir nokta seçsin. Bu noktayı sildiğimizde, çizgede döngü olmadığı için çizge birbirinden kopuk alt çizgelere ayrılır. 2. oyuncu bu alt çizgelerden en fazla birini ele geçirebilir.
Eğer alt çizgelerden en büyük olan noktaların yarısından fazla sayıda nokta içermiyorsa, 1. oyuncu diğer alt çizgeleri alacağından noktaların en az yarısını ele geçirmeyi garantiler.
Eğer alt çizgelerden en büyüğü noktaların yarısından fazla nokta içeriyorsa, 1. oyuncunun ilk hamlesini değiştiriyoruz. Daha önce seçilen nokta yerine, bu nokta ile komşu olan ve en büyük alt çizgeye ait olan noktayı seçiyoruz. 2. oyuncu bir önceki durumda seçtiği alt çizgenin noktalarından birini seçmiyorsa, 1. oyuncu bir önceki durumda 2. oyuncunun ele geçirdiği noktaları ele ge\c irir ki bu noktaların sayısı da tüm noktaların sayısının yarısından az değildir. Aksi takdirde 1. oyuncunun ele geçirdiği noktaların sayısı en az 1 artar. 1. oyuncu ele geçireceği noktaların sayısı tüm noktaların en az yarısı olacak şekilde ilk hamlesini gözden geçirerek, amacına ulaşır.

2. Durum: Çizgede döngü varsa,

Bu durumu da üçe ayıracağız. Burada bir tanım vermemiz gerekiyor. Döngüdeki bir noktadan, döngüdeki noktaları kullanmadan gidilebilen noktardan oluşan ve kenarları verilen çizgenin kenarları olan alt çizgeye, o noktadan çıkan kol diyeceğiz. İspatın kalanını okurken çizgede kesişen 2 döngünün bulunmadığını unutmayalım.
1. oyuncunun noktaların üçte birini almayı garantileyeceğini gösterelim.


  • Tüm döngülerin her bir kolu, tüm noktaların üçte birinden az sayıda nokta içeriyorsa

    1. oyuncu ilk hamlesini kesinlikle bu döngü üzerinde yapmalıdır. Aksi takdirde 2. oyuncu, 1. oyuncunun hamle yaptığı kol ile döngünün bağlantısını keserek, 1. oyuncunun hedeflenenden az sayıda nokta almasını sağlayabilir. Aslında bu durumda herhangi bir kolun döngüye bağkandığı noktayı ele geçiren oyuncu, o kolu tümden ele geçirmiş olur. Dolayısıyla her iki oyuncu da mümkün olduğunca çok nokta ele geçirmek istiyorsa, döngü üzerinde nokta kalmayana kadar hamlelerini döngü üzerinde yapmak zorundadırlar.
    Döngüdeki noktaları bir çember üzerine, noktalar arasında eşit uzaklıkta olacak şekilde dizdiğimizi düşünürsek, oyuncular birer yarım çember ele geçirecekler. 1. oyuncu hamlesini çember üzerinde bir noktaya yapsın, bu noktaya $A$ noktası diyelim.

    iddia 2: 2. oyuncu $A$ noktasını içermeyen istediği yarım çemberi ele geçirebilir.

    ispat: 2. oyuncu ele geçirmek istediği yarım çemberle diğer yarım çember arasına bir çizgi çizer. Sonra 2. oyuncu, 1. oyuncunun ele geçirdiği  noktanın bu doğruya göre simetriğindeki noktayı ele geçirir.


    Burada 2. oyuncu $A$ ya karşılık $B$ yi, $D$ ye karşılık $E$ yi, $J$ ye karşılık $H$ yi ele geçirir.

    Bu durumda şunu ispatlamamız gerekiyor:
    iddia 3: 1. oyuncu ilk hamlesinde öyle bir nokta ele geçirebilir ki, o noktayı içeren tüm yarım çemberler kollarıyla beraber en az istenilen sayıda nokta içerir.

    ispat: Diyelim ki her nokta için o noktayı içeren en az bir adet yeterli miktarda nokta içermeyen bir yarım çember bulunsun. İlk olarak herhangi bir nokta alalım ve bu noktayı içeren ve yeterli miktarda nokta içermeyen bir yarım çember alalım. Daha sonra bu yarım çemberin uç noktalarından birini alalım, bu noktayı içeren en az bir yarım çember vardır, bu yarım çemberler içinde ilk yarım çemberimiz ile kesişimi en az olan yarım çemberi seçelim. İlk yarım çember ile ikinci yarım çember aynı yarım çemberler değilse, bu ikinci yarım çemberin ilk yarım çember üzerinde olmayan uç noktasını alalım ve aynı şekilde 3. yarım çemberi seçelim. Bu yarım çemberleri seçme şeklimizden dolayı(kesişimin en az olması)  üçünün kesişimi boş kümedir. Ve bu da bu yarım çemberlerin çemberi çevrelemesini gerektirir. Yarım çemberlerin özelliği içerdiği noktaların sayısıyının toplam nokta sayısının 1/3 ünden daha az miktarda olmasıydı. Dolayısıyla elimizdeki 3 yarım çemberin içerdiği noktaların sayısının bütün noktaların sayısından küçük olması gerekir, fakat bu üç yarım çemberimiz bütün çemberi içeriyordu dolayısıyla kesinlikle bütün noktaların sayısından fazladır. Demek ki her nokta için uygun bir yarım çember bulunamaz ve en az bir nokta için o noktayı içeren bütün yarım çemberler yeterli sayıda nokta içerir. 
    Son olarak, atladığımız ilk yarım çember ile 2. yarım çemberin kesişmesi durumuna bakalım. Bu durumda ilk çemberin uç noktasını içeren ve tüm noktaların 1/3'ünden az sayıda nokta içeren tek yarım çember var demektir. Bu uç noktanın ilk yarım çember üzerinde olmayan komşusunu alalım. Kabulümüz gereği, bu noktayı içeren ve içerdiği noktaların sayısı 1/3'ten az olan bir yarım çember olmak zorundadır. Fakat bu yarım çember ilk çemberin seçtiğimiz uç noktasını içemez. Dolayıyla bu yarım çember ile ilk yarım çemberin bileşimi bize çemberin tamamını verir. Fakat bu iki yarım çemberdeki noktaların sayısı tüm noktaların 2/3' ü kadardı, çelişki. Demek ki her nokta için uygun bir yarım çember bulunamaz ve en az bir nokta için o noktayı içeren bütün yarım çemberler yeterli sayıda nokta içerir.
  • Bir kolu tüm noktaların üçte birinden fazla fakat üçte ikisinden az sayıda nokta içeren bir döngü varsa

    1. oyuncu bu kolun döngüye bağlandığı noktayı seçer. Bu durumda 1. oyuncu, 2. oyuncunun hamlesine göre ya kolu, ya da kol hariç çizgenin kalanını ele geçirir. Her iki durumda tüm noktaların en az üçte birini ele geçirmiş olur.
  • Tüm döngülerde, tüm noktaların üçte ikisinden fazla sayıda nokta içeren bir kol varsa

    1. oyuncu ilk hamlesini bu döngü üzerinde yaparsa, 2. oyuncu kol üzerindeki döngüye en yakın noktayı seçerek, 1. oyuncunun döngü ile olan bağlantısını keser ve 1. oyuncunun hedeflenenden az sayıda nokta almasını sağlar. Bu yüzden 1. oyuncu ilk hamlesini döngü üzerinde yapmamalıdır. Bu durum 1. duruma çok benzer hale geldi. Yine 1. oyuncunu yapacaği hamle çizgeyi, birbirinden kopuk alt çizgelere ayırır.

    Önce döngüdeki noktaları kırmızı renk ile işaretleyelim. Her döngüden birer kenar çıkararak, çizgeyi döngüsüz hale getirelim. 1. Durumdaki adımları takip edip 1. oyuncunun ilk hamlesini yapacağı noktayı belirleyelim. Bu nokta kırmızı noktalardan biri değildir, aksi takdirde tüm noktaların en az üçte ikisini içeren bir alt çizge bulunur. Sonra sildiğimiz kenarları tekrar çizelim. 1. durumdaki gibi 1. oyuncu tüm noktaların en az yarısını ele geçirmeyi garantiler.

    Buraya kadar olan kısımda, 1. oyuncunun  noktalardan en az 1/3'ünü ele geçirebileceğini gösterdik. Şimdi 1. oyuncunun noktalardan 1/3'ünden fazla sayıda nokta ele geçiremeyeceği bir örnek vererek çözümü tamamlayacağız.


    Çözümde, 1. oyuncu hamlesini yaptıktan sonra 2. oyuncunun istediği yarım çemberi alabildiğini  göstermiştik. Bu çizgede 1. oyuncu nasıl oynarsa oynasın, 2. oyuncu 2 kol almayı garantiler.