てか滑らかさの仮定がないなら長さは∫√(1+(f'(x))²dxではないんやな
長さの定義は何?