<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Abstract_rewriting_machine</id>
	<title>Abstract rewriting machine - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Abstract_rewriting_machine"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Abstract_rewriting_machine&amp;action=history"/>
	<updated>2026-04-10T12:53:36Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.43.0-wmf.28</generator>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Abstract_rewriting_machine&amp;diff=14744&amp;oldid=prev</id>
		<title>en&gt;Phil Boswell: expand references using {{cite doi}}</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Abstract_rewriting_machine&amp;diff=14744&amp;oldid=prev"/>
		<updated>2012-07-12T10:19:40Z</updated>

		<summary type="html">&lt;p&gt;expand references using {{cite doi}}&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;[[File:De_gua_theorem_1.svg|thumb|upright=1.4|tetrahedron with a right-angle corner in O]]&lt;br /&gt;
&amp;#039;&amp;#039;&amp;#039;De Gua&amp;#039;s theorem&amp;#039;&amp;#039;&amp;#039; is a three-dimensional analog of the [[Pythagorean theorem]] and named for [[Jean Paul de Gua de Malves]].  &lt;br /&gt;
&lt;br /&gt;
If a [[tetrahedron]] has a right-angle corner (like the corner of a [[cube (geometry)|cube]]), then the square of the area of the face opposite the right-angle corner is the sum of the squares of the areas of the other three faces.&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt; A_{ABC}^2 = A_{\color {blue} ABO}^2+A_{\color {green} ACO}^2+A_{\color {red} BCO}^2 &amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
The [[Pythagorean theorem]] and de Gua&amp;#039;s theorem are special cases (&amp;#039;&amp;#039;n&amp;#039;&amp;#039;&amp;amp;nbsp;=&amp;amp;nbsp;2,&amp;amp;nbsp;3) of a [[simplex#Simplexes with an &amp;quot;orthogonal corner&amp;quot;|general theorem]] about [[simplex|&amp;#039;&amp;#039;n&amp;#039;&amp;#039;-simplices]] with a [[right angle]] corner.&lt;br /&gt;
&lt;br /&gt;
Jean Paul de Gua de Malves (1713&amp;amp;ndash;85) published the theorem in 1783, but around the same time a slightly more general version was published by another French mathematician, &amp;#039;&amp;#039;Tinseau d&amp;#039;Amondans&amp;#039;&amp;#039; (1746&amp;amp;ndash;1818), as well. However the theorem had been known much earlier to [[Johann Faulhaber]] (1580&amp;amp;ndash;1635) and [[René Descartes]] (1596&amp;amp;ndash;1650).&amp;lt;ref&amp;gt;{{MathWorld|title=de Gua&amp;#039;s theorem|urlname=deGuasTheorem}}&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt;Hans-Bert Knoop: &amp;#039;&amp;#039;Ausgewählte Kapitel zur Geschichte der Mathematik&amp;#039;&amp;#039;. Lecture Notes (University of Düsseldorf), p. 55  ([http://www.uni-due.de/~hn213me/mt/s08/geschichte/par04.pdf &amp;#039;&amp;#039;§ 4 Pythagoreische n-Tupel&amp;#039;&amp;#039;, p. 50-65]) (German)&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Notes==&lt;br /&gt;
&amp;lt;References/&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
* {{MathWorld|title=de Gua&amp;#039;s theorem|urlname=deGuasTheorem}}&lt;br /&gt;
* Sergio A. Alvarez: [http://www.cs.bc.edu/~alvarez/NDPyt.pdf &amp;#039;&amp;#039;Note on an n-dimensional Pythagorean theorem&amp;#039;&amp;#039;], Carnegie Mellon University.&lt;br /&gt;
*[http://www.gogeometry.com/solid/gua_theorem.htm  &amp;#039;&amp;#039;De Gua&amp;#039;s Theorem, Pythagorean theorem in 3-D&amp;#039;&amp;#039;] &amp;amp;mdash; Graphical illustration and related properties of the tetrahedron.&lt;br /&gt;
&lt;br /&gt;
== Further reading ==&lt;br /&gt;
* {{cite journal |last1=Kheyfits |first1=Alexander |year=2004 |title=The Theorem of Cosines for Pyramids |journal=The College Mathematics Journal |publisher=Mathematical Association of America |volume=35 |issue=5 |pages=385–388 |jstor=4146849}} Proof of de Gua&amp;#039;s theorem and of generalizations to arbitrary tetrahedra and to pyramids.&lt;br /&gt;
&lt;br /&gt;
{{DEFAULTSORT:De Gua&amp;#039;S Theorem}}&lt;br /&gt;
[[Category:Theorems in geometry]]&lt;br /&gt;
[[Category:Euclidean geometry]]&lt;/div&gt;</summary>
		<author><name>en&gt;Phil Boswell</name></author>
	</entry>
</feed>