什么形什么检的成语

成语拼音：you xing ke jian，you shu ke tui

拼读声调：yǒu xíng kě jiǎn，yǒu shù kě tuī

成语释义：推：推求。有形迹可检验，有数据可推求

成语典故：南朝·宋·祖冲之《辨戴法兴难新历》："迟疾之率，非出神怪，有形可检，有数可推。"