陳霸先是不是陳元光後裔

不是

陳元光（657-711年），字廷炬，號龍湖。唐朝時期大臣，歸德將軍陳政之子。

陳武帝陳霸先（503年—559年），字興國，小字法生，吳興（今浙江省長興縣）長城下若里人，南北朝時期陳朝開國皇帝（557年—559年在位）。

南樑太平二年（557年），受樑禪稱帝。陳朝永定三年（559年），陳霸先去世，在位三年，享年五十七歲。諡號武皇帝，廟號高祖，葬於萬安陵。