PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2016 | 24 | 4 | 301-308
Tytuł artykułu

Niven’s Theorem

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
This article formalizes the proof of Niven’s theorem [12] which states that if x/π and sin(x) are both rational, then the sine takes values 0, ±1/2, and ±1. The main part of the formalization follows the informal proof presented at Pr∞fWiki (https://proofwiki.org/wiki/Niven’s_Theorem#Source_of_Name). For this proof, we have also formalized the rational and integral root theorems setting constraints on solutions of polynomial equations with integer coefficients [8, 9].
Wydawca
Rocznik
Tom
24
Numer
4
Strony
301-308
Opis fizyczny
Daty
wydano
2016-12-01
otrzymano
2016-12-15
online
2017-02-23
Twórcy
  • Institute of Informatics, University of Białystok,
  • Institute of Informatics, University of Białystok,
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.doi-10_1515_forma-2016-0026
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.