Movatterモバイル変換

[0]ホーム

Jump to content

Theorem of the gnomon

Edit links

From Wikipedia, the free encyclopedia

Certain parallelograms occurring in a gnomon have areas of equal size

Gnomon: $A B F P G D {\displaystyle ABFPGD}$
Theorem of the Gnomon: green area = red area,
$|AHGD|=|ABFI|,\,|HBFP|=|IPGD|$

Gnomon: $A B F P G D {\displaystyle ABFPGD}$
Theorem of the Gnomon: green area = red area,
$|AHGD|=|ABFI|,\,|HBFP|=|IPGD|$

Thetheorem of the gnomon states that certainparallelograms occurring in agnomon haveareas of equal size.

Theorem

[edit]

In a parallelogram $A B C D {\displaystyle ABCD}$ with a point $P {\displaystyle P}$ on the diagonal $A C {\displaystyle AC}$ , the parallel to $A D {\displaystyle AD}$ through $P {\displaystyle P}$ intersects the side $C D {\displaystyle CD}$ in $G {\displaystyle G}$ and the side $A B {\displaystyle AB}$ in $H {\displaystyle H}$ . Similarly the parallel to the side $A B {\displaystyle AB}$ through $P {\displaystyle P}$ intersects the side $A D {\displaystyle AD}$ in $I {\displaystyle I}$ and the side $B C {\displaystyle BC}$ in $F {\displaystyle F}$ . Then the theorem of the gnomon states that the parallelograms $H B F P {\displaystyle HBFP}$ and $I P G D {\displaystyle IPGD}$ have equal areas.^[1]^[2]

Gnomon is the name for the L-shaped figure consisting of the two overlapping parallelograms $A B F I {\displaystyle ABFI}$ and $A H G D {\displaystyle AHGD}$ . The parallelograms of equal area $H B F P {\displaystyle HBFP}$ and $I P G D {\displaystyle IPGD}$ are calledcomplements (of the parallelograms on diagonal $P F C G {\displaystyle PFCG}$ and $A H P I {\displaystyle AHPI}$ ).^[3]

Proof

[edit]

The proof of the theorem is straightforward if one considers the areas of the main parallelogram and the two inner parallelograms around its diagonal:

first, the difference between the main parallelogram and the two inner parallelograms is exactly equal to the combined area of the two complements;
second, all three of them are bisected by the diagonal. This yields:^[4]

|IPGD|={\frac {|ABCD|}{2}}-{\frac {|AHPI|}{2}}-{\frac {|PFCG|}{2}}=|HBFP|

Applications and extensions

[edit]

geometrical representation of a division

Transferring the ratio of a partition of line segment AB to line segment HG: ${\tfrac {|AH|}{|HB|}}={\tfrac {|HP|}{|PG|}}$

{\displaystyle {\tfrac {|AH|}{|HB|}}={\tfrac {|HP|}{|PG|}}} — Transferring the ratio of a partition of line segment AB to line segment HG: ${\tfrac {|AH|}{|HB|}}={\tfrac {|HP|}{|PG|}}$

The theorem of the gnomon can be used to construct a new parallelogram or rectangle of equal area to a given parallelogram or rectangle by the means ofstraightedge and compass constructions. This also allows the representation of a division of two numbers in geometrical terms, an important feature to reformulate geometrical problems in algebraic terms. More precisely, if two numbers are given as lengths of line segments one can construct a third line segment, the length of which matches the quotient of those two numbers (see diagram). Another application is to transfer the ratio of partition of one line segment to another line segment (of different length), thus dividing that other line segment in the same ratio as a given line segment and its partition (see diagram).^[1]

$\mathbb {A}$ is the (lower) parallelepiped around the diagonal with $P {\displaystyle P}$ and its complements $\mathbb {B}$ , $\mathbb {C}$ and $\mathbb {D}$ have the same volume: $|\mathbb {B} |=|\mathbb {C} |=|\mathbb {D} |$

{\displaystyle \mathbb {A} } — $\mathbb {A}$ is the (lower) parallelepiped around the diagonal with $P {\displaystyle P}$ and its complements $\mathbb {B}$ , $\mathbb {C}$ and $\mathbb {D}$ have the same volume: $|\mathbb {B} |=|\mathbb {C} |=|\mathbb {D} |$

A similar statement can be made in three dimensions forparallelepipeds. In this case you have a point $P {\displaystyle P}$ on thespace diagonal of a parallelepiped, and instead of two parallel lines you have three planes through $P {\displaystyle P}$ , each parallel to the faces of the parallelepiped. The three planes partition the parallelepiped into eight smaller parallelepipeds; two of those surround the diagonal and meet at $P {\displaystyle P}$ . Now each of those two parallelepipeds around the diagonal has three of the remaining six parallelepipeds attached to it, and those three play the role of the complements and are of equalvolume (see diagram).^[2]

