AC²+BC²=(BD+AD)²
AC²=CD²+AD²
BC²=CD²+BD²
所以
CD²+AD²+CD²+BD²=(BD+AD)²
2CD²+AD²+BD²=AD²+BD²+2AD×BD
即 CD²=AD×BD