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:

Her zamanki gibi,   anlamına gelir.

 İspatlar ve Pisagor teoremi ile ilişkileri
küçükresim|

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:

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:

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  ve  tanımları nedeniyle  ve  yarıçapı c olan bir çember için ve üçgenimizi y ekseninde yansıtır ve  ve  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  aralığında ispatlayacağız, bunu yapmak için  t artık  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):



Geriye kalan tek şey  için bunu kanıtlamaktır; bu da simetri özdeşliklerinin karesini almak suretiyle yapılabilir.



İlişkili özdeşlikler
küçükresim|

küçükresim|upright=1.82|

ve

ö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.

ve

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.

Orijinal ÖzdeşlikBölenBölen DenklemiTüretilmiş ÖzdeşlikTüretilmiş Özdeşlik (Alternatif)              

 Birim çember kullanarak ispat

küçükresim|{{Ortala|θ > π/2 geniş açısında birim yarıçaplı çember üzerinde P(x, y) noktası
küçükresim|

Öklid düzleminde orijin merkezli birim çember, aşağıdaki denklemle tanımlanır:Bu sonuç, orijinden  noktasına olan uzaklık için  uzaklık formülü kullanılarak bulunabilir. Bkz.  Bu yaklaşım, Pisagor teoremini varsayar. Alternatif olarak, değerler basitçe değiştirilebilir ve grafiğin bir daire olduğu belirlenebilir.

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 Pnin x ve y koordinatları şunlardır:

Sonuç olarak, birim çember denkleminden:

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 yyi 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çı):

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:



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):

Sonuç olarak,

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:

sırasıyla  ve  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,

fonksiyonunun sabit ve 1'e eşit olduğu iddiasına eşdeğerdir. Zincir kuralı kullanılarak türevi elde edilir:

yani z sabittir. Bir hesaplama z(0) = 1 olduğunu ve znin 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  ve karmaşık iki kare farkı olarak  çarpanlarına ayırma,

Ayrıca bakınız
Pisagor teoremi
Trigonometrik özdeşlikler listesi
Birim çember
Kuvvet serisi
Diferansiyel denklem

 Kaynakça

Kategori:Matematik özdeşlikleri
Kategori:Kanıt içeren maddeler
Kategori:Trigonometri
Özdeşlik