KAK eşlik aksiyom olarak alınıp üçgen benzerlikleri ispatlanabilir mi?

Question

Muharrem Şahin'in kitabında gördüm.KAK eşlik aksiyom olarak alıp KAK benzerlik teoremini ispatlarken temel orantı kullanmış temel orantıyı ispatlarken talesi kullanmış talesi ispatlarken de temel orantıyı kullanmış. Ben  yanlış anlamış olabilirim . Böyle bir şey mümkün mü?

Comments

Temel orantı teoremini orantı ve alan kullanarak ispatlamış.Yanlış anlamışım. Kusura bakmayın.

Oklidin KAK eşliği ispatı hala geçerli mi? (Şekilleri üst üste koyarak ispatı)

KAK eşliği veya benzerliği aksiyom olarak alınabilir mi?Aksiyomun ispatına gerek var mı?