The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “How to generate all integral triangles containing a given angle.”

Niven’s Theorem

Artur Korniłowicz, Adam Naumowicz (2016)

Formalized Mathematics

Similarity:

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

Characterization of linear rational preference structures.

Jacinto González Pachón, Sixto Ríos-Insua (1992)

Extracta Mathematicae

Similarity:

We consider the multiobjective decision making problem. The decision maker's (DM) impossibility to take consciously a preference or indifference attitude with regard to a pair of alternatives leads us to what we have called doubt attitude. So, the doubt may be revealed in a conscient way by the DM. However, it may appear in an inconscient way, revealing judgements about her/his attitudes which do not follow a certain logical reasoning. In this paper, doubt will be considered...