画红方框部分的式子是怎么得来的?