IMO 1979 LL BUL11

Prove that a pyramid A1A2 . . . A2k+1S with equal lateral edges

IMO 1979 LL BUL11

Origin: BUL

Problem

Prove that a pyramid A1A2 . . . A2k+1S with equal lateral edges and equal space angles between adjacent lateral walls is regular. Variant. Prove that a pyramid A1 . . . A2k+1S with equal space angles between adjacent lateral walls is regular if there exists a sphere tangent to all its edges.