Prove that there exists an ellipsoid touching all edges of an octahedron if and only if the octahedron's diagonals intersect. (Here an octahedron is a polyhedron consisting of eight triangular faces, twelve edges, and six vertices such that four faces meat at each vertex. The diagonals of an octahedron are the lines connecting pairs of vertices not connected by an edge).
Problem
Source: Israel Autumn 2016 TST1/3
Tags: geometry, conics, 3D geometry, octahedron
08.08.2019 16:01
06.10.2024 00:49
Let \(ABCDEF\) be the octahedron so that \(AD, BE, CF\) are its diagonals. "Only if" part First we will prove the only if part. Since ellipsoid is the affine image of sphere we may assume that the given ellipsoid is the sphere \(\Gamma\). Let \(T_e\) be the point of tangency of \(\Gamma\) with edge \(e\). Let \(X\) be the point on the line \(AD\) (but not segment \(AD\), maybe at infinity) such that \(AX/XD = AT_{AB}/T_{BD}D\). By Menelaus for \(ABD\) we get that \(T_{AB}, T_{BD}, X\) are collinear. Similarly \(T_{AE}, T_{ED}, X\) are collinear. Hence \(T_{AB}, T_{BD}, T_{DE}, T_{EA}\) are coplanar and since they lie on \(\Gamma\) they also lie on a circle \(\omega\). Note that there is a point \(Y\) (maybe at infinity) such that the cone with vertex \(Y\) tangent to \(\Gamma\) touches it through circle \(\omega\). We aim to prove that \(A, B, D, E\) are coplanar. Then \(AD\) and \(BE\) will intersect. Similarly \(AD\) and \(CF\), \(BE\) and \(CF\) will intersect too. And since \(AD, BE, CF\) are not coplanar it will follow that they are concurrent. Let \(\gamma_A\) be the circle through which the cone with vertex \(A\) touches \(\Gamma\). Similarly define circles for other vertices of the octahedron.
). It follows that the planes of circles \(\gamma_A, \gamma_B, \gamma_D, \gamma_E\) pass through \(Y\), as desired. "If" part Now we prove the converse, that is, if the diagonals concur at a point \(P\) then there is an ellipsoid touching the edges. It is not difficult to check that the four intersection lines of the opposite faceplanes of octahedron lie in a plane \(\pi\) iff the diagonals concur (for example, use Desargues' theorem for an opposite pair of faces). Hence in our case the plane \(\pi\) exists. Send it to infinity. Then the diagonal quadrilaterals \(ABDE\) etc. become parallelograms. Hence the diagonals are halved by \(P\). Consider the affine transformation making \(AD, BE, CF\) pairwise perpendicular and scaling them to equal lengths. Then our octahedron becomes a regular octahedron which obviously has a sphere tangent to its edges. Its preimage will be the desired ellipsoid.
06.10.2024 04:49
Are the two foci isogonal conjugates in the octahedron?
06.10.2024 10:44
qwerty123456asdfgzxcvb wrote: Are the two foci isogonal conjuagtes in the octahedron? In fact not any ellipsoid has foci. Only the prolate spheroid, namely the ellipsoid obtained by rotating an ellipse around its major axis, has foci. Even if the ellipsoid touching the edges of octahedron \(\mathcal P\) had foci, they would not necessarily have to be isogonal conjugates. If they always were isogonal conjugates, then so had to be the case when the ellipsoid is a sphere \(\Gamma\). That is, its center would have to be self-isogonal conjugate, i.e. lie on the bisectors of all the dihedral angles of \(\mathcal P\). This is equivalent to the equality of the incircles of the faces of \(\mathcal P\), since they are the intersections of faces by \(\Gamma\). However, these face incircles do not have to be equal at all. To check that consider a square \(ABDE\) with center \(O\) and a sphere \(\Gamma\) passing through its incircle but whose center is not \(O\). Then there are points \(C, F\) on the line through \(O\) perpendicular to \(ABDE\) so that the segments joining \(C, F\) with \(A, B, D, E\) touch \(\Gamma\). However in octahedron \(ABCDEF\) the incircles of any face with vertex \(F\) and any face with vertex \(C\) are not equal. Probably you had confused the inscribed ellipsoid (i.e. touching the faces) with the ellipsoid touching the edges (semi-inscribed). It is indeed true that if a polyhedron has an inscribed ellipsoid, and it has foci, then they are isogonal conjugates. However in our case the octahedron has a semi-inscribed ellipsoid (in general with no foci).