Менавіта — AB = AK, AD = AC — роўнасць вуглоў CAK і BAD лёгка даказаць метадам руху: повернём трохвугольнік CAK на 90° супраць гадзіннікавай стрэлкі, тады відавочна, што адпаведныя боку двух разгляданых трохвугольнікаў супадуць (з прычыны таго, што вугал пры вяршыні квадрата 90°).