已知：如图， ， ， 说明 ． 请你补全推理过程和空缺的推理依据．

解：∵（已知），

∴                  ▲                  （                  ▲                  ），

又∵（已知），

∴                  ▲                  （                  ▲                  ），

∴                  ▲                  （                  ▲                  ），

∴（等量代换）．