MathDB
Easy 3d geometry from All-Russian olympiad

Source: All-Russian 2021/11.6

April 20, 2021
geometry3D geometrytetrahedronperpendicular bisector

Problem Statement

In tetrahedron ABCSABCS no two edges have equal length. Point AA' in plane BCSBCS is symmetric to SS with respect to the perpendicular bisector of BCBC. Points BB' and CC' are defined analagously. Prove that planes ABC,ABC,ABCABC, AB'C', A'BC' abd ABCA'B'C share a common point.