直角三角形,已知一个角为12度20分,求这个角对角直边尺寸( 假设另一个直角边为1000 )