在ADT上写一个完成代码，要求现在有一个已经排好序的数组。输入一个数，要求按原来的规律将它插入数组中。要求：运用本章所学数组知识实现排序

在使用数组数据结构时，如果我们想要在一个已排序的数组中插入一个新元素并保持原有的排序顺序，可以使用二分查找法找到合适的位置，然后插入元素。这里假设你是在学习数组的插入操作以及二分查找算法。这是一个简单的Python示例：

def binary_search(arr, target):
    low = 0
    high = len(arr) - 1

    while low <= high:
        mid = (low + high) // 2
        if arr[mid] < target:
            low = mid + 1
        else:
            high = mid - 1
    return low

def insert_sorted(arr, num):
    index = binary_search(arr, num)
    # 如果数组长度满，直接追加
    if index == len(arr):
        arr.append(num)
    # 否则将后面的元素依次后移一位
    else:
        for i in range(len(arr), index, -1):
            arr[i] = arr[i - 1]
        arr[index] = num

# 示例数组
arr = [1, 3, 5, 7, 9]
num = 4
insert_sorted(arr, num)
print("插入后的数组:", arr)