Trên cạnh BC của tam giác ABC về phía ngoài tam giác người ta dựng. hình vuông BCDE, kẻ các đường thẳng AE và AD chúng cắt BC theo thừ tự tại F và G. Từ F và G kẻ đường vuông góc với BC lần lượt cắt AB,AC tại H và K.
a. cmr: FGKH là hình vuông
b. Giả sử góc abc=30 độ, góc acb=50 độ và các cạnh bc=a, ac=b ab=c chứng minh a^2-c^2=bc