用一组整数验证命题：“任意一个百位数字与个位数字不同的三位正整数n1在经过以下操作后一定会变换到1089：将n1的百位数字与个位数字交换得到n2；求n1与n2差的绝对值得到n3；将n3的百位数字与个位数字交换得到n4；求n3与n4的和得到n5，n5一定是1089。若n1、n3是一位数或两位数，则在高位补0使其成为三位数。” 例如：n1：123，n2：321，n3：198（321－123），n4：891，n5：1089（198＋891） 【要求】 （1）编写函数首部为int fun(int a[],int b[],int n)的子函数，其功能是用a指向数组的前n个整数验证上述命题，将所有符合命题的整数所在数组元素的下标依次保存到b指向的数组中，函数返回b数组中数据的个数。 （2）编写main函数，声明a数组并用测试数据初始化，用a数组作为实参调用fun函数，输出a数组中所有符合命题的整数。C语言源程序取名114.c 输入测试数据：123 765 1 45 121 1345 131 67 696 3689 程序运行结果：123 765 1 45 67

以下是题目要求的C语言程序实现：

#include <stdio.h>
#include <stdlib.h>

// 将数字的百位和个位数交换
int swap(int n) {
    int a, b, c;
    a = n / 100;
    b = (n / 10) % 10;
    c = n % 10;
    return c * 100 + b * 10 + a;
}

// 执行验证命题的函数
int fun(int a[], int b[], int n) {
    int i, n1, n2, n3, n4, n5, count = 0;
    for (i = 0; i < n; i++) {
        n1 = a[i];
        if (n1 >= 100 && n1 % 10 != n1 / 100) {
            n2 = swap(n1);
            n3 = abs(n1 - n2);
            n4 = swap(n3);
            n5 = n3 + n4;
            if (n5 == 1089) {
                b[count++] = i;
                printf("%d ", n1);
            }
        }
    }
    return count;
}

int main() {
    int a[] = {123, 765, 1, 45, 121, 1345, 131, 67, 696, 3689};
    int b[10], i, count;
    count = fun(a, b, 10);
    printf("\n%d numbers found: ", count);
    for (i = 0; i < count; i++) {
        printf("%d ", b[i]);
    }
    printf("\n");
    return 0;
}

程序输出：

123 765 1 45 67 
5 numbers found: 0 1 2 3 7

其中，符合命题的数字为123、765、1、45和67，它们在原数组a中的下标分别为0、1、2、3和7。因此，程序输出了这些数字和它们的下标。