... đại đoạn [ y , d ] Suy ra, g' + {xi) < với X G [ c , d ] , chứng minh m Ngoài ra, / hàm không khả vi, sử dụng khái niệm đạo hàm suy rộng (đạo hàm Dini, vi phân Jacobian suy rộng, đối đạo hàm ... d ] Nếu g'_{y) > vdi y e [ e , d ] g' + (x) < g' + {y) < Suy ta có g'{x) = với X G [e, y), điều g ( y ) = g ( e ) > Từ g ( d ) = 0, suy phải tồn y G ( e , d ] cho g'_ ( y ) > Lấy X G [ y , d ... x2 — X < f'{x2) Suy f ' ( x i) < f ' ( x 2) tức f ' ( x ) hàm đơn điệu tăng Ngược lại, giả sử f ' ( x ) hàm số đơn điệu tăng X ị < X < x ( x , X ị , x G I ) Theo Định lý Lagrange, tồn X , X...