三角 関数 正弦 定理星の源氏物語奪われた花嫁