近似を潔しとしない人はという制約式をという形の式の一つで置き換えれば良い。ここにであり、が仮定される。Higham [2002], Lemma 3.1 を参照。
この場合に良く使われるのはガウス消去法の変形であるコレスキー法(Cholesky's method)である。