proof1102b segAD pp segBC segAD bisects segBC 1:segAD pp segBC:rsnGiven:0 2:segAB cg segAC:rsnAllRadCg:0 3:stmAEBandAECareRA:rsnDefOfPerp:1 4:angAEB cg angAEC:rsnRAC:3 5:segAE cg segAE:rsnRPC:0 6:triABE cg triACE:rsnHL:2,5 7:segBE cg segCE:rsnCPCTC:6 8:segAD bisects segBC:rsnDefOfBisect:7 segAB,segBD