给出下列命题：①反比例函数的图象经过一、三象限，且y随x的增大而减小；②对角线相等且有一个内角是直角的四边形是矩形；③我国古代三国时期的数学家赵爽，创制了一幅“勾股圆方图”，用形数结合得到方法，给出了勾股定理的详细证明（右图）；④相等的弧所对的圆周角相等.其中正确的是（   ）

已知，如图是由八个全等的直角三角形拼接而成的图形．记图中正方形ABCD、正方形EFGH、正方形MNKT的面积分别为S₁ ， S₂ ， S₃ ， 若正方形EFGH的边长为2，则S₁+S₂+S₃的值为（　　）

​

勾股定理神秘而美妙，它的证法多样，其巧妙各有不同，其中的“面积法”给了小聪以灵感，他惊喜的发现；当两个全等的直角三角形如图1或图2摆放时，都可以用“面积法”来证明，下面是小聪利用图1证明勾股定理的过程：

将两个全等的直角三角形按图1所示摆放，其中∠DAB=90°，求证：a²+b²=c²

证明：连接DB，过点D作BC边上的高DF，

则DF=EC=b﹣a．

∵S_{四边形ADCB}=S_△ACD+S_△ABC=b²+ab．

又∵S_{四边形ADCB}=S_△ADB+S_△DCB=c²+a（b﹣a）

∴b²+ab=c²+a（b﹣a）

∴a²+b²=c²

请参照上述证法，利用图2完成下面的证明：

将两个全等的直角三角形按图2所示摆放，其中∠DAB=90°．

求证：a²+b²=c² ．

由四个全等的直角三角形拼成如图所示的“赵爽弦图”，若直角三角形斜边长为2，最短的之边长为1，则图中阴影部分的面积为（　　）