直角边6,75直角边与斜边的夹角二十度请问另一个直角边是多长怎样算的