Cho hình vuông ABCD một điểm E bất kỳ thuộc cạnh AB. Gọi F là

Vẽ DG⊥DFG∈BC. Xét ΔADE vuông tại A và ΔCDG vuông tại C có:

A^=C^=900,AD=AC(gt);ADE^=CDG^ (cùng phụ EDC^)

⇒ΔADE=ΔCDGg.c.g⇒DG=DE

ΔFDG vuông tại D, DC là đường cao nên áp dụng hệ thức lượng ta có:

1DC2=1DG2+1DF2 mà DG = DE (cmt), DC = DA (tính chất hình vuông)

⇒1DA2=1DE2+1DF2(dfcm)