def find_same_number(some_list, start = 1, end = None):
    if end == None:
        end = len(some_list) - 1

    # 반복 요소를 찾으면 리턴한다
    if start == end:
        return start

    # 중간 지점을 구한다
    mid = (start + end) // 2

    # 왼쪽 범위의 숫자를 센다. 오른쪽은 리스트 길이에서 왼쪽 길이를 빼면 되기 때문에 세지 않는다
    left_count = 0

    for element in some_list:
        if start <= element and element <= mid:
            left_count += 1

    # 왼쪽과 오른쪽 범위중 과반 수 이상의 숫자가 있는 범위 내에서 탐색을 다시한다
    if left_count > mid - start + 1:
        return find_same_number(some_list, start, mid)

    return find_same_number(some_list, mid + 1, end)

리스트 인덱스는 0부터 시작하는데 왜 start의 옵셔널 파라미터는 1로 지정해주나요?
if left_count > mid - start + 1: 이 부분에서 어떻게 'mid - start + 1'이라는 수식이 나온 건가요?

머리를 싸매고 고민해 봤지만 도저히 답이 나오지 않아서 질문드립니다. 알고리즘 다시 복습하고 있는데 처음하는 것처럼 어렵네요... ㅠㅠ