a := [a b c]⊤ にたいして
A := aa⊤ は対称行列になる.
A から a を求めるには？（ただし, a の −1 倍の不定性は無視するとする）
A の対角要素 diag(A) = [α β γ] は a の要素の平方。これらの平方根の符号が求められればいい.
上三角行列の要素 A_12 = ab, A_23 = bc, A_13 = ca の正負を考えると,
- 全て正: a, b, c は同符号
- A_12 のみ正: c のみ異符号
- A_23 のみ正: a のみ異符号
- A_13 のみ正: b のみ異符号
のいずれかに分類できる。修正: a と b が逆だった。
追記: 特に, a を正にすれば, b, c はそれぞれ A_12, A13 の符号と一致する.
