A proof that a squared plus b squared equals c squared using the similar triangles the altitude to the hypotenuse creates, since G6 lists Pythagoras among derivable results. Keep it a reasoning page: numerical use, the converse test and 3D work all live on Mensuration's Pythagoras group. Both tiers. (G6)