求证:sin10*sin80=sin20*sin30