定义一个is_leap(year)函数，该函数可判断year先建立一个文本文件，将文件中的内容读出，将小写字母转换成大写字母，大写字母转换成小写字母，并重新写回文件中是否为闰年。若是闰年，返回True；否则返回Flase

在Python中，你可以通过以下步骤创建一个名为`is_leap()`的函数，同时处理文件操作来判断给定年份是否为闰年：

def is_leap(year):
    # 检查输入的year是否为整数
    if not isinstance(year, int):
        return False

    # 定义闰年的规则：能被4整除但不能被100整除，或者能被400整除
    if (year % 4 == 0 and year % 100 != 0) or (year % 400 == 0):
        # 创建或打开文件 'leap_years.txt' 进行读写（如果不存在则创建）
        with open('leap_years.txt', 'r+', newline='', encoding='utf-8') as file:
            lines = file.readlines()
            lines = [line.swapcase() for line in lines]  # 转换字符大小写

            # 将处理后的行写回文件
            file.seek(0)
            file.writelines(lines)
            file.truncate()  # 清理超出的原有内容

        # 如果当前year在文件中，则说明它是闰年，因为之前已经检查过并更新了文件
        return True
    else:
        return False

# 示例：测试2000年（闰年）和1900年（不是闰年）
print(is_leap(2000))  # 输出：True
print(is_leap(1900))  # 输出：False

#