演绎推理题:两个等腰直角三角形相似,写成三段论时形式为