Browsing by NSW K-10 Maths for the AC

proves triangles are similar, and uses formal geometric reasoning to establish properties of triangles and quadrilaterals