# Pisagor trigonometrik özdeşliği
Pisagor trigonometrik özdeşliği, daha basit ifadeyle Pisagor özdeşliği olarak da adlandırılır, Pisagor teoremini trigonometrik fonksiyonlar cinsinden ifade eden bir özdeşliktir. Açıların toplam formülleri ile birlikte, sinüs ve kosinüs fonksiyonları arasındaki temel bağıntılardan biridir. Özdeşlik şu şekildedir:
sin^2 θ+ cos^2 θ= 1.
Her zamanki gibi, sin^2 θ (sinθ)^2 anlamına gelir.


## İspatlar ve Pisagor teoremi ile ilişkileri.
### Dik açılı üçgenlere dayalı ispat.
Herhangi bir benzer üçgen, hepsinde aynı açıyı seçersek, açıyı tanımlayan iki kenarın oranı, hangi benzer üçgen seçilirse seçilsin, gerçek boyutuna bakılmaksızın aynıdır: oranlar, kenarların uzunluklarına değil, üç açıya bağlıdır. Dolayısıyla, şekildeki benzer dik üçgenlerden herhangi biri için, yatay kenarının hipotenüse oranı aynı, yani cos "θ"dır.
Bir dik üçgenin kenarları açısından sinüs ve kosinüs fonksiyonlarının temel tanımları şunlardır:
sinθ= karşı kenar/hipotenüs= b/c
cosθ= komşu kenar/hipotenüs = a/c 
Pisagor özdeşliği, karesini alma ile yukarıdaki her iki tanımın toplanmasıyla elde edilir; özdeşliğin sol taraf şu hale gelir:
karşı kenar^2 + komşu kenar^2/hipotenüs^2
bu ifade ise açıkça görülebileceği üzere Pisagor teoremine göre 1'e eşittir. Bu tanım tüm açılar için geçerlidir, Birim çember için x = cosθ ve y = sinθ tanımları nedeniyle x = ccosθ ve y = csinθ yarıçapı "c" olan bir çember için ve üçgenimizi y ekseninde yansıtır ve a=x ve b=y olarak ayarlar.
Alternatif olarak, Trigonometrik simetri, kaymalar ve periyodiklik adresinde bulunan özdeşlikler kullanılabilir. periyodiklik özdeşlikleri ile formül -π < "θ" ≤ π için doğruysa, tüm gerçel "θ" için doğrudur diyebiliriz. Daha sonra matematiksel ispat özdeşliğini π/2 < "θ" ≤ π, aralığında ispatlayacağız, bunu yapmak için "t" = "θ" - π/2, "t" artık 0 < "t" ≤ π/2. aralığında olacaktır. Daha sonra bazı temel kaydırma özdeşliklerinin kareli versiyonlarını kullanabiliriz (karesini alma işlemi eksi işaretlerini rahatlıkla kaldırır):
 sin^2θ+ cos^2θ= sin^2(t + 12π) + cos^2(t + 12π) = cos^2 t + sin^2 t = 1.
Geriye kalan tek şey -π < "θ" < 0 için bunu kanıtlamaktır; bu da simetri özdeşliklerinin karesini almak suretiyle yapılabilir.
 sin^2θ= sin^2(-θ) and cos^2θ= cos^2(-θ).


#### İlişkili özdeşlikler.
1 + tan^2 θ= ^2 θ
ve
1 + ^2 θ= ^2 θ
özdeşlikleri, Pisagor trigonometrik özdeşlikleri olarak da adlandırılır. Bir dik üçgenin bir dik kenarının uzunluğu 1 ise, bu dik kenara bitişik açının tanjant diğer dik kenarının uzunluğudur ve açının sekant hipotenüsün uzunluğudur.
tanθ= b/a,
ve
θ= c/a.
Bu şekilde, tanjant ve sekantı içeren bu trigonometrik özdeşlik Pisagor teoreminden çıkar. Uzunluğu 1 olan dik kenarın karşısındaki açı (bu açı φ = π/2 - θ olarak nitelendirilebilir) diğer dik kenarın uzunluğuna eşit kotanjant ve hipotenüsün uzunluğuna eşit kosekanta sahiptir. Bu şekilde, kotanjant ve kosekantı içeren bu trigonometrik özdeşlik Pisagor teoreminden de çıkar.
Aşağıdaki tabloda özdeşlikler, onları ana özdeşlikle ilişkilendiren çarpan veya bölen ile birlikte verilmektedir.