General theorem about nested parallelograms

[edit]

general theorem:
green area = blue area - red area

The theorem of the gnomon is special case of a more general statement about nested parallelograms with a common diagonal. For a given parallelogram $A B C D {\displaystyle ABCD}$ consider an arbitrary inner parallelogram $A F C E {\displaystyle AFCE}$ having $A C {\displaystyle AC}$ as a diagonal as well. Furthermore there are two uniquely determined parallelograms $G F H D {\displaystyle GFHD}$ and $I B J F {\displaystyle IBJF}$ the sides of which are parallel to the sides of the outer parallelogram and which share the vertex $F {\displaystyle F}$ with the inner parallelogram. Now the difference of the areas of those two parallelograms is equal to area of the inner parallelogram, that is:^[2]

|AFCE|=|GFHD|-|IBJF|

This statement yields the theorem of the gnomon if one looks at a degenerate inner parallelogram $A F C E {\displaystyle AFCE}$ whose vertices are all on the diagonal $A C {\displaystyle AC}$ . This means in particular for the parallelograms $G F H D {\displaystyle GFHD}$ and $I B J F {\displaystyle IBJF}$ , that their common point $F {\displaystyle F}$ is on the diagonal and that the difference of their areas is zero, which is exactly what the theorem of the gnomon states.

Historical aspects

[edit]

The theorem of the gnomon was described as early as inEuclid's Elements (around 300 BC), and there it plays an important role in the derivation of other theorems. It is given as proposition 43 in Book I of the Elements, where it is phrased as a statement about parallelograms without using the term "gnomon". The latter is introduced byEuclid as the second definition of the second book of Elements. Further theorems for which the gnomon and its properties play an important role are proposition 6 in Book II, proposition 29 in Book VI and propositions 1 to 4 in Book XIII.^[5]^[4]^[6]

References

[edit]

^^a ^bHalbeisen, Lorenz; Hungerbühler, Norbert; Läuchli, Juan (2016),Mit harmonischen Verhältnissen zu Kegelschnitten: Perlen der klassischen Geometrie, Springer, pp. 190–191,ISBN 9783662530344
^^a ^b ^cHazard, William J. (1929), "Generalizations of the Theorem of Pythagoras and Euclid's Theorem of the Gnomon",The American Mathematical Monthly,36 (1):32–34,doi:10.1080/00029890.1929.11986904,JSTOR 2300175
^Tropfke, Johannes (2011-10-10),Ebene Geometrie (in German), Walter de Gruyter, pp. 134–135,ISBN 978-3-11-162693-2
^^a ^bHerz-Fischler, Roger (2013-12-31),A Mathematical History of the Golden Number, Courier Corporation, pp. 35–36,ISBN 978-0-486-15232-5
^Vighi, Paolo; Aschieri, Igino (2010), "From Art to Mathematics in the Paintings of Theo van Doesburg", in Vittorio Capecchi; Massimo Buscema; Pierluigi Contucci; Bruno D'Amore (eds.),Applications of Mathematics in Models, Artificial Neural Networks and Arts, Springer, pp. 601–610, esp. pp. 603–606,ISBN 9789048185818
^Evans, George W. (1927), "Some of Euclid's Algebra",The Mathematics Teacher,20 (3):127–141,doi:10.5951/MT.20.3.0127,JSTOR 27950916

External links

[edit]

Wikimedia Commons has media related toGnomons (geometry).

Theorem of the gnomon andDefinition of the gnomon inEuclid's Elements

Ancient Greek mathematics

Mathematicians
(timeline)

Treatises

Concepts
and definitions

Results

InElements	Angle bisector theorem Exterior angle theorem Euclidean algorithm Euclid's theorem Geometric mean theorem Hinge theorem Inscribed angle theorem Intercept theorem Intersecting chords theorem Intersecting secants theorem Law of cosines Pons asinorum Pythagorean theorem Tangent-secant theorem Thales's theorem Theorem of the gnomon

Centers/Schools

Ancient Greek astronomy Attic numerals Greek numerals
History of	A History of Greek Mathematics byThomas Heath Archimedes Palimpsest algebra timeline arithmetic timeline calculus timeline geometry timeline logic timeline mathematics timeline numbers prehistoric counting numeral systems list
Other cultures	Arabian/Islamic Babylonian Chinese Egyptian Incan Indian Japanese

Ancient Greece portal • Mathematics portal

Retrieved from "https://en.wikipedia.org/w/index.php?title=Theorem_of_the_gnomon&oldid=1283305151"

Categories:

Hidden categories:

[8]ページ先頭