# Area of isosceles right triangle

Input interpretation |
---|

isosceles right triangle | area |

Result |

A = a^2/2 |

Defining inequalities |

y>=0 and a>=x + y and x>=0 |

Input interpretation |
---|

isosceles right triangle | area |

Result |

A = a^2/2 |

Defining inequalities |

y>=0 and a>=x + y and x>=0 |