写一个手机号的正则表达式

以下是一个使用正则表达式校验手机号的Python程序：

import re

def check_phone_number(phone_number):
    pattern = r'^1[3456789]\d{9}$'
    if re.match(pattern, phone_number):
        return True
    else:
        return False

phone_number = input("请输入手机号：")
if check_phone_number(phone_number):
    print("手机号格式正确")
else:
    print("手机号格式错误")

程序中使用了正则表达式`^1[3456789]\d{9}$`来匹配手机号码。其中：

- `^`表示字符串的开头
- `1`表示手机号码的第一位必须是1
- `[3456789]`表示手机号码的第二位可以是3、4、5、6、7、8、9中的任意一个
- `\d{9}`表示手机号码的后9位必须是数字
- `$`表示字符串的结尾

如果输入的手机号码符合上述规则，则返回True，否则返回False。