Tên gọi Hồ Gươm hay Hồ Hoàn Kiếm xuất phát từ thời Lê, ở thế kỉ 15 gắn với truyền thuyết vua Lê Lợi trả kiếm cho thần Kim Quy sau chiến thắng quân Minh.
Trước kia, hồ còn có các tên gọi là hồ Lục Thủy (vì nước có màu xanh quanh năm), hồ Thủy Quân (dùng để duyệt thủy binh), hồ Tả Vọng và Hữu Vọng (trong thời Lê mạt). Tên gọi Hoàn Kiếm xuất hiện vào đầu thế kỷ 15 gắn với truyền thuyết vua Lê Lợi trả gươmbáu cho Rùa thần. ... Từ đó hồ được lấy tên là hồ Hoàn Kiếm.
Nguồn Google