In Theorem 31, $AE = AC$ is established from —

• a$BD:DC = BA:AE$ and $BD:DC = BA:AC$
• bPythagoras' theorem
• cequal areas
• dsimilar triangles