Let B={v1,⋯,vn} be a basis of the inner product space V over K=R,C
Define
w1w2⋮ wk⋮ =v1=v2−⟨w1,w1⟩⟨w1,v2⟩w1=vk−i=1∑k−1⟨wi,wi⟩⟨wi,vk⟩wi
Assuming that ⟨w1,cdost,wk−1⟩=⟨v1,⋯,vk−1⟩, the general form from above shows that
⟨w1,⋯,wk⟩=⟨w1,⋯wk−1,vk⟩=⋯=⟨v1,⋯,vk⟩
Assuming that {w1,⋯,wk−1} are orthogonal then for j<k
⟨wj,wk⟩=⟨wj,vk⟩−⟨wj,wj⟩⟨wj,vk⟩⟨wj,wj⟩=0
So by induction D={w1,⋯,wn} is orthogonal, spanning
Hence by Linear Independence of an Orthogonal Set then
D is an orthogonal basis
Define
ui=∣∣wi∣∣wi where ∣∣wi∣∣=⟨wi,wi⟩
Then
E={ui,⋯,un} is a orthonormal basis