  The chord length probability density of the regular octahedron is explicitly
evaluated throughout its full range of distances by separating it into three
contributions respectively due to the pairs of facets opposite to each other or
sharing an edge or a vertex.