### Birim çember kullanarak ispat.
Öklid düzleminde orijin merkezli birim çember, aşağıdaki denklemle tanımlanır:
formula_1
Bir "θ" açısı verildiğinde, birim çember üzerinde "x" ekseninden saat yönünün tersine "θ" açısında tek bir "P" noktası vardır ve "P"nin "x" ve "y" koordinatları şunlardır:
formula_2
Sonuç olarak, birim çember denkleminden:
formula_3
Pisagor özdeşliğine ulaşılır.
Şekilde, "P" noktası "negatif" bir "x"-koordinatına sahiptir ve uygun şekilde "x" = cos "θ" ile verilir ki bu negatif bir sayıdır: cos "θ" = -cos(π-"θ"). "P" noktası pozitif bir "y"-koordinatına sahiptir ve sin  "θ" = sin(π-"θ") > 0'dır. "θ" sıfırdan tam çember "θ" = 2π'ye arttıkça, sinüs ve kosinüs "x" ve "y"yi doğru işaretlerle tutmak için çeşitli çeyreklerde işaret değiştirir. Şekil, açı bölgesi (çeyrek) değiştirdikçe sinüs fonksiyonunun işaretinin nasıl değiştiğini göstermektedir.
"x" ve "y" eksenleri dik olduğundan, bu Pisagor özdeşliği, hipotenüs uzunluğu 1 olan üçgenler için Pisagor teoremine eşdeğerdir (bu da benzer üçgenler argümanını uygulayarak tam Pisagor teoremine eşdeğerdir). Kısa bir açıklama için Birim çember bölümüne bakınız.


### Kuvvet serileri kullanarak ispat.
Trigonometrik fonksiyonlar kuvvet serileri kullanılarak da tanımlanabilir, yani ("x" için radyan cinsinden ölçülen bir açı):
formula_4
Kuvvet serileri için Kuvvet serilerinin çarpımı ve bölümü kısmındaki çarpma formülünü kullanarak (buradaki serilerin biçimini hesaba katmak için uygun şekilde değiştirilmiş) şunu elde ederiz:
 formula_5
sin2 ifadesinde, "n" en az 1 olmalıdır, cos2 ifadesinde ise sabit terim 1'e eşittir. Binom teoremi kullanılarak toplamlarının kalan terimleri şunlardır (ortak çarpanlar elendiğinde):
∑_i = 0^n 2n 2i - ∑_i = 0^n - 1 2n 2i + 1
= ∑_j = 0^2n (-1)^j 2n j
= (1 - 1)^2n
= 0
Sonuç olarak,
sin^2 x + cos^2 x = 1,
Pisagor özdeşliğine ulaşılır.
Trigonometrik fonksiyonlar bu şekilde tanımlandığında, Pisagor teoremi ile birlikte özdeşlik, bu kuvvet serilerinin parametre önceki bölümde kullandığımız birim çemberi gösterdiğini gösterir. Bu tanım sinüs ve kosinüs fonksiyonlarını titiz bir şekilde oluşturur ve türevlenebilir olduklarını kanıtlar, böylece aslında önceki ikisinin yerini alır.


### Diferansiyel denklem kullanarak ispat.
Sinüs ve kosinüs, diferansiyel denklemin iki çözümü olarak tanımlanabilir:
y” + y = 0
sırasıyla #YÖNLENDİRME ve #YÖNLENDİRME eşitliklerini sağlar. Adi diferansiyel denklem]]ler teorisinden, ilk çözüm olan sinüsün ikinci çözüm olan kosinüse türev olarak sahip olduğu ve bundan da kosinüsün türevinin sinüsün negatifi olduğu sonucu çıkar. Bu özdeşlik,
z = sin^2 x + cos^2 x
fonksiyonunun sabit ve 1'e eşit olduğu iddiasına eşdeğerdir. Zincir kuralı kullanılarak türevi elde edilir:
d/dx z = 2 sinx cosx + 2 cosx(-sinx) = 0,
yani "z" sabittir. Bir hesaplama "z"(0) = 1 olduğunu ve "z"nin bir sabit olduğunu, dolayısıyla tüm "x" için "z" = 1 olduğunu doğrular, böylece Pisagor özdeşliği kurulur.
Benzer bir ispat, sinüsün türevi olarak kosinüse ve kosinüsün türevi olarak negatif sinüse sahip olduğunu belirlemek için yukarıdaki gibi kuvvet serileri kullanılarak tamamlanabilir. Aslında, adi diferansiyel denklem ve kuvvet serileri ile yapılan tanımlar çoğu özdeşliğin benzer şekilde türetilmesine yol açar.
Bu özdeşlik ispatının Öklid'in Pisagor teoremini ispatlamasıyla doğrudan bir bağlantısı yoktur.


### Euler formülünü kullanarak ispat.
Euler formülünü kullanarak e^iθ = cosθ+ isinθ ve karmaşık iki kare farkı olarak cos^2 θ+ sin^2 θ çarpanlarına ayırma,
 1
 amp;= e^iθe^-iθ
 amp;= (cosθ + isinθ)(cosθ - isinθ) 
 amp;= cos^2 θ + sin^2 θ.