IMO 1986 LL USS80

Origin: USS

Problem

Let ABCD be a tetrahedron and O its incenter, and let the line OD be perpendicular to AD. Find the angle between the planes DOB and DOC.