Exploit hypothesis
The hypothesはmakes two 角s におけるlast display equal, so 三角形 XYZ XYZ XYZ はisosceles およびXY=XZ XY=XZ XY=XZ. 適用ing sine rule におけるright 三角形s around pedal 三角形 gives PCsinC=PBsinB PC\sin C=PB\sin B PCsinC=PBsinB.