内切圆圆心为O,半径为R,切AC,BC于点E,F,连接OD,OE,OF,则OD=OE=OF=R
可得△ABC的面积=正方形ECFO的的面积+三角形OAB的面积×2
即AC×BC/2=AB×R+R×R
又AC=AE+EC=AD+R
BC=BF+FC=BD+R
故AC×BC=（AD+R)×（BD+R)
=AD×BD+(AD+BD)×R+R×R
=AD×BD+AB×R+R×R
所以AC×BC=AD×BD+AC×BC/2
即AC×BC=2AD×BD