原陶樂縣紅崖子鄉，是因紅崖子得名。紅崖子山則是因為崖上之石為紅色而得名。其實，在西夏時，紅崖子山名省嵬山。

省嵬山是紅崖子山，有四條依據：其一，史載李德明于省嵬山下建省嵬城。城當時在河東，山當然也在河東。而在河東距省嵬城最近之山就是紅崖子山。其二，省嵬山是當時黨項部族首領命名。其名未必百姓皆知。紅崖子山應是當時民間的俗稱。其三，筆者曾見過一則轉引自《新渠寶豐志》的史料。該史料稱：省嵬城為紅崖子舊城。所謂舊城是相對后來新建的寶豐城而言的。這也說明紅崖子山即省嵬山。其四，陶樂地區的老人口碑相傳，也認為紅崖子山是西夏時的省嵬山。

世事變遷，滄海桑田。如今，紅崖子之名仍存，省嵬山之名則僅見于史籍。