Neka je osnosimetrična slika trokuta △ABC obzirom na pravac AC trokut △ACD. Kako je ∣AB∣=∣BC∣ i AB⊥BC, onda je trokut △ABC jednakokračan pravokutan pa je i trokut △ACD jednakokračan pravokutan.
Tada je očito četverokut ABCD kvadrat.
Kako su K i L polovišta dužina AB i BC, onda su njihove osnosimetrične slike K′ i L′ polovišta dužina AD i CD.

Očito su trokuti △KBL i △K′L′D jednakokračni pravokutni.
Neka je P površina lika AKLCL′K′.
Tada je P△KBL=22a⋅2a=8a⋅a, P□ABCD=a⋅a i P△K′L′D=22a⋅2a=8a⋅a.
Lako se uoči da je P=P□ABCD−P△KBL−P△K′L′D pa vrijedi
P=a⋅a−8a⋅a−8a⋅a=86a⋅a=43a⋅a.
Dakle, površina lika AKLCL′K′ je 43⋅a⋅a.