输入三角形的三条边 a，b，c，判断它们能否构成三角形。若能构成三角形，指出是何种三角形（等腰三角形、等边三角形、直角三角形、等腰直角三角形、一般三角形）。参考习题 4.6，用函数编程实现该程序。

下面是用 Python 语言实现该程序的函数：

def triangle_type(a, b, c):
    """
    判断三条边 a、b、c 是否能构成三角形，若能，返回三角形类型。
    """
    # 判断是否满足三角形成立的条件
    if a + b <= c or a + c <= b or b + c <= a:
        return "不能构成三角形"

    # 判断三角形类型
    if a == b == c:
        return "等边三角形"
    elif a == b or a == c or b == c:
        if a**2 + b**2 == c**2 or a**2 + c**2 == b**2 or b**2 + c**2 == a**2:
            return "等腰直角三角形"
        else:
            return "等腰三角形"
    elif a**2 + b**2 == c**2 or a**2 + c**2 == b**2 or b**2 + c**2 == a**2:
        return "直角三角形"
    else:
        return "一般三角形"

函数的参数为三角形的三条边 a、b、c，返回值为字符串，表示该三角形的类型。函数的实现思路如下：

1. 判断是否满足三角形成立的条件，即任意两边之和大于第三边。若不满足，则返回"不能构成三角形"。

2. 判断三角形的类型：

- 若三边相等，则为等边三角形；
- 若两边相等，则为等腰三角形；
- 若满足勾股定理，则为直角三角形；
- 若既是等腰三角形，又满足勾股定理，则为等腰直角三角形；
- 否则为一般三角形。

下面是使用该函数的示例：

a = 3
b = 4
c = 5

triangle = triangle_type(a, b, c)
print(triangle)  # 直角三角形

a = 3
b = 3
c = 3

triangle = triangle_type(a, b, c)
print(triangle)  # 等边三角形

a = 3
b = 4
c = 4

triangle = triangle_type(a, b, c)
print(triangle)  # 等腰三角形

a = 1
b = 1
c = 2**0.5

triangle = triangle_type(a, b, c)
print(triangle)  # 等腰直角三角形

a = 1
b = 2
c = 3

triangle = triangle_type(a, b, c)
print(triangle)  # 不能构成三角形