Ja det är från kursboken.
Absolut, sats 9.4 säger att punkten P ligger på mittpunktsnormalen till AB om och endast om PA=PB, sats 9.1 säger att punkten P ligger på bisektrisen av en vinkel vid ett hörn A om och endast om projektionen av P på vinkelbenen har samma avstånd från punkten A. Sats 9.1 har ett ganska lätt bevis med hjälp av hitta kongruenta trianglar, så försök bevisa sats 9.4 genom att hitta kongruenta trianglar.
Absolut, sats 9.4 säger att punkten P ligger på mittpunktsnormalen till AB om och endast om PA=PB, sats 9.1 säger att punkten P ligger på bisektrisen av en vinkel vid ett hörn A om och endast om projektionen av P på vinkelbenen har samma avstånd från punkten A. Sats 9.1 har ett ganska lätt bevis med hjälp av hitta kongruenta trianglar, så försök bevisa sats 9.4 genom att hitta kongruenta trianglar.