Dissecting an Equilateral Triangle into Four Equilateral Triangles

Initializing live version
Download to Desktop

Requires a Wolfram Notebook System

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

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



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.


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

Feedback (field required)
Email (field required) Name
Occupation Organization
Note: Your message & contact information may be shared with the author of any specific Demonstration for which you give feedback.