`@\triangle AED=\triangle BEC` vì: `{(AE=BE),(\hat{AED}=\hat{BEC}),(ED=EC):}`
`@\triangle ADB=\triangle BCA` vì: `{(BD=CA),(\hat{ABD}=\hat{BAC}),(AB\text{ là cạnh chung}):}`
`@\triangle ADC=\triangle BCD` vì: `{(AC=BD),(\hat{ACD}=\hat{BDC}),(DC\text{ là cạnh chung}):}`