编写函数 area(a, b, c),返回以 a,b,c为三边的三角形面积。输入三角形三边，利用该函数求出三角形面积。要求程序中对输入的三边值做合法性判断。

在Python中，你可以编写一个名为`area`的函数，使用海伦公式来计算给定三边a、b、c组成的三角形面积。首先需要验证输入的三边是否能构成一个有效的三角形，即任意两边之和大于第三边。如果满足条件，可以按照下面的方式编写：

import math

def is_valid_triangle(a, b, c):
    return a + b > c and a + c > b and b + c > a

def area(a, b, c):
    # 验证输入
    if not is_valid_triangle(a, b, c):
        raise ValueError("Invalid triangle sides, the sum of any two sides must be greater than the third.")

    # 使用海伦公式计算面积
    s = (a + b + c) / 2  # 半周长
    return math.sqrt(s * (s - a) * (s - b) * (s - c))

# 示例
try:
    print(area(3, 4, 5))  # 输出：6.0
except ValueError as e:
    print(e)

在这个函数中，`is_valid_triangle`函数用于检查输入三边是否合法，而`area`函数则负责计算并返回面积。如果输入的三边无法构成三角形，会抛出`ValueError`异常。