x là tiếp tuyến của nửa đường tròn tại điểm E
=> AE = AD
Mà AD = 1 ( cạnh hình vuông) => AE = 1
Gọi EF là m => FC = EF = m
Mà BF + EF = 1 ( vì = BC = 1)
=> BF = 1 - m
Áp dụng định lý Pytago ta có:
BF^2 + AB^2 = AF^2
=> (1 - m)*2 + 1 = (1 + m)*2
=> m = 1/4 ( * là dấu mũ )
x = m + AE
Vậy x = 1/4 + 1 = 5/4