Cho một tam giác vuông với cạnh huyền có chiều dài c, độ dài hai cạnh góc vuông lần lượt là a và b \(\left(c>a,b>0\right)\). Từ a và b ta lập 2 hình chữ nhật đều có độ dài hai kích thước là a và b. Chứng minh rằng diện tích của hình vuông cạnh c luôn lớn hơn hoặc bằng tổng diện tích của 2 hình chữ nhật vừa lập được. Tam giác vuông ban đầu cần có thêm điều kiện gì để trường hợp bằng xảy ra?