Niven teoremi
Matematikte, Ivan Niven'in adını taşıyan Niven teoremi, 0° ≤ θ ≤ 90° aralığında θ derecesinin sinüsünün de rasyonel bir sayı olduğu tek rasyonel θ değerlerinin şunlar olduğunu belirtir:[1]
Radyan cinsinden, 0 ≤ x ≤ Şablon:Pi/2, x/Şablon:Pi'nin rasyonel olması ve sinŞablon:HspxŞablon:'in rasyonel olması gerekir. Sonuç olarak, bu tür değerler yalnızca sin 0 = 0, sin Şablon:Pi/6 = 1/2 ve sin Şablon:Pi/2 = 1'dir.
Teorem, Niven'in irrasyonel sayılar üzerine kitabında Corollary 3.12 (yani Doğal sonuç 3.12) olarak yer almaktadır.[2]
Teorem, diğer trigonometrik fonksiyonlar için de geçerlidir.[2] θ'nın rasyonel değerleri için, sinüs veya kosinüsün tek rasyonel değerleri 0, ±1/2 ve ±1'dir; sekant veya kosekantın tek rasyonel değerleri ±1 ve ±2; tanjant veya kotanjantın tek rasyonel değerleri ise 0 ve ±1'dir.[3]'de Lemma 12 olarak görünür.
Tarihçe
Niven'in teoreminin ispatı İrrasyonel Sayılar ("Irrational Numbers") adlı kitabında yer almaktadır. Teorem daha önce D. H. Lehmer ve J. M. H. Olmstead tarafından kanıtlanmıştı.[2] 1933 tarihli makalesinde Lehmer, kosinüs için teoremi daha genel bir sonucu kanıtlayarak ispatladı. Yani Lehmer, ve ile asal tam sayıları için sayısının derecesinde bir cebirsel sayı olduğunu göstermiştir, burada Euler totient fonksiyonu anlamına gelmektedir. Rasyonel sayıların derecesi 1 olduğundan, olması gerekir ve bu nedenle tek olasılık 1, 2, 3, 4 veya 6'dır. Daha sonra, trigonometrik özdeşliğini kullanarak sinüs için karşılık gelen bir sonucu kanıtladı.[4] 1956 yılında Niven, Lehmer'in sonucunu diğer trigonometrik fonksiyonlara genişletti.[2] Diğer matematikçiler sonraki yıllarda yeni kanıtlar verdiler.[3]
Ayrıca bakınız
- Pisagor üçlüleri, trigonometrik fonksiyonların her zaman rasyonel değerler alacağı dik üçgenler oluşturur, ancak dar açılar rasyonel değildir.
- Trigonometrik fonksiyonlar
- Trigonometrik sayı
Kaynakça
Konuyla ilgili okumalar
Dış bağlantılar
- ↑ Şablon:Dergi kaynağı
- ↑ 2,0 2,1 2,2 2,3 Şablon:Kitap kaynağı
- ↑ 3,0 3,1 Kosinüs durumu için bir kanıt Şablon:Dergi kaynağı
- ↑ Şablon:Dergi kaynağı