نام «نطنز» از کجا می‌آید؟

باغشهر تاریخی و کهن نطنز که قدمتی بیش از ۲ هزار در شهر نطنز و بیش از ۶ هزار سال در مجموعه شهرستان را با خود به همراه دارد، دارای نام‌های شبیه به هم به نام‌های«نطنز»،«نه طنز»، «نه تنج»،«نه تُنگ» با ریشه‌ها و معانی متفاوتی بوده است.