如图所示,已知角b=角def