已知一个直角三角形.两个直角边都知道.短边是400长边是4000.求长的直角边的夹角