>>451
(a+b)・(a-b)
= |a|^2 - |b|^2
= |a|^2-1 でもあるから
|a|^2-1 = |a+b||a-b|/2 、
あとは両辺二乗してa・b = |a|/2 と |b|=1を使ってbを消せば|a|の式が出てくる。