|
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 quadrilaterals that are also equidiagonal quadrilaterals are called midsquare quadrilaterals. Characterizations For any orthodiagonal quadrilateral, the sum of the squares of two opposite sides equals that of the other tw ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Square (geometry)
In geometry, a square is a regular quadrilateral. It has four straight sides of equal length and four equal angles. Squares are special cases of rectangles, which have four equal angles, and of rhombuses, which have four equal sides. As with all rectangles, a square's angles are right angles (90 degrees, or /2 radians), making adjacent sides perpendicular. The area of a square is the side length multiplied by itself, and so in algebra, multiplying a number by itself is called squaring. Equal squares can tile the plane edge-to-edge in the square tiling. Square tilings are ubiquitous in tiled floors and walls, graph paper, image pixels, and game boards. Square shapes are also often seen in building floor plans, origami paper, food servings, in graphic design and heraldry, and in instant photos and fine art. The formula for the area of a square forms the basis of the calculation of area and motivates the search for methods for squaring the circle by compass and straightedge ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quadrilateral
In Euclidean geometry, geometry a quadrilateral is a four-sided polygon, having four Edge (geometry), edges (sides) and four Vertex (geometry), corners (vertices). The word is derived from the Latin words ''quadri'', a variant of four, and ''latus'', meaning "side". It is also called a tetragon, derived from Greek "tetra" meaning "four" and "gon" meaning "corner" or "angle", in analogy to other polygons (e.g. pentagon). Since "gon" means "angle", it is analogously called a quadrangle, or 4-angle. A quadrilateral with vertices A, B, C and D is sometimes denoted as \square ABCD. Quadrilaterals are either simple polygon, simple (not self-intersecting), or complex polygon, complex (self-intersecting, or crossed). Simple quadrilaterals are either convex polygon, convex or concave polygon, concave. The Internal and external angle, interior angles of a simple (and Plane (geometry), planar) quadrilateral ''ABCD'' add up to 360 Degree (angle), degrees, that is :\angle A+\angle B+\angle ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
If And Only If
In logic and related fields such as mathematics and philosophy, "if and only if" (often shortened as "iff") is paraphrased by the biconditional, a logical connective between statements. The biconditional is true in two cases, where either both statements are true or both are false. The connective is biconditional (a statement of material equivalence), and can be likened to the standard material conditional ("only if", equal to "if ... then") combined with its reverse ("if"); hence the name. The result is that the truth of either one of the connected statements requires the truth of the other (i.e. either both statements are true, or both are false), though it is controversial whether the connective thus defined is properly rendered by the English "if and only if"—with its pre-existing meaning. For example, ''P if and only if Q'' means that ''P'' is true whenever ''Q'' is true, and the only case in which ''P'' is true is if ''Q'' is also true, whereas in the case of ''P if Q ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Convex Polygon
In geometry, a convex polygon is a polygon that is the boundary of a convex set. This means that the line segment between two points of the polygon is contained in the union of the interior and the boundary of the polygon. In particular, it is a simple polygon (not self-intersecting). Equivalently, a polygon is convex if every line that does not contain any edge intersects the polygon in at most two points. Strictly convex polygon A convex polygon is ''strictly'' convex if no line contains more than two vertices of the polygon. In a convex polygon, all interior angles are less than ''or equal'' to 180 degrees, while in a strictly convex polygon all interior angles are strictly less than 180 degrees. Properties The following properties of a simple polygon are all equivalent to convexity: *Every internal angle is less than or equal to 180 degrees. *Every point on every line segment between two points inside or on the boundary of the polygon remains inside or on the bou ... [...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 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 have a mathematical existence as firm as that of the real numbers, and they are fundamental tools in 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 real or complex coefficie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proof By Contradiction
In logic, 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. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved. In this general sense, proof by contradiction is also known as indirect proof, proof by assuming the opposite, and ''reductio ad impossibile''. 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 ... [...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. Euclidean vectors can be added and scaled to form a vector space. A '' vector quantity'' is a vector-valued physical quantity, including units of measurement and possibly a support, formulated as a '' directed line segment''. A vector is frequently depicted graphically as an arrow connecting an ''initial point'' ''A'' with a ''terminal point'' ''B'', and denoted by \stackrel \longrightarrow. A vector is what is needed to "carry" the point ''A'' to the point ''B''; the Latin word 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 numbe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Law Of Cosines
In trigonometry, the law of cosines (also known as the cosine formula or cosine rule) relates the lengths of the sides of a triangle to the cosine of one of its angles. For a triangle with sides , , and , opposite respective angles , , and (see Fig. 1), the law of cosines states: \begin c^2 &= a^2 + b^2 - 2ab\cos\gamma, \\[3mu] a^2 &= b^2+c^2-2bc\cos\alpha, \\[3mu] b^2 &= a^2+c^2-2ac\cos\beta. \end The law of cosines generalizes the Pythagorean theorem, which holds only for right triangles: if is a right angle then , and the law of cosines special case, reduces to . The law of cosines is useful for solution of triangles, solving a triangle when all three sides or two sides and their included angle are given. Use in solving triangles The theorem is used in solution of triangles, i.e., to find (see Figure 3): *the third side of a triangle if two sides and the angle between them is known: c = \sqrt\,; *the angles of a triangle if the three sides are known: \gamma = \arccos\l ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Proof
A mathematical proof is a deductive reasoning, deductive Argument-deduction-proof distinctions, argument for a Proposition, 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 that establish logical certainty, to be distinguished from empirical evidence, empirical arguments or non-exhaustive inductive reasoning that 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 ... [...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 Material conditional, 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 (logic), 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 stateme ... [...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. The theorem can be written as an equation relating the lengths of the sides , and the hypotenuse , sometimes called the Pythagorean equation: :a^2 + b^2 = c^2 . The theorem is named for the Ancient Greece, Greek philosopher Pythagoras, born around 570 BC. The theorem has been Mathematical proof, proved numerous times by many different methods – possibly the most for any mathematical theorem. The proofs are diverse, including both Geometry, geometric proofs and Algebra, 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 th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
