勾股定理是几何中的一个重要定理，在我国古算书《周髀算经》中就有“若勾三，股四，则弦五”的记载．如图1是由边长相等的小正方形和直角三角形构成的，可以用其面积关系验证勾股定理．图2是由图1放入矩形内得到的，∠BAC=90°，AB=6，AC=8，点D，E，F，G，H，I都是矩形KLMJ的边上，则矩形KLMJ的面积为（　　）

​

了小聪以灵感，他惊喜的发现，当两个全等的直角三角形如图1或图2摆放时，都可以用“面积法”来证明，下面是小聪利用图1证明勾股定理的过程：将两个全等的直角三角形按图1所示摆放，其中∠DAB=90°，求证：a²+b²=c² ．

证明：连结DB，过点D作BC边上的高DF，则DF=EC=b﹣a

∵ b²+ ab．

又∵ c²+ a(b-a)．

∴ b²+ ab= c²+ a(b-a)

∴a2+b2=c2

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

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

如图2所示，在车轮上取A、B两点，设所在圆的圆心为O，半径为r cm．

作弦AB的垂线OC，D为垂足，则D是AB的中点．其推理的依据是：                  ．

经测量，AB＝90cm，CD＝15cm，则AD＝                 cm；

用含r的代数式表示OD，OD＝                 cm．

在Rt△OAD中，由勾股定理可列出关于r的方程：

                  ， 解得r＝75

通过单位换算，得到车轮直径约为六尺六寸，可验证此车轮为兵车之轮．