角1+角2=90度两边同时减去一个相同的量，等式仍然成立所以两边减去角1角2=90度-角1同理角3=90度-角1两个量等于同一个量，则这两个量相等所以角2=角3
书上的定义是:同角的余角相等
角1+角2=90度=角1+角3 这等式没错吧，推得：角1+角2=角1+角3 推得：角2=角3根据加法交换律
同一性(法)
