필요한것은 왼쪽 아래 정사각형을 연속인 함수 gamma_s(t)로 채우는것
(왼쪽은 alpha, 오른쪽은 beta, 위는 gamma_1, 아래는 gamma_0)
star shaped니까 오른쪽 위와 같은 Gamma가 항상 존재, 따라서 Gamma와 gamma_1에 대해서만 증명하면 끝
그리고 왼쪽 위 정사각형에서 이를 연속적으로 채우는 방법은 선형적으로 자명하게 존재
1과 3에서는 그냥 Gamma랑 똑같이하면 충분할거고 2에서만 계수 잘 구해주면 됨 여기도 2부분으로 쪼개도 되고 난 걍 |2t-1|로 표현
사실상의 풀이는 그림만 그리면 이미 끝나있음
이제보니 마지막 식에 Gamma가 아니라 z0여야하는데 썼다시피 그림이 중요하니
방금 일어났다. 오로롱..오로롱..감사한데수웅..
디테일은 알아서 채울게
이건 z_0가 gamma0 위에 있는 경우네 이걸 case1로 두고 case2는 z_0가 gamma0와 gamma1 사이에 있는 경우, case 3는 z_0가 밖에 있는 경우. 이렇게 하면 되겠다 case3는 결국 case 1로 환원되겠다 사진에서와 같은 gamma가 항상 존재하니까.
그런 가정이 왜 필요함?? gamma0->gamma1을 둘 사이의 영역에서만 해야할 이유가 없어
아 gamma_s 가 gamma0와 gamma1 사이에 있을 필요가 없는거야? ㄱㅅㄱㅅ
주어진 region 안에 있으면 충분하고 그거때문에 그 사이에 있으면 편한건데 지금은 star shaped때문에 안에 있는게 보장되니까