Search results
Results from the WOW.Com Content Network
Like the sine, the cosine and tangent are replaced with rational equivalents, called the "cross" and "twist", and Divine Proportions develops various analogues of trigonometric identities involving these quantities, [3] including versions of the Pythagorean theorem, law of sines and law of cosines. [4]
Having attending several of Norman Wildeberger's talks, the rationale behind rational trigonometry is that the concept of an angle belongs to a circle (ie, Euler's formula), and that the concept of spread is far more natural for a triangle (c.f. Thales' theorem). Angles and distance also break down in fields other than the real numbers, whereas ...
I just created this article, because Wildberger clearly needed an article, as he has made an important contribution to mathematics with his new subject known as "rational trigonometry."Dratman 01:56, 17 September 2011 (UTC) I think there have been changes since the Wikipedia:Articles for deletion/Norman J. Wildberger discussion. Wildberger is ...
In radians, one would require that 0° ≤ x ≤ π/2, that x/π be rational, and that sin(x) be rational. The conclusion is then that the only such values are sin(0) = 0, sin(π/6) = 1/2, and sin(π/2) = 1. The theorem appears as Corollary 3.12 in Niven's book on irrational numbers. [2] The theorem extends to the other trigonometric functions ...
Metamath is a formal language and an associated computer program (a proof assistant) for archiving and verifying mathematical proofs. [2] Several databases of proved theorems have been developed using Metamath covering standard results in logic, set theory, number theory, algebra, topology and analysis, among others.
In geometry, the Beckman–Quarles theorem states that if a transformation of the Euclidean plane or a higher-dimensional Euclidean space preserves unit distances, then it preserves all Euclidean distances. Equivalently, every homomorphism from the unit distance graph of the plane to itself must be an isometry of the plane. The theorem is named ...
A well-known example is the Taniyama–Shimura conjecture, now the modularity theorem, which proposed that each elliptic curve over the rational numbers can be translated into a modular form (in such a way as to preserve the associated L-function). There are difficulties in identifying this with an isomorphism, in any strict sense of the word.
The case with an elliptic curve and the field of rational numbers is Mordell's theorem, answering a question apparently posed by Henri Poincaré around 1901; it was proved by Louis Mordell in 1922. It is a foundational theorem of Diophantine geometry and the arithmetic of abelian varieties .