then prove that sec = l^2+1/2l