关于直角三角形画图已知直角三角形,一锐角等于12.5°,斜边为10CM问两条直角边分别长度为多少?