请教两道C语言题

1.编写一个函数fun（），根据给定的三角形三条边长a，b，c，函数返回三角形的面积。

2.编写一个函数验证2000以内的哥德巴赫猜想。对于任何大于4的偶数均可以分解为两个素数之和。

第一题:

#include <stdio.h>
#include <math.h>
float fun(float a,float b,float c) //fun函数. 根据边长a b c返回三角形面积.
{
float p=(a+b+c)/2; //的确.. 忘写了.. 感谢楼下的提醒
p=sqrt(p*(p-a)*(p-b)*(p-c));
return p;
}
void main() //输入三角形边长. 调用函数.输出面积
{
float a,b,c,area;
scanf("%f%f%f",&a,&b,&c);
area=fun(a,b,c);
printf("area=%f\n",area);
}

第二题:

#include <stdio.h>
#include <math.h>
int prime(int n) //判断素数.是返回1.不是返回0;
{
int i,k=sqrt(n);
for(i=2;i<=k;i++)
{
if(n%i==0)
break;
}
if(i>k) return 1;
else return 0;
}
void main()
{
int i,a,b,n; //n作为标志位.
for(i=6;i<=2000;i+=2) //因为判断偶数.所以i的步长为2.奇数不判断.
{
for(a=2;a<i;a++) //循环求组成该偶数的两个素数.
{
if(prime(a)) //先求出组成该偶数的第一个素数.
{
n=0; //对每个偶数的判断都将其初始化为0;
b=i-a; //第二个素数就等于该数减去第一个素数.
if(prime(b))
{
n=1; //d当该偶数的确是由两个素数组成,则将n置1;
break; //退出当前for(a)循环.
}
}
}
if(!n) //如果for(a)循环结束后,n的值还是0,说明该偶数不是由两个素数组成.
{
break; //就退出for(i)循环.
}

}
if(n) //根据n的值,判断验证是否正确.
printf("is right!\n");
else
printf("is error\n");
}

楼上的，我想说你的第一道题目有点问题，float p=(a+b+c);应该是float p=(a+b+c)/2;