Tolong jelaskan mengenai Penamaan dari Sri Lanka dalam bahasa melayu

Menurut babad sejarah Mahavamsa, Sri Lanka pertama kali dikenal pasti dengan suatu pulau didudki Putera Vijaya yang menamakan ia Tamrapani yakni "warna (varni) [merah] tembaga (tamra)" kerana kemerahan tanah yang dipijak sehingga mewarnakan tangan-tangan rakyat jelata yang menyembahnya; nama ini kemudiannya dipalikan menjadi Tambapanni.

Pulau ini turut dikaitkan dengan kerajaan pulau Raja Ravana yang diceritakan dalam Ramayana dan Mahabharata, pulau tersebut diberi nama setempat ලංකාපුර laṁkāpura () yang terserap dalam nama lama pulau ini dalam bahasa Melayu, Langkapura ().

Ceilão ialah nama yang diberikan oleh orang Portugis kepada Sri Lanka ketika mereka tiba di pulau tersebut pada tahun 1505 yang kemudiannya diinggeriskan sebagai "Ceylon" apabila ia dijajah empayar tersebut pada tahun 1796, nama jajahan ini turut dimelayukan menjadi Sailan (Jawi: ).

Gelaran "Sri" diperkenalkan Parti Kebebasan Sri Lanka yang mengetuai suatu pemerintah menggubal perlembagaan yang mengisytiharkan negara ini sebagai suatu republik pada tahun 1972, nama rasmi negara tersebut ditukar kepada Republik Bebas, Berdaulat dan Merdeka Sri Lanka (Free, Sovereign and Independent Republic of Sri Lanka). Pada tahun 1978, nama rasmi ini ditukar kepada Republik Demokratik Sosialis Sri Lanka (Democratic Socialist Republic of Sri Lanka) yang juga termaktub dalam dokumen-dokumen rasmi.