中国数学史上最先完成勾股定理证明的数学家，是公元3世纪三国时期的赵爽。证明图的名称是（）。