#Author: Khuong Nguyen - 2021

# buoc dau tien: bieu dien lai theo cac diem tren duong tron don vi
# let's start

#Note: Các điểm khác phải được biểu diễn theo các điểm trên đường tròn đơn vị thì
mới làm được bài

lien_hop:=proc(a)
if a=0 then
return 0;
else
return 1/a;
end if;
end proc;

lhtq:=proc(a,b,c,f)
return subs([a=1/a,b=1/b,c=1/c],f);
end proc;

cat_nhau_de:=proc(a,b,c,d)
return (a*b*(c+d)-c*d*(a+b))/(a*b-c*d);
end proc;

cat_nhau_trau:=proc(x,y,z,t)
return ((lhtq(a,b,c,x)*y-x*lhtq(a,b,c,y))*(z-t)-(x-y)*(lhtq(a,b,c,z)*t-
z*lhtq(a,b,c,t)))/((lhtq(a,b,c,x)-lhtq(a,b,c,y))*(z-t)-(x-y)*(lhtq(a,b,c,z)-
lhtq(a,b,c,t)));
end proc;

doi_xung:=proc(x,y,p)
return ((x-y)*lhtq(a,b,c,p)+lhtq(a,b,c,x)*y-x*lhtq(a,b,c,y))/(lhtq(a,b,c,x)-
lhtq(a,b,c,y));
end proc;
hinh_chieu:=proc(x,y,p)
return ((lhtq(a,b,c,x)-lhtq(a,b,c,y))*p+(x-y)*lhtq(a,b,c,p)+lhtq(a,b,c,x)*y-
x*lhtq(a,b,c,y))/(2*(lhtq(a,b,c,x)-lhtq(a,b,c,y)));
end proc;
trung_diem:=proc(x,y)
return (x+y)/2;
end proc;
giao_tt:=proc(x,y)
return (2*x*y)/(x+y);
end proc;

#Check các tính chất hình học và tính toán

check_collinear:=proc(f,g,h)
local k,l;
k:=(f-g)/(lhtq(a,b,c,f)-lhtq(a,b,c,g));
l:=(h-g)/(lhtq(a,b,c,h)-lhtq(a,b,c,g));
if simplify(k)=simplify(l) then
print(bạn đã làm đúng hoặc tính đúng);
else
print(bạn tính sai hoặc đề sai rồi);
end if;
end proc;

check_parallel:=proc(x,y,z,t)
local k,l;
 k:=(x-y)/(lhtq(a,b,c,x)-lhtq(a,b,c,y));
l:=(z-t)/(lhtq(a,b,c,z)-lhtq(a,b,c,t));
if simplify(k)=simplify(l) then
print(Hai đường này song song và bạn đã tính đúng);
else
print(Tính sai hoặc đề sai);
end if;
end proc;

check_perp:=proc(x,y,z,t)
local k,l;
k:=(x-y)/(lhtq(a,b,c,x)-lhtq(a,b,c,y));
l:=(z-t)/(lhtq(a,b,c,z)-lhtq(a,b,c,t));
if simplify(k)=-simplify(l) then
print(Hai đường này vuông góc và bạn đã tính đúng);
else
print(Tính sai hoặc đề sai);
end if;
end proc;

check_similar:=proc(a,b,c,d,e,f)
if (a-b)/(a-c)=(d-e)/(d-f) then
print(Tam giác DEF và ABC đồng dạng c.c.c);
else
print(Lại tính sai hoặc sai đề);
end if;
end proc;