Gọi O là tâm đường tròn

Giả sử đường tròn nội tiếp hình vuông `ABCD` như hình vẽ 

`=>` Đường trong tiếp xúc với hình vuông tại trung điểm của các cạnh như hình vẽ

suy ra: 

Vì `I,K` lần lượt là trung điểm của ` AB` và `DC(AB //// DC` do `ABCD` là hình vuông)

`-> IK //// AD //// BC (ABCD là HV) ->` ĐI qua tâm ` O`

Xét `ΔABD `

có `IO //// AD,I` trung điểm `AB` (theo hình và cmt)

`-> OI` là đường trung bình của `ΔABD`

`=> OI=(AD)/2=a/2`

`-> C`