本棚裏と彦右衛門ノ頭はどちらも何を指しているの?
現在の檜洞丸の名称は、山頂南東面から南流して玄倉川に流入する檜洞(ひのきぼら)という沢に由来するものである。
なお、洞(ぼら)は沢と同じ意味である。
地域によってさまざまな呼び名があり、南西側の中川地域(丹沢湖の上流)では山頂西側を流れる本棚沢より本棚裏(ほんだなうら)と呼ばれ、北側の神ノ川地域(旧津久井町)では彦右衛門ノ頭(ひこえもんのあたま)や青ヶ岳(あおがたけ)と呼ばれていた。
青ヶ岳の名称の由来には、周辺に多く生息するカモシカを「アオ」と呼んだためや、遠くから眺めると原生林に覆われた山体が青く見えるためなどの諸説がある。
これらの他に檜原丸(ひのきばらまる)や青ヶ丸(あおがまる)、本棚ノ丸(ほんだなのまる)などの別称もある。