>>626さん、ありがとうございます。いただいたソースを元にファイル出力プログラムを作ってみたのですが、やっぱり力が及ばなく・・・
こちらも教えていただけないでしょうか。mainの中身を少しいじったものがこちらです。

int main(int argc, char** argv)
{
FILE *fout;
double x, v, dx;
int t = 0;

　　　　（中略）

}

fout =fopen("diskfile", "w");
fprintf(stderr,"end %s.\n", "diskfile");

fprintf(fout, "t\tv\tx\n");
fprintf(fout, "%d\t%g\t%g\n", t, v, x);

for (; t < LOOP; ++t) {
scanf("%lf %lf %lf",&t ,&v ,&x);
fprintf(fout, "%d\t%g\t%g\n", t+1, v, x);
}

fclose(fout);
exit (0);

return 0;
}