1. (2023·舟山模拟) 数学家吴文俊院士非常重视古代数学家贾宪提出的“从长方形对角线上任一点作两条分别平行于两邻边的直线，则所容两长方形面积相等（如图所示）”这一推论，他从这一推论出发，利用“出入相补”原理复原了《海岛算经》九题古证，根据图形可知他得出的这个推论指（  ）