Triangles Similar

two_triangles(a, b, c, p, q, r)

Return type:

Optional[tuple[str, str, str, str, str, str]]

class SimtriClock

Bases: Predicate

simtri A B C P Q R -

Represent that triangles ABC and PQR are similar under orientation-preserving transformations taking A to P, B to Q and C to R.

It is equivalent to the three eqangle and eqratio predicates on the corresponding angles and sides.

NAME: str = 'simtri'

classmethod preparse(args)

Return type:

Optional[tuple[str, ...]]

classmethod parse(args, dep_graph)

Return type:

Optional[tuple[Any, ...]]

classmethod check_numerical(statement)

Return type:

bool

classmethod to_tokens(args)

Return type:

tuple[str, ...]

classmethod pretty(statement)

Write the predicate in a natural language.

Return type:

str

classmethod draw(ax, args, dep_graph, rng)

class SimtriReflect

Bases: Predicate

simtrir A B C P Q R -

Represent that triangles ABC and PQR are similar under orientation-preserving transformations taking A to P, B to Q and C to R.

It is equivalent to the three eqangle and eqratio predicates on the corresponding angles and sides.

NAME: str = 'simtrir'

classmethod preparse(args)

Return type:

Optional[tuple[str, ...]]

classmethod parse(args, dep_graph)

Return type:

Optional[tuple[Any, ...]]

classmethod check_numerical(statement)

Return type:

bool

classmethod to_tokens(args)

Return type:

tuple[str, ...]

classmethod pretty(statement)

Write the predicate in a natural language.

Return type:

str

classmethod draw(ax, args, dep_graph, rng)