Cho tam giác ABC có góc B và góc C nhỏ hơn 90°. Vẽ ra phía ngoài tam giác ấy các tam giác vuông cân ABD và ACE (trong đó góc ABD và góc ACE đều bằng 90°), vẽ DI và EK cùng vuông góc với đường thẳng BC. Chứng minh rằng: