把d a 和c b 延长线相交。交于e点。
因为 ∠ADC+∠BCD=90°
那么 ∠AEC=90°
即 DEC是个直角三角形。
并且因为 AB‖DC, 三角形DEC和AEB相似,并且 DC=2AB,
所以 DE=2DA, EC=2EB。
也就是 AD=AE,CB=BE
然后AEB的三边 有勾股定理, AB平方 = AE平方 + BE平方
就有 s2=s1+s3
过A点作BC平行线,与DC交点为以E。则AE=BC,
∠ADC+∠BCD=90°则,∠ADC+∠AED=90°。
则∠DAE=90°。
所以有:AD平方+AE平方=DE平方。
S1=AD平方,S3=AE平方,S3=AB平方=DE平方
所以:s1+s2=s3。