Trong giải tích phức, định lý de Branges là một định lý toán học mô tả các điều kiện cần để một hàm là một ánh xạ đơn ánh từ đĩa đơn vị lên mặt phẳng phức.
Định lý này được đặt tên theo Louis de Branges, người đã chứng minh nó vào năm 1985. Trước khi được chứng minh, định lý mới được phát biểu ở dạng giả định, gọi là giả định Bieberbach, theo tên của Ludwig Bieberbach, người phát biểu nó vào năm 1916 trong một buổi lễ. Sau năm 1985, nhiều người khác cũng đã đơn giản hóa cách chứng minh định lý này. Trong suốt thời gian chưa được chứng minh, đây đã từng là một bài toán khó trong ngành giải tích phức.