Solving equations involving vertical angles