>>11　cos(x+φ)=2/√(85),
θ=arccos(x)は主値 0≦θ≦π をとる一価関数とすれば、
整数nについて φ=arccos(7/√(85))±2πn, よって、
x=-arccos(7/√(85))±arccos(2/√(85))±2πn（複号任意）

と思いきや、 >>15 がすごい。
有名なピタゴラス三角形２つを一つの式で表したってことなのか。
深イイ話