참고로 면적소 쓰는게 이해 안될 수도 있음. 부연설명 해봤음

t가 dt만큼 움직이면 적분축인 y=-x를 따라서는 dt/sqrt2 만큼 움직임. 이 때 면적소 = 함숫값은 교점으로 이루어진 선분의 길이이므로 sqr2 (beta-alpha)인거고.