如大家所知，
陳式和陳到是蜀漢兩個有名的神秘人物，
資料都奇少，
記得陳式出現過的史料大概只有四次，
曾參與漢中夷陵北伐等幾場重要戰役，
能夠獨立領軍，地位應該夠高，
但是沒有傳，沒提過字也沒籍貫。
陳到則是知道他字叔至，汝南人，自豫州隨先主，
季漢輔臣贊裡提過征西忠克，
因為一句常亞趙雲所以近年名氣不小。
這兩位有沒有可能是同一個人啊？
或者應該說，
怎麼沒看過有人懷疑他們是同一人？
像陸遜、李嚴那樣，
單純是改過名字所以在不同地方的記載不同也不無可能？
詳細的時間比對我就不全列了，
不過至少他們都曾是護軍，
建興四年，「留護軍陳到駐永安」
建興七年，「遣護軍陳式攻武都陰平」
（雖然對陳到的印象是長期擔任永安督，但像李嚴也曾北上幫忙北伐。
另外補充一點，
「式」和「到」兩個名字也挺像的，
雖然字形沒有像到會抄錯，
但是意義上有點類似。
看字典上寫，式當動詞用的意思之一是：古時人立而乘車、俯而憑軾以示敬意。
舉例是書經：「式商容閶」
另外我看過一條用法是「迺式諸高賢之蘆，共襄厥舉」
所以式應該有（抱有敬意）到達的意思。
不知道有沒有關連，例如要避諱改名時找了個盡量相近的字？
（改名應該大都會和字同訓？
像李嚴改名平，字正方、廖淳改名化，字元儉，假如陳式改名陳到，就都和叔至同訓）
或者真的是因為字形相近搞混？
又或者這是兄弟倆，陳式字仲至？
總之各位怎麼看，
陳式和陳到可能是同一個人嗎？