|
Orthodiagonal Quadrilateral
In Euclidean geometry, an orthodiagonal quadrilateral is a quadrilateral in which the diagonals cross at right angles. In other words, it is a four-sided figure in which the line segments between non-adjacent vertices are orthogonal (perpendicular) to each other. Special cases A kite is an orthodiagonal quadrilateral in which one diagonal is a line of symmetry. The kites are exactly the orthodiagonal quadrilaterals that contain a circle tangent to all four of their sides; that is, the kites are the tangential orthodiagonal quadrilaterals. A rhombus is an orthodiagonal quadrilateral with two pairs of parallel sides (that is, an orthodiagonal quadrilateral that is also a parallelogram). A square is a limiting case of both a kite and a rhombus. Orthodiagonal equidiagonal quadrilaterals in which the diagonals are at least as long as all of the quadrilateral's sides have the maximum area for their diameter among all quadrilaterals, solving the ''n'' = 4 case of the bigg ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orthodiagonal Quadrilateral
In Euclidean geometry, an orthodiagonal quadrilateral is a quadrilateral in which the diagonals cross at right angles. In other words, it is a four-sided figure in which the line segments between non-adjacent vertices are orthogonal (perpendicular) to each other. Special cases A kite is an orthodiagonal quadrilateral in which one diagonal is a line of symmetry. The kites are exactly the orthodiagonal quadrilaterals that contain a circle tangent to all four of their sides; that is, the kites are the tangential orthodiagonal quadrilaterals. A rhombus is an orthodiagonal quadrilateral with two pairs of parallel sides (that is, an orthodiagonal quadrilateral that is also a parallelogram). A square is a limiting case of both a kite and a rhombus. Orthodiagonal equidiagonal quadrilaterals in which the diagonals are at least as long as all of the quadrilateral's sides have the maximum area for their diameter among all quadrilaterals, solving the ''n'' = 4 case of the bigg ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Square (geometry)
In Euclidean geometry, a square is a regular quadrilateral, which means that it has four equal sides and four equal angles (90- degree angles, π/2 radian angles, or right angles). It can also be defined as a rectangle with two equal-length adjacent sides. It is the only regular polygon whose internal angle, central angle, and external angle are all equal (90°), and whose diagonals are all equal in length. A square with vertices ''ABCD'' would be denoted . Characterizations A convex quadrilateral is a square if and only if it is any one of the following: * A rectangle with two adjacent equal sides * A rhombus with a right vertex angle * A rhombus with all angles equal * A parallelogram with one right vertex angle and two adjacent equal sides * A quadrilateral with four equal sides and four right angles * A quadrilateral where the diagonals are equal, and are the perpendicular bisectors of each other (i.e., a rhombus with equal diagonals) * A convex quadrilateral wi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Number
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the form a + bi, where and are real numbers. Because no real number satisfies the above equation, was called an imaginary number by René Descartes. For the complex number a+bi, is called the , and is called the . The set of complex numbers is denoted by either of the symbols \mathbb C or . Despite the historical nomenclature "imaginary", complex numbers are regarded in the mathematical sciences as just as "real" as the real numbers and are fundamental in many aspects of the scientific description of the natural world. Complex numbers allow solutions to all polynomial equations, even those that have no solutions in real numbers. More precisely, the fundamental theorem of algebra asserts that every non-constant polynomial equation with rea ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proof By Contradiction
In logic and mathematics, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Proof by contradiction is also known as indirect proof, proof by assuming the opposite, and ''reductio ad impossibile''. It is an example of the weaker logical refutation '' reductio ad absurdum''. A mathematical proof employing proof by contradiction usually proceeds as follows: #The proposition to be proved is ''P''. #We assume ''P'' to be false, i.e., we assume ''¬P''. #It is then shown that ''¬P'' implies falsehood. This is typically accomplished by deriving two mutually contradictory assertions, ''Q'' and ''¬Q'', and appealing to the Law of noncontradiction. #Since assuming ''P'' to be false leads to a contradiction, it is concluded that ''P'' is in fact true. An important special case is the existence proof by contradiction: in order to demonstrate the existence o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclidean Vector
In mathematics, physics, and engineering, a Euclidean vector or simply a vector (sometimes called a geometric vector or spatial vector) is a geometric object that has magnitude (or length) and direction. Vectors can be added to other vectors according to vector algebra. A Euclidean vector is frequently represented by a '' directed line segment'', or graphically as an arrow connecting an ''initial point'' ''A'' with a ''terminal point'' ''B'', and denoted by \overrightarrow . A vector is what is needed to "carry" the point ''A'' to the point ''B''; the Latin word ''vector'' means "carrier". It was first used by 18th century astronomers investigating planetary revolution around the Sun. The magnitude of the vector is the distance between the two points, and the direction refers to the direction of displacement from ''A'' to ''B''. Many algebraic operations on real numbers such as addition, subtraction, multiplication, and negation have close analogues for vectors, operati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Law Of Cosines
In trigonometry, the law of cosines (also known as the cosine formula, cosine rule, or al-Kashi's theorem) relates the lengths of the sides of a triangle to the cosine of one of its angles. Using notation as in Fig. 1, the law of cosines states :c^2 = a^2 + b^2 - 2ab\cos\gamma, where denotes the angle contained between sides of lengths and and opposite the side of length . For the same figure, the other two relations are analogous: :a^2=b^2+c^2-2bc\cos\alpha, :b^2=a^2+c^2-2ac\cos\beta. The law of cosines generalizes the Pythagorean theorem, which holds only for right triangles: if the angle is a right angle (of measure 90 degrees, or radians), then , and thus the law of cosines reduces to the Pythagorean theorem: :c^2 = a^2 + b^2. The law of cosines is useful for computing the third side of a triangle when two sides and their enclosed angle are known. History Though the notion of the cosine was not yet developed in his time, Euclid's '' Elements'', dating back to th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Proof
A mathematical proof is an inferential argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements, such as theorems; but every proof can, in principle, be constructed using only certain basic or original assumptions known as axioms, along with the accepted rules of inference. Proofs are examples of exhaustive deductive reasoning which establish logical certainty, to be distinguished from empirical arguments or non-exhaustive inductive reasoning which establish "reasonable expectation". Presenting many cases in which the statement holds is not enough for a proof, which must demonstrate that the statement is true in ''all'' possible cases. A proposition that has not been proved but is believed to be true is known as a conjecture, or a hypothesis if frequently used as an assumption for further mathematical work. Proofs employ logic expressed in mathematical symbols ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Converse (logic)
In logic and mathematics, the converse of a categorical or implicational statement is the result of reversing its two constituent statements. For the implication ''P'' → ''Q'', the converse is ''Q'' → ''P''. For the categorical proposition ''All S are P'', the converse is ''All P are S''. Either way, the truth of the converse is generally independent from that of the original statement.Robert Audi, ed. (1999), ''The Cambridge Dictionary of Philosophy'', 2nd ed., Cambridge University Press: "converse". Implicational converse Let ''S'' be a statement of the form ''P implies Q'' (''P'' → ''Q''). Then the converse of ''S'' is the statement ''Q implies P'' (''Q'' → ''P''). In general, the truth of ''S'' says nothing about the truth of its converse, unless the antecedent ''P'' and the consequent ''Q'' are logically equivalent. For example, consider the true statement "If I am a human, then I am mortal." The converse of that statement is "If I am mortal, then I am ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pythagorean Theorem
In mathematics, the Pythagorean theorem or Pythagoras' theorem is a fundamental relation in Euclidean geometry between the three sides of a right triangle. It states that the area of the square whose side is the hypotenuse (the side opposite the right angle) is equal to the sum of the areas of the squares on the other two sides. This theorem can be written as an equation relating the lengths of the sides ''a'', ''b'' and the hypotenuse ''c'', often called the Pythagorean equation: :a^2 + b^2 = c^2 , The theorem is named for the Greek philosopher Pythagoras, born around 570 BC. The theorem has been proven numerous times by many different methods – possibly the most for any mathematical theorem. The proofs are diverse, including both geometric proofs and algebraic proofs, with some dating back thousands of years. When Euclidean space is represented by a Cartesian coordinate system in analytic geometry, Euclidean distance satisfies the Pythagorean relation: the squared dis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
The Mathematical Gazette
''The Mathematical Gazette'' is an academic journal of mathematics education, published three times yearly, that publishes "articles about the teaching and learning of mathematics with a focus on the 15–20 age range and expositions of attractive areas of mathematics." It was established in 1894 by Edward Mann Langley as the successor to the Reports of the Association for the Improvement of Geometrical Teaching. Its publisher is the Mathematical Association. William John Greenstreet was its editor for more than thirty years (1897–1930). Since 2000, the editor is Gerry Leversha. Editors * Edward Mann Langley: 1894-1896 * Francis Sowerby Macaulay: 1896-1897 * William John Greenstreet: 1897-1930 * Alan Broadbent: 1930-1955 * Reuben Goodstein: 1956-1962 * Edwin A. Maxwell Edwin Arthur Maxwell (12 January 1907 – 27 August 1987) was a Scottish mathematician, who worked at Cambridge University for most of his career. Although his contributions to original research were li ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Varignon Parallelogram
Varignon's theorem is a statement in Euclidean geometry, that deals with the construction of a particular parallelogram, the Varignon parallelogram, from an arbitrary quadrilateral (quadrangle). It is named after Pierre Varignon, whose proof was published posthumously in 1731. Theorem The midpoints of the sides of an arbitrary quadrilateral form a parallelogram. If the quadrilateral is convex or concave (not complex), then the area of the parallelogram is half the area of the quadrilateral. If one introduces the concept of oriented areas for ''n''-gons, then this area equality also holds for complex quadrilaterals. Coxeter, H. S. M. and Greitzer, S. L. "Quadrangle; Varignon's theorem" §3.1 in Geometry Revisited. Washington, DC: Math. Assoc. Amer., pp. 52–54, 1967. The Varignon parallelogram exists even for a skew quadrilateral, and is planar whether the quadrilateral is planar or not. The theorem can be generalized to the midpoint polygon of an arbitrary polygon. Pro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Midsquare Quadrilateral
In Euclidean geometry, an equidiagonal quadrilateral is a convex quadrilateral whose two diagonals have equal length. Equidiagonal quadrilaterals were important in ancient Indian mathematics, where quadrilaterals were classified first according to whether they were equidiagonal and then into more specialized types. Special cases Examples of equidiagonal quadrilaterals include the isosceles trapezoids, rectangles and squares. Among all quadrilaterals, the shape that has the greatest ratio of its perimeter to its diameter is an equidiagonal kite with angles π/3, 5π/12, 5π/6, and 5π/12. Characterizations A convex quadrilateral is equidiagonal if and only if its Varignon parallelogram, the parallelogram formed by the midpoints of its sides, is a rhombus. An equivalent condition is that the bimedians of the quadrilateral (the diagonals of the Varignon parallelogram) are perpendicular. A convex quadrilateral with diagonal lengths p and q and bimedian lengths m and n is equidiag ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
