编写函数change将大写字母转化为小写字母，要求形参为char类型，返回类型为int，如果形参为大写字母，返回转化为小写字母的ASCII值，如果不是，则返回0，并且在main()函数中验证

在C语言中，你可以编写如下的`change`函数来实现这个需求：

#include <ctype.h>

int change(char c) {
    if (isupper(c)) { // 判断字符是否为大写字母
        return tolower(c); // 如果是，转换为小写并返回ASCII值
    } else {
        return 0; // 否则返回0
    }
}

int main() {
    char input = 'A'; // 测试输入
    int result = change(input);
    
    printf("Input character '%c' in ASCII is %d (converted to lower case: %c)\n", input, result, input == 0 ? 'N/A' : (char)result);

    // 验证其他字符
    result = change('a'); // 应该返回0，因为'a'已经是小写
    printf("Character 'a': %d\n", result);

    result = change('z'); // 大写的'Z'应该变为90(对应小写'z')后的ASCII值
    printf("Character 'Z': %d\n", result);

    return 0;
}

在这个例子中，`change`函数通过`isupper`函数检查输入的字符是否为大写字母，如果是，则使用`tolower`函数将其转换为小写并返回对应的ASCII值；如果不是大写字母，则直接返回0。在`main`函数中，我们演示了如何使用这个函数并打印结果以验证其功能。