In mathematics, specifically geometry, Cross's theorem, also known as Vecten's theorem, equates the area of a triangle to the area of each of the triangles formed by squares drawn along its sides.
Let be a triangle in the Euclidean plane. Suppose squares , , and are drawn on the outside of . Then the areas of the four triangles , , , and are equal.
Rotate by a right angle, such that coincides with , and let this new triangle be . It is clear that , and that , , and are collinear. Therefore, the areas of triangles and are equal. Since is simply a rotation of , it follows that and have the same area. Similar arguments prove the equality of all four areas.
Observe that and are supplementary. Therefore, we have<blockquote></blockquote>as desired. Similar arguments show all four areas are equal.
The theorem is named after David Cross, who discovered it around 2004. This configuration was also studied independently by Vecten, and consequently the theorem may also be called Vecten's theorem. However, the name "Vecten's theorem" is more commonly used for the theorem stating the existence of the Vecten points of a triangle.