输入一个正整数，格式化输出整数的二进制形式，输出共8位二进制，不足8位在前面补0

可以使用 Python 的字符串格式化来实现这个功能：

num = int(input("请输入一个正整数："))
binary = '{:08b}'.format(num)
print(binary)

首先，我们使用 `input` 函数获取用户输入的正整数。然后，我们使用 Python 的字符串格式化语法 `{:08b}` 来将整数转换成二进制形式，并且设置输出为 8 位二进制，不足 8 位在前面补 0。最后，我们使用 `print` 函数输出二进制字符串。