有勾股定理得:AB^2+CD^2=AO^2+BO^2+CO^2+DO^2 BC^2+AD^2=BO^2+CO^2+AO^2+OD^2 所以AB^2+CD^2=BC^2+AD^2
因为AO2+BO2=AB2 DO2+OC2=CD2所以AO2+BO2+DO2+OC2=AB2+CD2AO2+DO2+BO2+OC2=AB2+CD2AD2+BC2=AB2+CD2勾股定理