안녕하세요 질문에 대한 관련 답변입니다. 인테그랄 (a~b) 루트 (1+(f ')^2) dx 값의 존재성을 논하기 위해서는 인테그랄 안의 식인 루트 (1+(f')^2)가 연속이어야 합니다. 따라서 g(x)= 루트 (1+(f')^2) 라 하면 g(x)는 연속이어야 하므로 g(x)가 미분가능하도록 (f ' )' 값이 존재한다고 가정한 것입니다. 즉 f가 이계도함수가 존재한다고 가정한 것입니다.