A formula for inserting point masses

Let dμ be a probability measure on the unit circle and dν be the measure formed by adding a pure point to dμ. We give a formula for the Verblunsky coefficients of dν, based on a result of Simon.