>>753
a^2+b^2=1,c^2+d^2=1,ac+bd=1
だけの条件から、a=c, b=dが出る。