《周礼・秋官・司刑》「刖罪五百」
汉 郑玄注：「刖，断足也。周改膑作刖……《书传》曰：『决关梁、踰城郭而略盗者，其刑膑。』」按，《尚书大传》卷四作「髌」。
清 刘献廷《广阳杂记》卷五：「膑，五刑中去膝盖骨之名。齐将孙膑，爲庞涓断其足，故称孙膑。其名逸不可考，膑非名也。」