sinACB=(1+√7)/4じゃねーの?