n≥1 için tümevarım tercih edeceğim.
1)n=1 için √2=2cos(π4)=2√22=√2 olup doğrudur.
2)n=k için √2+√2+√2+...+√2⏟k tane 2=2.cos(π2k+1) eşitliğinin doğru olduğunu varsayalım.
3)n=k+1 için √2+√2+√2+...+√2⏟k+1 tane 2=2.cos(π2k+2) eşitliğinin doğru olduğunu göstermeliyiz.
Doğru olan √2+√2+√2+...+√2⏟k tane 2=2.cos(π2k+1) eşitliğinin iki tarafına 2 ekleyip karekökünü alalım. Böylece sol taraf;
√2+√2+√2+...+√2⏟k+1 tane 2=√2+2cos(π2k+1)=√2(1+cos(π2k+1))
=√2(cos0+cos(π2k+1))
=√4(cos(0+π2k+12)(cos(0−π2k+12)
=√4.cos2(π2k+2)=2cos(π2k+2) olur. O halde verilen eşitlik doğrudur.