The sum of all the internal angles of any octagon is 1080°. As with all polygons, the external angles total 360°.
If squares are constructed all internally or all externally on the sides of an octagon, then the midpoints of the segments connecting the centers of opposite squares form a quadrilateral that is both equidiagonal and orthodiagonal (that is, whose diagonals are equal in length and at right angles to each other).:Prop. 9
The midpoint octagon of a reference octagon has its eight vertices at the midpoints of the sides of the reference octagon. If squares are constructed all internally or all externally on the sides of the midpoint octagon, then the midpoints of the segments connecting the centers of opposite squares themselves form the vertices of a square.:Prop. 10
where S is the span of the octagon, or the second-shortest diagonal; and a is the length of one of the sides, or bases. This is easily proven if one takes an octagon, draws a square around the outside (making sure that four of the eight sides overlap with the four sides of the square) and then takes the corner triangles (these are 45–45–90 triangles) and places them with right angles pointed inward, forming a square. The edges of this square are each the length of the base.
More often the span S is known, and the length of the sides, a, is to be determined, as when cutting a square piece of material into a regular octagon. From the above,
(that is one-half the silver ratio times the side, a, or one-half the span, S)
The regular octagon, in terms of the side length a, has three different types of diagonals:
The formula for each of them follows from the basic principles of geometry. Here are the formulas for their length:
A regular octagon at a given circumcircle may be constructed as follows:
The regular octagon can be constructed with meccano bars. Twelve bars of size 4, three bars of size 5 and two bars of size 6 are required.
Each side of a regular octagon subtends half a right angle at the centre of the circle which connects its vertices. Its area can thus be computed as the sum of 8 isosceles triangles, leading to the result:
The coordinates for the vertices of a regular octagon centered at the origin and with side length 2 are:
Coxeter states that every zonogon (a 2m-gon whose opposite sides are parallel and of equal length) can be dissected into m(m-1)/2 parallelograms. In particular this is true for regular polygons with evenly many sides, in which case the parallelograms are all rhombi. For the regular octagon, m=4, and it can be divided into 6 rhombs, with one example shown below. This decomposition can be seen as 6 of 24 faces in a Petrie polygon projection plane of the tesseract. The list (sequence in the OEIS) defines the number of solutions as 8, by the 8 orientations of this one dissection. These squares and rhombs are used in the Ammann–Beenker tilings.
A skew octagon is a skew polygon with 8 vertices and edges but not existing on the same plane. The interior of such an octagon is not generally defined. A skew zig-zag octagon has vertices alternating between two parallel planes.
A regular skew octagon is vertex-transitive with equal edge lengths. In 3-dimensions it will be a zig-zag skew octagon and can be seen in the vertices and side edges of a square antiprism with the same D4d, [2+,8] symmetry, order 16.
The regular octagon has Dih8 symmetry, order 16. There are 3 dihedral subgroups: Dih4, Dih2, and Dih1, and 4 cyclic subgroups: Z8, Z4, Z2, and Z1, the last implying no symmetry.
On the regular octagon, there are 11 distinct symmetries. John Conway labels full symmetry as r16. The dihedral symmetries are divided depending on whether they pass through vertices (d for diagonal) or edges (p for perpendiculars) Cyclic symmetries in the middle column are labeled as g for their central gyration orders. Full symmetry of the regular form is r16 and no symmetry is labeled a1.
The most common high symmetry octagons are p8, an isogonal octagon constructed by four mirrors can alternate long and short edges, and d8, an isotoxal octagon constructed with equal edge lengths, but vertices alternating two different internal angles. These two forms are duals of each other and have half the symmetry order of the regular octagon.
Each subgroup symmetry allows one or more degrees of freedom for irregular forms. Only the g8 subgroup has no degrees of freedom but can seen as directed edges.
The octagonal shape is used as a design element in architecture. The Dome of the Rock has a characteristic octagonal plan. The Tower of the Winds in Athens is another example of an octagonal structure. The octagonal plan has also been in church architecture such as St. George's Cathedral, Addis Ababa, Basilica of San Vitale (in Ravenna, Italia), Castel del Monte (Apulia, Italia), Florence Baptistery, Zum Friedefürsten Church (Germany) and a number of octagonal churches in Norway. The central space in the Aachen Cathedral, the Carolingian Palatine Chapel, has a regular octagonal floorplan. Uses of octagons in churches also include lesser design elements, such as the octagonal apse of Nidaros Cathedral.
Architects such as John Andrews have used octagonal floor layouts in buildings for functionally separating office areas from building services, notably the Intelsat Headquarters in Washington D.C., Callam Offices in Canberra, and Octagon Offices in Parramatta, Australia.
As an expanded square, it is also first in a sequence of expanded hypercubes: