# Dissecting an Equilateral Triangle into Four Equilateral Triangles

Requires a Wolfram Notebook System

Interact on desktop, mobile and cloud with the free Wolfram CDF Player or other Wolfram Language products.

Requires a Wolfram Notebook System

Edit on desktop, mobile and cloud with any Wolfram Language product.

This Demonstration shows Collison's dissection of an equilateral triangle into four equilateral triangles using the identity .

Contributed by: Izidor Hafner (April 2013)

Open content licensed under CC BY-NC-SA

## Snapshots

## Details

This is an example of applying Lagrange's four-square theorem, which states that every positive integer can be written as the sum of at most four squares. The first published proof was given by Lagrange (1736–1813) in 1770.

Reference

[1] G. N. Frederickson, *Dissections: Plane & Fancy*, New York: Cambridge University Press, 2002 p. 96.