|
Pitot Theorem
In geometry, the Pitot theorem, named after the French engineer Henri Pitot, states that in a tangential quadrilateral (i.e. one in which a circle can be inscribed) the two sums of lengths of opposite sides are the same. Both sums of lengths equal the semiperimeter of the quadrilateral. The theorem is a logical consequence of the fact that two tangent line segments from a point outside the circle to the circle have equal lengths. There are four equal pairs of tangent segments, and both sums of two sides can be decomposed into sums of these four tangent segment lengths. The converse implication is also true: a circle can be inscribed into every convex quadrilateral in which the lengths of opposite sides sum to the same value.. See in particular pp. 65–66. Henri Pitot proved his theorem in 1725, whereas the converse was proved by the Swiss mathematician Jakob Steiner Jakob Steiner (18 March 1796 – 1 April 1863) was a Swiss mathematician who worked primarily in geomet ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pitot Theorem
In geometry, the Pitot theorem, named after the French engineer Henri Pitot, states that in a tangential quadrilateral (i.e. one in which a circle can be inscribed) the two sums of lengths of opposite sides are the same. Both sums of lengths equal the semiperimeter of the quadrilateral. The theorem is a logical consequence of the fact that two tangent line segments from a point outside the circle to the circle have equal lengths. There are four equal pairs of tangent segments, and both sums of two sides can be decomposed into sums of these four tangent segment lengths. The converse implication is also true: a circle can be inscribed into every convex quadrilateral in which the lengths of opposite sides sum to the same value.. See in particular pp. 65–66. Henri Pitot proved his theorem in 1725, whereas the converse was proved by the Swiss mathematician Jakob Steiner Jakob Steiner (18 March 1796 – 1 April 1863) was a Swiss mathematician who worked primarily in geomet ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is called a ''geometer''. Until the 19th century, geometry was almost exclusively devoted to Euclidean geometry, which includes the notions of point, line, plane, distance, angle, surface, and curve, as fundamental concepts. During the 19th century several discoveries enlarged dramatically the scope of geometry. One of the oldest such discoveries is Carl Friedrich Gauss' ("remarkable theorem") that asserts roughly that the Gaussian curvature of a surface is independent from any specific embedding in a Euclidean space. This implies that surfaces can be studied ''intrinsically'', that is, as stand-alone spaces, and has been expanded into the theory of manifolds and Riemannian geometry. Later in the 19th century, it appeared that geometries ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Henri Pitot
Henri Pitot (; May 3, 1695 – December 27, 1771) was a French hydraulic engineer and the inventor of the pitot tube. In a pitot tube, the height of the fluid column is proportional to the square of the velocity of the fluid at the depth of the inlet to the pitot tube. This relationship was discovered by Henri Pitot in 1732, when he was assigned the task of measuring the flow in the river Seine. He rose to fame with the design of the Aqueduc de Saint-Clément near Montpellier (the construction lasted thirteen years), and the extension of Pont du Gard in Nîmes. In 1724, he became a member of the French Academy of Sciences, and in 1740 a fellow of the Royal Society. The Pitot theorem of plane geometry is named after him. Rue Henri Pitot in Carcassonne Carcassonne (, also , , ; ; la, Carcaso) is a French fortified city in the department of Aude, in the region of Occitanie. It is the prefecture of the department. Inhabited since the Neolithic, Carcassonne is located in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tangential Quadrilateral
In Euclidean geometry, a tangential quadrilateral (sometimes just tangent quadrilateral) or circumscribed quadrilateral is a convex quadrilateral whose sides all can be tangent to a single circle within the quadrilateral. This circle is called the incircle of the quadrilateral or its inscribed circle, its center is the ''incenter'' and its radius is called the ''inradius''. Since these quadrilaterals can be drawn surrounding or circumscribing their incircles, they have also been called ''circumscribable quadrilaterals'', ''circumscribing quadrilaterals'', and ''circumscriptible quadrilaterals''. Tangential quadrilaterals are a special case of tangential polygons. Other less frequently used names for this class of quadrilaterals are ''inscriptable quadrilateral'', ''inscriptible quadrilateral'', ''inscribable quadrilateral'', ''circumcyclic quadrilateral'', and ''co-cyclic quadrilateral''.. Due to the risk of confusion with a quadrilateral that has a circumcircle, which is called a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Circle
A circle is a shape consisting of all points in a plane that are at a given distance from a given point, the centre. Equivalently, it is the curve traced out by a point that moves in a plane so that its distance from a given point is constant. The distance between any point of the circle and the centre is called the radius. Usually, the radius is required to be a positive number. A circle with r=0 (a single point) is a degenerate case. This article is about circles in Euclidean geometry, and, in particular, the Euclidean plane, except where otherwise noted. Specifically, a circle is a simple closed curve that divides the plane into two regions: an interior and an exterior. In everyday use, the term "circle" may be used interchangeably to refer to either the boundary of the figure, or to the whole figure including its interior; in strict technical usage, the circle is only the boundary and the whole figure is called a '' disc''. A circle may also be defined as a special ki ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semiperimeter
In geometry, the semiperimeter of a polygon is half its perimeter. Although it has such a simple derivation from the perimeter, the semiperimeter appears frequently enough in formulas for triangles and other figures that it is given a separate name. When the semiperimeter occurs as part of a formula, it is typically denoted by the letter ''s''. Triangles The semiperimeter is used most often for triangles; the formula for the semiperimeter of a triangle with side lengths ''a'', ''b'', and ''c'' is :s = \frac. Properties In any triangle, any vertex and the point where the opposite excircle touches the triangle partition the triangle's perimeter into two equal lengths, thus creating two paths each of which has a length equal to the semiperimeter. If A, B, C, A', B', and C' are as shown in the figure, then the segments connecting a vertex with the opposite excircle tangency (AA', BB', and CC', shown in red in the diagram) are known as splitters, and s = , AB, +, A'B, =, AB, +, AB' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logical Consequence
Logical consequence (also entailment) is a fundamental concept in logic, which describes the relationship between statements that hold true when one statement logically ''follows from'' one or more statements. A valid logical argument is one in which the conclusion is entailed by the premises, because the conclusion is the consequence of the premises. The philosophical analysis of logical consequence involves the questions: In what sense does a conclusion follow from its premises? and What does it mean for a conclusion to be a consequence of premises?Beall, JC and Restall, Greg, Logical Consequence' The Stanford Encyclopedia of Philosophy (Fall 2009 Edition), Edward N. Zalta (ed.). All of philosophical logic is meant to provide accounts of the nature of logical consequence and the nature of logical truth. Logical consequence is necessary and formal, by way of examples that explain with formal proof and models of interpretation. A sentence is said to be a logical conse ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Converse Implication
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] |
Jakob Steiner
Jakob Steiner (18 March 1796 – 1 April 1863) was a Swiss mathematician who worked primarily in geometry. Life Steiner was born in the village of Utzenstorf, Canton of Bern. At 18, he became a pupil of Heinrich Pestalozzi and afterwards studied at Heidelberg. Then, he went to Berlin, earning a livelihood there, as in Heidelberg, by tutoring. Here he became acquainted with A. L. Crelle, who, encouraged by his ability and by that of Niels Henrik Abel, then also staying at Berlin, founded his famous ''Journal'' (1826). After Steiner's publication (1832) of his ''Systematische Entwickelungen'' he received, through Carl Gustav Jacob Jacobi, who was then professor at Königsberg University, and earned an honorary degree there; and through the influence of Jacobi and of the brothers Alexander and Wilhelm von Humboldt a new chair of geometry was founded for him at Berlin (1834). This he occupied until his death in Bern on 1 April 1863. He was described by Thomas Hirst as follows: ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tangent Lines To Circles
In geometry, the tangent line (or simply tangent) to a plane curve at a given point is the straight line that "just touches" the curve at that point. Leibniz defined it as the line through a pair of infinitely close points on the curve. More precisely, a straight line is said to be a tangent of a curve at a point if the line passes through the point on the curve and has slope , where ''f'' is the derivative of ''f''. A similar definition applies to space curves and curves in ''n''-dimensional Euclidean space. As it passes through the point where the tangent line and the curve meet, called the point of tangency, the tangent line is "going in the same direction" as the curve, and is thus the best straight-line approximation to the curve at that point. The tangent line to a point on a differentiable curve can also be thought of as a '' tangent line approximation'', the graph of the affine function that best approximates the original function at the given point. Similarly, t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
