The following two-column proof with missing justifications proves the pythagorean theorem using similar triangles: statement justification draw an altitude from point c to line segment ab let segment bc = a segment ca = b segment ab = c segment cd = h segment db = y segment ad = x y + x = c c over a equals a over y and c over b equals b over x a2 = cy; b2 = cx a2 + b2 = cy + b2 a2 + b2 = cy + cx a2 + b2 = c(y + x) a2 + b2 = c(c) a2 + b2 = c2 which is not a justification for the proof? substitution addition property of equality transitive property of equality distributive property of equality.