a) Do ABCD là hình vuông nên AB = BC = CD = DA và A^=B^=C^=D^=90°.

Do E, F, G, H lần lượt là trung điểm của AB, BC, CD, DA nên AE = EB = BF = FC = CG = GD = DH = HA.

Xét ∆AHE và ∆BFE có:

 A^=B^=90°, AH = BF, AE = BE

Do đó ∆AHE = ∆BFE (hai cạnh góc vuông).

Suy ra HE = FE (hai cạnh tương ứng).

Tương tự, ta chứng minh được HE = EF = FG = GH.

Khi đó, tứ giác EFGH là hình thoi.

Xét ∆AHE có A^=90° và AH = AE nên ∆AHE vuông cân tại A, suy ra AEH^=45°.

Tương tự, ta có BEF^=45°

Do đó HEF^=180°-AEH^-BEF^=180°-45°-45°=90°.

Như vậy, hình thoi EFGH là hình vuông. Suy ra EFGH nội tiếp đường tròn.

Chứng minh tương tự ta được tứ giác IKPQ là hình vuông và nội tiếp đường tròn.

b) ⦁ Xét ∆ABC vuông cân tại B (do  và BA = BC) , theo định lí Pythagore, ta có:

AC² = AB² + BC² = AB² + AB² = 2AB².

Suy ra AC=AB2.

Bán kính đường tròn ngoại tiếp hình vuông ABCD là: R1=AC2=AB22.

⦁ Tương tự, với ∆AHE vuông cân tại A, ta có: HE=AE2=AB22.

Với ∆HEF vuông cân tại E, ta có: HF=HE2=AB22·2=AB.

Bán kính đường tròn ngoại tiếp hình vuông EFGH là: R2=HF2=AB2.

⦁ Chứng minh tương tự, ta có bán kính đường tròn ngoại tiếp hình vuông IKPQ là: R3=IP2=IK22=IE2·22=IE=HE2=AB222=AB24.

⦁ Ta có tỉ số bán kính đường tròn ngoại tiếp hình vuông ABCD và bán kính của đường tròn ngoại tiếp tứ giác EFGH là: R1R2=AB22AB2=22·2=2.

Tỉ số bán kính đường tròn ngoại tiếp tứ giác EFGH và bán kính đường tròn ngoại tiếp tứ giác IKPQ là:R2R3=AB2AB24=12·42=2.

Vậy tỉ số bán kính đường tròn ngoại tiếp hình vuông ABCD và bán kính của đường tròn ngoại tiếp tứ giác EFGH bằng tỉ số bán kính đường tròn ngoại tiếp tứ giác EFGH và bán kính đường tròn ngoại tiếp tứ giác IKPQ.