Нехай дана точка С(0;y)
АС=АВ - за умовою, тоді АС²=АВ²
АС²=(-1-0)²+(4-у)²=17-8у+у²
АВ²=(5-0)²+(2-у)²=29-4у+у²
17-8у+у²=29-4у+у²
4у=12
у=3
С(0;3)
аксиома - не требует доказательств
теоремы доказывают, а потом решают по доказанному: по теореме такой-то, в смысле доказано уже