MathDB
Regular octahedron - equal angles

Source: Austrian Federal Competition 2013, part 2, problem 6

June 18, 2013
geometry3D geometryoctahedronspheregeometry proposed

Problem Statement

Consider a regular octahedron ABCDEFABCDEF with lower vertex EE, upper vertex FF, middle cross-section ABCDABCD, midpoint MM and circumscribed sphere kk. Further, let XX be an arbitrary point inside the face ABFABF. Let the line EXEX intersect kk in EE and ZZ, and the plane ABCDABCD in YY. Show that EMZ=EYF\sphericalangle{EMZ}=\sphericalangle{EYF}.