xét tam giác BDC có góc BDC+ góc C+ góc DBC=180 độ
mà góc CDB+ góc ACB=90 độ
suy ra góc DBC =90 độ
suy ra tam giác DBC vuông tại B có đường cao AB( vì tam giác ABC vuông tại A)
Áp dụng hệ thức lượng vào tam giác DBC ta có:
1/BC^2+1/BD^2=1/AB^2( ĐPCM)