三国时呈国人，一名婴，字君卿。精算学。曾注《周髀算经》，对于勾股定理、有关勾股弦的各种关系和二次方程解法都有几何证明。