用c语言编写“设某卫星在天球坐标系中赤经a=117°、赤纬8=35°、向径r=22000000.000m，试计算天球空间直角坐标系的工、y、%,并验算反求赤经a、赤纬δ和向径r。”

在天球坐标系中，赤经a、赤纬δ和向径r可以转换为直角坐标系的x、y、z。转换公式如下：
```c
#include <math.h>
#define PI 3.14159265358979323846
#define DEG_TO_RAD (PI / 180)
#define RAD_TO_DEG (180 / PI)

void main() {
double a = 117; //赤经
double δ = 35; //赤纬
double r = 22000000.000; //向径

//将角度转换为弧度
a *= DEG_TO_RAD;
δ *= DEG_TO_RAD;

//计算x, y, z
double x = r * cos(δ) * cos(a);
double y = r * cos(δ) * sin(a);
double z = r * sin(δ);

printf("x: %f, y: %f, z: %f
", x, y, z);

//验算反求赤经a、赤纬δ和向径r
a = atan2(y, x);
δ = atan2(z, sqrt(x*x + y*y));
r = sqrt(x*x + y*y + z*z);

//将弧度转换为角度
a *= RAD_TO_DEG;
δ *= RAD_TO_DEG;

printf("a: %f, δ： %f, r: %f
", a, δ， r);
}
```
这段代码首先定义了赤经a、赤纬δ和向径r的值，然后将这些角度值转换为弧度值，接着使用上述公式计算出x、y、z的值，并打印出来。然后，它使用反向的公式来验证结果，并将弧度值转换回角度值，最后打印出验证的结果。