Search results
Results from the WOW.Com Content Network
For example, the four-vertex theorem was proved in 1912, but its converse was proved only in 1997. [3] In practice, when determining the converse of a mathematical theorem, aspects of the antecedent may be taken as establishing context. That is, the converse of "Given P, if Q then R" will be "Given P, if R then Q".
In the mathematical theory of automorphic forms, a converse theorem gives sufficient conditions for a Dirichlet series to be the Mellin transform of a modular form. More generally a converse theorem states that a representation of an algebraic group over the adeles is automorphic whenever the L-functions of various twists of it are well-behaved.
The previous example employed the contrapositive of a definition to prove a theorem. One can also prove a theorem by proving the contrapositive of the theorem's statement. To prove that if a positive integer N is a non-square number , its square root is irrational , we can equivalently prove its contrapositive, that if a positive integer N has ...
Using composition of relations, the converse may be composed with the original relation. For example, the subset relation composed with its converse is always the universal relation: ∀A ∀B ∅ ⊂ A ∩B ⇔ A ⊃ ∅ ⊂ B ⇔ A ⊃ ⊂ B. Similarly, For U = universe, A ∪ B ⊂ U ⇔ A ⊂ U ⊃ B ⇔ A ⊂ ⊃ B.
Menelaus's theorem, case 1: line DEF passes inside triangle ABC. In Euclidean geometry, Menelaus's theorem, named for Menelaus of Alexandria, is a proposition about triangles in plane geometry. Suppose we have a triangle ABC, and a transversal line that crosses BC, AC, AB at points D, E, F respectively, with D, E, F distinct from A, B, C. A ...
This example argument will be reused when explaining § Formalization. ... converse ,, converse nonimplication ... using the theorem that ...
The converse is also true: if absolute convergence implies convergence in a normed space, then the space is a Banach space. If a series is convergent but not absolutely convergent, it is called conditionally convergent. An example of a conditionally convergent series is the alternating harmonic series.
The converse of Euler's theorem is also true: if the above congruence is true, then and must be coprime. The theorem is further generalized by some of Carmichael's theorems . The theorem may be used to easily reduce large powers modulo n {\displaystyle n} .